Lasse B. Kær

According to our database, Lasse B. Kær authored at least 2 papers in 2022.

Collaborative distances:

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

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