Rasmus Grønkjær Tollund

Rasmus Grønkjær Tollund

PhD Fellow

  • Selma Lagerløfs Vej 300

    9220 Aalborg Øst

    Denmark

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

20222024

Research activity per year

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
View full fingerprint

Collaborations from the last five years

Dive into details by clicking on the dots.
Explore network further
  • 3 Article in proceeding
  • 1 Journal article

  • Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata

    Tollund, R. G., Johansen, N. S., Nielsen, K., Torralba, Á. & Larsen, K. G., 30 May 2024, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. Bernardini, S. & Muise, C. (eds.). AAAI Press, p. 588-596 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 34).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Kaki: Efficient Concurrent Update Synthesis for SDN

    Johansen, N. S., Kær, L. B., Madsen, A. L., Nielsen, K. Ø., Srba, J. & Tollund, R. G., 6 Oct 2023, In: Formal Aspects of Computing. 35, 3, p. 1-22 22 p., 20.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    30 Downloads (Pure)

  • FBR: Dynamic Memory-Aware Fast Rerouting

    Johansen, N. S., Kær, L. B., Madsen, A. L., Nielsen, K. Ø., Schmid, S., Srba, J. & Tollund, R. G., 2022, 2022 IEEE 11th International Conference on Cloud Networking (CloudNet). IEEE (Institute of Electrical and Electronics Engineers), p. 55-60

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games

    Johansen, N. S., Kær, L. B., Madsen, A. L., Nielsen, K. Ø., Srba, J. & Tollund, R. G., 2022, 17th International Conference on Integrated Formal Methods, IFM 2022. Springer, p. 249-267 (Lecture Notes in Computer Science, Vol. 13274).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)