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 = '
Burchardt, Henning
'
Treffer 1-5 von 5
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:
Burchardt, Henning (5)
Oehlerking, Jens (4)
Ratschan, Stefan (1)
Theel, Oliver (4)
1
49GBVUOB_ALMA21236324360003501
49GBVUOB_ALMA21236324360003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236324360003501
Artikel
Estimating the region of attraction of ordinary differential equations by quantified constraint solving
von
Henning Burchardt ; Stefan Ratschan
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Burchardt, Henning
Enthalten in:
Mathematical methods and computational techniques in research and education 2007 S. 241 - 246
Sprache:
Englisch
>> Volltext
2
49GBVUOB_ALMA21236163910003501
49GBVUOB_ALMA21236163910003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236163910003501
Artikel
Fully automated stability verification for piecewise affine systems
von
Jens Oehlerking ; Henning Burchardt ; Oliver Theel
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Burchardt, Henning
Theel, Oliver ([2002-])
Oehlerking, Jens
Enthalten in:
Hybrid systems: computation and control Berlin [u.a.], 2007 S. [741] - 745
Sprache:
Englisch
3
49GBVUOB_ALMA21236831190003501
49GBVUOB_ALMA21236831190003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236831190003501
Artikel
Towards push-of-a-button stability verification for discrete-time hybrid systems
von
Henning Burchardt ; Jens Oehlerking ; Oliver Theel
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Oehlerking, Jens
Theel, Oliver ([2002-])
Burchardt, Henning
Enthalten in:
11th International Symposium Pacific Rim Dependable Computing Los Alamitos, Calif., 2005 S. 374 - 378
Sprache:
Englisch
>> Volltext
4
49GBVUOB_ALMA21236854230003501
49GBVUOB_ALMA21236854230003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236854230003501
Artikel
The role of state-space partitioning in automated verification of affine hybrid system stability
von
Henning Burchardt ; Jens Oehlerking ; Oliver Theel
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Oehlerking, Jens
Theel, Oliver ([2002-])
Burchardt, Henning
Enthalten in:
Proceedings / the 3rd International Conference on Computing, Communications and Control Technologies 1 (2005), S. 187 - 192
Sprache:
Englisch
>> Volltext
5
49GBVUOB_ALMA21236875860003501
49GBVUOB_ALMA21236875860003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236875860003501
Artikel
Towards automatic verification of affine hybrid system stability
von
Jens Oehlerking ; Henning Burchardt ; Oliver Theel
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Burchardt, Henning
Theel, Oliver ([2002-])
Oehlerking, Jens
Enthalten in:
SIGBED review 2 (2005), 2, 4 Bl. <4>
Sprache:
Deutsch
>> Volltext
Seite 1 von 1
