Nick Würdemann, M.Sc.

Kontakt

  • E-Mail:

Nick Würdemann, M.Sc.

Über mich

Ich bin Doktorand und arbeite als Wissenschaftlicher Mitarbeiter in der Gruppe Correct System Design unter Leitung von Ernst-Rüdiger Olderog an der Carl von Ossietzky Universität Oldenburg.
Meine aktuellen Forschungsinteressen sind:

  • Synthese in verteilten Systemen (insb. Petri Spiele)
  • Nebenläufigkeit
  • (höhere/gefärbte) Petri Netze
  • Symmetrien

Publikationen

  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    N. Würdemann, T. Chatain, und S. Haar, "Taking Complete Finite Prefixes to High Level, Symbolically" in Proc. Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-33620-1_7
    @inproceedings{DBLP:conf/apn/WurdemannCH23,
      author = {Nick W{\"{u}}rdemann and Thomas Chatain and Stefan Haar},
      editor = {Lu{\'{\i}}s Gomes and Robert Lorenz},
      title = {Taking Complete Finite Prefixes to High Level, Symbolically},
      booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {13929},
      pages = {123--144},
      publisher = {Springer},
      year = {2023},
      url = {https://doi.org/10.1007/978-3-031-33620-1\_7},
      doi = {10.1007/978-3-031-33620-1\_7},
      timestamp = {Fri, 02 Jun 2023 21:24:05 +0200},
      biburl = {https://dblp.org/rec/conf/apn/WurdemannCH23.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    G. K. A. -, S. Haar, L. Paulevé, S. Schwoon, und N. Würdemann, "Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets" in Proc. Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022, 2022.
    doi: 10.4204/EPTCS.370.12
    @inproceedings{DBLP:journals/corr/abs-2209-10323,
      author = {Giann Karlo Aguirre{-}Samboni and Stefan Haar and Loic Paulev{\'{e}} and Stefan Schwoon and Nick W{\"{u}}rdemann},
      editor = {Pierre Ganty and Dario Della Monica},
      title = {Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets},
      booktitle = {Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022},
      series = {{EPTCS}},
      volume = {370},
      pages = {178--193},
      year = {2022},
      url = {https://doi.org/10.4204/EPTCS.370.12},
      doi = {10.4204/EPTCS.370.12},
      timestamp = {Mon, 31 Oct 2022 12:23:58 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2209-10323.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • M. Gieseking und 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} }
  • O. Özkan und 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} }
  • N. Würdemann, "Exploiting symmetries of high-level Petri games in distributed synthesis" it Inf. Technol. vol. 63, iss. 5-6, 2021.
    doi: 10.1515/itit-2021-0012
    @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 | Dokument aufrufen Dokument aufrufen
    M. Gieseking und 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.
    doi: 10.1007/978-3-030-76983-3_6
    @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} }
  • M. Gieseking, E. Olderog, und N. Würdemann, "Solving high-level Petri games" Acta Inf. vol. 57, iss. 3-5, 2020.
    doi: 10.1007/s00236-020-00368-5
    @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} }

Abschlussarbeiten

  • [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.
    @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},
     
(Stand: 19.01.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page