Nicklas S. Johansen

According to our database, Nicklas S. Johansen authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Dataset, March, 2024

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

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

FBR: Dynamic Memory-Aware Fast Rerouting.

Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Stefan Schmid, Jirí Srba, Rasmus G. Tollund

Proceedings of the 11th IEEE International Conference on Cloud Networking, 2022