Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person (Universität Oldenburg) = '
Würdemann, Nick ((DE-588)1253977011)
'
Treffer 1-6 von 6
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 1
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Person:
Aguirre-Samboní, Giann Karlo (1)
Esparza, Javier (1)
Gieseking, Manuel (3)
Haar, Stefan (1)
Olderog, Ernst-Rüdiger (3)
Paulevé, Loïc (1)
Schwoon, Stefan (1)
Würdemann, Nick (6)
nach Medientyp:
Artikel (5)
Bücher (1)
E-Books (1)
1
49GBVUOB_ALMA51386878690003501
49GBVUOB_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
2
49GBVUOB_ALMA51352699200003501
49GBVUOB_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
3
49GBVUOB_ALMA51331335790003501
49GBVUOB_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
4
49GBVUOB_ALMA51331335670003501
49GBVUOB_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, Nick
Gieseking, 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
5
49GBVUOB_ALMA51331335880003501
49GBVUOB_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üdiger
Würdemann, Nick
Gieseking, Manuel
Enthalten in:
Acta informatica Berlin : Springer, 1971 58(2020), Artikel-ID 6, Seite 675-676 Online-Ressource
Sprache:
Englisch
>> Volltext
6
49GBVUOB_ALMA51300537410003501
49GBVUOB_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üdiger
Würdemann, Nick
Gieseking, Manuel
Enthalten in:
Acta informatica Berlin : Springer, 1971 57(2020), Seite 591-626 Online-Ressource
Sprache:
Englisch
>> Volltext
Seite 1 von 1
