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) = '
Gieseking, Manuel ((DE-588)1206020547)
'
Treffer 11-16 von 16
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 2 von 2
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 Schlagwort:
Model Checking (1)
Petri-Netz (1)
Synthese (1)
Temporale Logik (1)
Verteiltes System (1)
nach Person:
Finkbeiner, Bernd (9)
Gieseking, Manuel (16)
Hecking-Harbusch, Jesko (8)
Olderog, Ernst-Rüdiger (12)
Rahmatov, Dilshod (1)
Theel, Oliver (1)
Würdemann, Nick (3)
Yanich, Ann Louise (1)
nach Medientyp:
Artikel (15)
Bücher (1)
E-Books (1)
11
49GBVUOB_ALMA51272967960003501
49GBVUOB_ALMA51272967960003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272967960003501
Artikel
High-Level representation of benchmark families for Petri Games
von
Manuel Gieseking ; Ernst-Rüdiger Olderog
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Gieseking, Manuel
Enthalten in:
De.arxiv.org [S.l.] : Arxiv.org, 1991 2019 (11. Apr.), article 1904.05621, S. 1-20 Online-Ressource
Sprache:
Englisch
>> Volltext
12
49GBVUOB_ALMA51272988230003501
49GBVUOB_ALMA51272988230003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272988230003501
Artikel
Model checking data flows in concurrent network updates
von
Bernd Finkbeiner ; Manuel Gieseking ; Jesko Hecking-Harbusch ; Ernst-Rüdiger Olderog
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Gieseking, Manuel
Olderog, Ernst-Rüdiger
Enthalten in:
Automated Technology for Verification and Analysis 1st ed. 2019 Cham : Springer, 2019 (2019), Seite 515-533 1 Online-Ressource (XI, 552 p. 754 illus., 60 illus. in color)
Sprache:
Englisch
>> Volltext
13
49GBVUOB_ALMA51253365660003501
49GBVUOB_ALMA51253365660003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51253365660003501
Artikel
Towards a composition of region-adherent systems
von
Dilshod Rahmatov ; Manuel Gieseking ; Oliver Theel
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Gieseking, Manuel
Theel, Oliver ([2002-])
Rahmatov, Dilshod
Enthalten in:
International Conference on Networking and Services (14. : 2018 : Nizza) ICNS 2018 [Wilmington, DE, USA] : IARIA, 2018 (2018), Seite 21-26 1 Online-Ressource (45 Seiten)
Sprache:
Englisch
>> Volltext
14
49GBVUOB_ALMA51229837140003501
49GBVUOB_ALMA51229837140003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51229837140003501
Artikel
Symbolic vs. Bounded Synthesis for Petri Games
von
Bernd Finkbeiner ; Manuel Gieseking ; Jesko Hecking-Harbusch ; Ernst-Rüdiger Olderog
2017
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Gieseking, Manuel
Olderog, Ernst-Rüdiger
Enthalten in:
Electronic proceedings in theoretical computer science Sydney : NICTA, 2008 (2017), Seite 23-43
Sprache:
Englisch
>> Volltext
15
49GBVUOB_ALMA51219754290003501
49GBVUOB_ALMA51219754290003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219754290003501
Artikel
Trace refinement of pi-calculus processes
von
Manuel Gieseking
Februar 2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Gieseking, Manuel
Enthalten in:
Proceedings of the young researchers conference "frontiers of formal methods" Aachen : RWTH Aachen, Dept. of Computer Science, 2015 (2015), Seite 109-114 Online-Ressource (279 Seiten, 14,32 MB)
Sprache:
Englisch
>> Volltext
16
49GBVUOB_ALMA51219794760003501
49GBVUOB_ALMA51219794760003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219794760003501
Artikel
ADAM : causality-based synthesis of distributed systems
von
Bernd Finkbeiner ; Manuel Gieseking ; Ernst-Rüdiger Olderog
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Gieseking, Manuel
Olderog, Ernst-Rüdiger
Enthalten in:
Computer Aided Verification Cham [u.a.] : Springer, 2015 (2015), Seite 433-439 Online-Ressource (XXIII, 677 p. 141 illus, online resource)
Sprache:
Englisch
>> Volltext
Seite 2 von 2