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) = '
Möhlmann, Eike ((DE-588)1198945494)
'
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:
Hybrides System (2)
Ljapunov-Stabilitätstheorie (2)
Verifikation (2)
nach Person:
Damm, Werner (6)
Fränzle, Martin (3)
Hagemann, Willem (4)
Jubran, Oday (1)
Kemper, Stephanie (1)
Koopmann, Tjark (1)
Möhlmann, Eike (16)
Neurohr, Birte (1)
Peikenkamp, Thomas (2)
Rakow, Astrid (6)
Theel, Oliver (8)
nach Medientyp:
Artikel (12)
E-Books (4)
Bücher (1)
11
49GBVUOB_ALMA51219857330003501
49GBVUOB_ALMA51219857330003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219857330003501
Artikel
Inscribing H-polyhedra in quadrics using a projective generalization of closed sets
von
Willem Hagemann ; Eike Möhlmann
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Möhlmann, Eike
Hagemann, Willem
Enthalten in:
Proceedings of the 27th Canadian Conference on Computational Geometry, CCCG 2015 Kingston, Ontario : Queen's University, 2015 (2015), Seite 31-36 1 Online-Ressource (viii, 303 Seiten)
Sprache:
Englisch
>> Volltext
12
49GBVUOB_ALMA51219877410003501
49GBVUOB_ALMA51219877410003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219877410003501
Artikel
Breaking dense structures : proving stability of densely structured hybrid systems
von
Eike Möhlmann ; Oliver Theel
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Theel, Oliver ([2002-])
Möhlmann, Eike
Enthalten in:
Electronic proceedings in theoretical computer science Sydney : NICTA, 2008 184(2015), Seite 49-63
Sprache:
Englisch
>> Volltext
13
49GBVUOB_ALMA51219896150003501
49GBVUOB_ALMA51219896150003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219896150003501
E-Book
AVACS technical report: Hybrid tools for hybrid systems : proving stability and safety at once : extended version
von
Willem Hagemann ; Eike Möhlmann ; Oliver Theel
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Möhlmann, Eike
Theel, Oliver ([2002-])
Hagemann, Willem
Verlag:
Oldenburg: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang:
1 Online-Ressource (28 Seiten) Illustrationen.
Übergeordnetes Werk:
AVACS technical report
Verknüpfte Titel:
AVACS technical report ; 108
Sprache:
Englisch
>> Volltext
14
49GBVUOB_ALMA21237031310003501
49GBVUOB_ALMA21237031310003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237031310003501
Artikel
Towards counterexample-guided computation of validated stability certificates for hybrid systems
von
Eike Möhlmann ; Oliver Theel
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Theel, Oliver ([2002-])
Möhlmann, Eike
Enthalten in:
Actas de CoNaIISI 2 (2014), S. 853-860
Sprache:
Englisch
15
49GBVUOB_ALMA71183736100003501
49GBVUOB_ALMA71183736100003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71183736100003501
Artikel
Component based design of hybrid systems : a case study on concurrency and coupling
von
Werner Damm ; Eike Möhlmann ; Astrid Rakow
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Enthalten in:
HSCC (17 : 2014 : Berlin) HSCC'14 New York, NY : ACM, 2014 (2014), Seite 145-150 XII, 316 S.
Sprache:
Englisch
16
49GBVUOB_ALMA71160796720003501
49GBVUOB_ALMA71160796720003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71160796720003501
Artikel
Stabhyli : a tool for automatic stability verification of non-linear hybrid systems
von
Eike Möhlmann ; Oliver Theel
2013
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Möhlmann, Eike
Enthalten in:
HSCC (16 : 2013 : Philadelphia, Pa.) HSCC'13 New York, NY : ACM, 2013 (2013), Seite 107-112 XII, 365 S.
Sprache:
Englisch
Seite 2 von 2