FBR: Dynamic Memory-Aware Fast Rerouting. - Nicklas S. Johansen; Lasse B. Kær; Andreas L. Madsen; Kristian Ø. Nielsen; Stefan Schmid 001; Jirí Srba; Rasmus G. Tollund (CloudNet, 2022)

Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games. - Nicklas S. Johansen; Lasse B. Kær; Andreas L. Madsen; Kristian Ø. Nielsen; Jirí Srba; Rasmus G. Tollund (IFM, 2022)

Kaki: Efficient Concurrent Update Synthesis for SDN. - Nicklas S. Johansen; Lasse B. Kær; Andreas L. Madsen; Kristian Ø. Nielsen; Jirí Srba; Rasmus G. Tollund (Formal Aspects Comput., 2023)

Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. - Rasmus G. Tollund; Nicklas S. Johansen; Kristian Ø. Nielsen; Álvaro Torralba; Kim G. Larsen (ICAPS, 2024)

Artefact for: "Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata". - Rasmus G. Tollund; Nicklas S. Johansen; Kristian Ødum Knorborg; Kim Guldstrand Larsen; Álvaro Torralba (Zenodo, 2024)