Lasse B. Kær

According to our database, Lasse B. Kær authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

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