Kristian Ø. Nielsen

According to our database, Kristian Ø. Nielsen authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

2024

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

Rasmus G. Tollund, Nicklas S. Johansen, Kristian Ø. Nielsen, Álvaro Torralba, Kim G. Larsen

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

2023

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., September, 2023

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