Nick Würdemann

According to our database, Nick Würdemann authored at least 10 papers between 2020 and 2024.

Collaborative distances:

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

2024

Taking Complete Finite Prefixes To High Level, Symbolically.

Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke

Fundam. Informaticae, 2024

Attractor Basins in Concurrent Systems.

Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann

CoRR, 2024

2023

Taking Complete Finite Prefixes to High Level, Symbolically.

Nick Würdemann, Thomas Chatain, Stefan Haar

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets.

Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann

Proceedings of the 13th International Symposium on Games, 2022

2021

Exploiting symmetries of high-level Petri games in distributed synthesis.

Nick Würdemann

it Inf. Technol., 2021

Resilience of Well-structured Graph Transformation Systems.

Okan Özkan, Nick Würdemann

Proceedings of the Proceedings Twelfth International Workshop on Graph Computational Models, 2021

Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version).

Manuel Gieseking, Nick Würdemann

CoRR, 2021

Correction to: Solving high-level Petri games.

Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann

Acta Informatica, 2021

Canonical Representations for Direct Generation of Strategies in High-Level Petri Games.

Manuel Gieseking, Nick Würdemann

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Solving high-level Petri games.

Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann

Acta Informatica, 2020