Nick Würdemann, M.Sc.
Contact
- E-Mail:
Nick Würdemann, M.Sc.
About me
I am a doctoral student in the DFG Research Training Group SCARE and work in the group Correct System Design headed 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)
Publications
-
[article] bibtex |
Go to documentM. Gieseking, E. Olderog, and N. Würdemann, "Solving high-level Petri games," Acta Inf., vol. 57, iss. 3-5, pp. 591-626, 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} }