Nicolas Waldburger

According to our database, Nicolas Waldburger authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.

Lucie Guillou, Corto Mascle, Nicolas Waldburger

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Checking Presence Reachability Properties on Parameterized Shared-Memory Systems.

Nicolas Waldburger

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

Parameterized Safety Verification of Round-Based Shared-Memory Systems.

Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022