Suche in der Hochschulbibliografie

Suche nach: Person (Universität Oldenburg) = 'Würdemann, Nick ((DE-588)1253977011)'

Treffer 1-8 von 8

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5139845794000350149GBVUOB_ALMA51398457940003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398457940003501
Artikel
Taking complete finite preﬁxes to high level, symbolically
von Nick Würdemann ; Thomas Chatain ; Stefan Haar ; Lukas Panneke
2024
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Panneke, LukasWürdemann, Nick
Enthalten in: Fundamenta informaticae London : Sage, 1977 192(2024), 3/4, Seite 313-361 Online-Ressource
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA5138687869000350149GBVUOB_ALMA51386878690003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51386878690003501
E-Book
Taking synthesis of distributed systems via petri games to high level, symbolically : = Synthese verteilter Systeme durch höhere Petrinetze mithilfe symbolischer Methoden
von Nick Würdemann
2024
Details anzeigen
Akademischer Betr.: Ernst-Rüdiger Olderog; Javier Esparza
Beteiligte Personen (Uni Oldenburg): Würdemann, Nick
Verlag: Oldenburg: BIS der Universität Oldenburg
Umfang: 1 Online-Ressource.
Weitere Angaben:
Dissertation Oldenburg, Universität Oldenburg 2024
Schlagwörter: Hochschulschrift
Sprache: Englisch
>> Volltext
3
49GBVUOB_ALMA5139845797000350149GBVUOB_ALMA51398457970003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398457970003501
Artikel
Taking complete finite prefixes to high level, symbolically
von Nick Würdemann ; Thomas Chatain ; Stefan Haar
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Würdemann, Nick
Enthalten in: Application and Theory of Petri Nets and Concurrency 1st ed. 2023. Cham : Springer Nature Switzerland, 2023 (2023), Seite 123–144 1 Online-Ressource(XV, 466 p. 188 illus., 89 illus. in color.)
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA5135269920000350149GBVUOB_ALMA51352699200003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51352699200003501
Artikel
Avoid one’s doom : finding cliff-edge configurations in Petri nets
von Giann Karlo Aguirre-Samboní ; Stefan Haar ; Loïc Paulevé ; Stefan Schwoon ; Nick Würdemann
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Würdemann, Nick
Enthalten in: Electronic proceedings in theoretical computer science Sydney : NICTA, 2008 370(2022), Seite 178-193
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA5133133579000350149GBVUOB_ALMA51331335790003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51331335790003501
Artikel
Exploiting symmetries of high-level Petri games in distributed synthesis
von Nick Würdemann
2021
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Würdemann, Nick
Enthalten in: Information technology Berlin : De Gruyter, 1959 63(2021), 5/6, Seite 321-331 Online-Ressource
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA5133133567000350149GBVUOB_ALMA51331335670003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51331335670003501
Artikel
Canonical representations for direct generation of strategies in high-level petri games
von Manuel Gieseking ; Nick Würdemann
2021
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Würdemann, NickGieseking, Manuel
Enthalten in: Application and Theory of Petri Nets and Concurrency 1st ed. 2021. Cham : Springer International Publishing, 2021 (2021), Seite 95-117 1 Online-Ressource(XI, 487 p. 146 illus., 59 illus. in color.)
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA5133133588000350149GBVUOB_ALMA51331335880003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51331335880003501
Artikel
Correction to: Solving high-level Petri games
von Manuel Gieseking ; Ernst-Rüdiger Olderog ; Nick Würdemann
2021
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Olderog, Ernst-RüdigerWürdemann, NickGieseking, Manuel
Enthalten in: Acta informatica Berlin : Springer, 1971 58(2020), Artikel-ID 6, Seite 675-676 Online-Ressource
Sprache: Englisch
>> Volltext
8
49GBVUOB_ALMA5130053741000350149GBVUOB_ALMA51300537410003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51300537410003501
Artikel
Solving high-level Petri games
von Manuel Gieseking ; Ernst-Rüdiger Olderog ; Nick Würdemann
2020
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Olderog, Ernst-RüdigerWürdemann, NickGieseking, Manuel
Enthalten in: Acta informatica Berlin : Springer, 1971 57(2020), Seite 591-626 Online-Ressource
Sprache: Englisch
>> Volltext