Nick Würdemann, M.Sc.
Contact
- E-Mail:

Nick Würdemann, M.Sc.
About me
I am a doctoral student working in the group Correct System Design lead by Ernst-Rüdiger Olderog at the Carl von Ossietzky University Oldenburg.
My current research interests are:
- Synthesis in distributed Systems (esp. Petri games)
- Concurrency
- (High-level/colored) Petri nets
- Symmetries
Department of Computing Science (» Postal address)
Lectures
Winter term 2022 / 2023
Publications
- [article] bibtex |
Go to document
O. Özkan and N. Würdemann, "Resilience of Well-structured Graph Transformation Systems" CoRR, vol. abs/2108.00889, 2021.@article{DBLP:journals/corr/abs-2108-00889,
author = {Okan {\"{O}}zkan and Nick W{\"{u}}rdemann},
title = {Resilience of Well-structured Graph Transformation Systems},
journal = {CoRR},
volume = {abs/2108.00889},
year = {2021},
url = {https://arxiv.org/abs/2108.00889},
eprinttype = {arXiv},
eprint = {2108.00889},
timestamp = {Thu, 05 Aug 2021 14:27:08 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-00889.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [article] bibtex |
Go to document
N. Würdemann, "Exploiting symmetries of high-level Petri games in distributed synthesis" it Inf. Technol. vol. 63, iss. 5-6, 2021.@article{DBLP:journals/it/Wurdemann21,
author = {Nick W{\"{u}}rdemann},
title = {Exploiting symmetries of high-level Petri games in distributed synthesis},
journal = {it Inf. Technol.},
volume = {63},
number = {5-6},
pages = {321--331},
year = {2021},
url = {https://doi.org/10.1515/itit-2021-0012},
doi = {10.1515/itit-2021-0012},
timestamp = {Fri, 19 Nov 2021 11:34:13 +0100},
biburl = {https://dblp.org/rec/journals/it/Wurdemann21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [inproceedings] bibtex |
Go to document
M. Gieseking and N. Würdemann, "Canonical Representations for Direct Generation of Strategies in High-Level Petri Games" in Proc. Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings, 2021.@inproceedings{DBLP:conf/apn/GiesekingW21,
author = {Manuel Gieseking and Nick W{\"{u}}rdemann},
editor = {Didier Buchs and Josep Carmona},
title = {Canonical Representations for Direct Generation of Strategies in High-Level Petri Games},
booktitle = {Application and Theory of Petri Nets and Concurrency - 42nd International Conference, {PETRI} {NETS} 2021, Virtual Event, June 23-25, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12734},
pages = {95--117},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76983-3\_6},
doi = {10.1007/978-3-030-76983-3\_6},
timestamp = {Wed, 16 Jun 2021 13:05:52 +0200},
biburl = {https://dblp.org/rec/conf/apn/GiesekingW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [article] bibtex |
Go to document
M. Gieseking and N. Würdemann, "Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version)" CoRR, vol. abs/2103.10207, 2021.@article{DBLP:journals/corr/abs-2103-10207,
author = {Manuel Gieseking and Nick W{\"{u}}rdemann},
title = {Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version)},
journal = {CoRR},
volume = {abs/2103.10207},
year = {2021},
url = {https://arxiv.org/abs/2103.10207},
archiveprefix = {arXiv},
eprint = {2103.10207},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10207.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [article] bibtex |
Go to document
M. Gieseking, E. Olderog, and N. Würdemann, "Solving high-level Petri games" Acta Inf. vol. 57, iss. 3-5, 2020.@article{DBLP:journals/acta/GiesekingOW20,
author = {Manuel Gieseking and Ernst-R{\"{u}}diger Olderog and Nick W{\"{u}}rdemann},
title = {Solving high-level Petri games},
journal = {Acta Inf.},
volume = {57},
number = {3-5},
pages = {591--626},
year = {2020},
url = {https://doi.org/10.1007/s00236-020-00368-5},
doi = {10.1007/s00236-020-00368-5},
timestamp = {Fri, 22 May 2020 21:54:01 +0200},
biburl = {https://dblp.org/rec/journals/acta/GiesekingOW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} }
Theses
- [misc] bibtexN. Würdemann, Holomorphe Funktionen und Dirichletreihen, 2016.
@misc{NW16, title = {Holomorphe Funktionen und Dirichletreihen},
author = {Nick W\"urdemann},
type = {Bachelor Thesis},
school = {Carl von Ossietzky Universit\"ät Oldenburg},
year = {2016} } - [mastersthesis] bibtexN. Würdemann, "Aspects of Helson's theorem in the theory of Dirichlet series" Master's Dissertation , 2018.
@mastersthesis{NW18, title = {Aspects of Helson's theorem in the theory of Dirichlet series},
author = {Nick W\"urdemann},
type = {Master Thesis},
school = {Carl von Ossietzky Universit\"at Oldenburg},
year = {2018} }