20192021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
  • 1 Similar Profiles

Network

Dive into details by clicking on the dots.
  • Faster Pushdown Reachability Analysis with Applications in Network Verification

    Jensen, P. G., Schmid, S., Schou, M. K., Srba, J., Vanerio, J. & Duijn, I. V., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer, p. 170-186 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12971 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • AalWiNes: A fast and quantitative what-if analysis tool for MPLS networks

    Jensen, P. G., Kristiansen, D., Schmid, S., Schou, M. K., Schrenk, B. C. & Srba, J., 23 Nov 2020, CoNEXT '20: Proceedings of the 16th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, p. 474-481 8 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    6 Citations (Scopus)
  • A practical delivery route planning system

    Gitz-Johansen, A., Holm, M. E., Kirkeby, L. V., Kristiansen, D., Ostenfeld, A. S., Schou, M. K. & Yang, B., Jun 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, p. 349-350 2 p. 8788747. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2019-June).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)