Nick Würdemann

13 papers B 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Attractor Basins in Concurrent Systems.
CoRR
Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann
2024 J jnl
Taking Complete Finite Prefixes To High Level, Symbolically.
Fundam. Informaticae
Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke
2024 — —
Taking Synthesis of Distributed Systems via Petri Games to High Level, Symbolically.
Nick Würdemann
2023 J jnl
Taking Complete Finite Prefixes To High Level, Symbolically.
CoRR
Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke
2023 B conf
Taking Complete Finite Prefixes to High Level, Symbolically.
Petri Nets
Nick Würdemann, Thomas Chatain, Stefan Haar
2022 — conf
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets.
GandALF
Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann
2021 B conf
Canonical Representations for Direct Generation of Strategies in High-Level Petri Games.
Petri Nets
Manuel Gieseking, Nick Würdemann
2021 J jnl
Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version).
CoRR
Manuel Gieseking, Nick Würdemann
2021 J jnl
Canonical Representations for Direct Generation of Strategies in High-level Petri Games.
CoRR
Manuel Gieseking, Nick Würdemann
2021 J jnl
Correction to: Solving high-level Petri games.
Acta Informatica
Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
2021 J jnl
Exploiting symmetries of high-level Petri games in distributed synthesis.
it Inf. Technol.
Nick Würdemann
2021 — conf
Resilience of Well-structured Graph Transformation Systems.
GCM@STAF
Okan Özkan, Nick Würdemann
2020 J jnl
Solving high-level Petri games.
Acta Informatica
Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann