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)

A03 2-216 (» Adress and map )

nach Vereinbarung

Lectures

Summer term 2021

2.01.400 Vorlesung - Theoretische Informatik: Logik |
2.01.4001 Tutorium Theoretische Informatik: Logik (A) |
2.01.4002 Tutorium Theoretische Informatik: Logik (B) |
2.01.4003 Tutorium Theoretische Informatik: Logik (C) |
2.01.4004 Tutorium Theoretische Informatik: Logik (D) |
2.01.4005 Tutorium Theoretische Informatik: Logik (E) |
2.01.4006 Tutorium Theoretische Informatik: Logik (F) |

Publications

  • [article] bibtex | Go to document Go to document
    M. 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] bibtex
    N. 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] bibtex
    N. 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} }
(Changed: 2021-03-10)