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 = '
Kröger, Paul
'
Treffer 11-12 von 12
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 Person:
Abate, Alessandro (1)
Chen, Mingshuai (1)
Damm, Werner (3)
Finkbeiner, Bernd (1)
Fränzle, Martin (12)
Gerwinn, Sebastian (2)
Grundt, Dominik (1)
Hagemann, Willem (3)
Jurj, Sorin Liviu (1)
Katoen, Joost-Pieter (1)
Kohn, Florian (1)
Kröger, Paul (12)
Olderog, Ernst-Rüdiger (1)
Rakow, Astrid (2)
Theel, Oliver (1)
11
49GBVUOB_ALMA51253368200003501
49GBVUOB_ALMA51253368200003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51253368200003501
Artikel
Perspectives on the validation and verification of machine learning systems in the context of highly automated vehicles
von
Werner Damm ; Martin Fränzle ; Sebastian Gerwinn ; Paul Kröger
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Gerwinn, Sebastian
Kröger, Paul
Damm, Werner
Enthalten in:
AAAI Spring Symposium Series (2018 : Stanford, Calif.) The 2018 AAAI Spring Symposium Series technical report Palo Alto, California, USA, 2018 (2018), Seite 512-515 1 Online-Ressource
Sprache:
Englisch
>> Volltext
12
49GBVUOB_ALMA51219871270003501
49GBVUOB_ALMA51219871270003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219871270003501
Artikel
Multi-objective parameter synthesis in probabilistic hybrid systems
von
Martin Fränzle ; Sebastian Gerwinn ; Paul Kröger ; Alessandro Abate ; Joost-Pieter Katoen
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Gerwinn, Sebastian
Kröger, Paul
Fränzle, Martin ([1998-])
Enthalten in:
Formal Modeling and Analysis of Timed Systems 1st ed. 2015 Cham [u.a.] : Springer, 2015 (2015), Seite 93-107 Online-Ressource (X, 321 p. 90 illus, online resource)
Sprache:
Englisch
>> Volltext
Seite 2 von 2
Seite 2 von 2
