Suche in der Hochschulbibliografie

Suche nach: Person = 'Eggers, Andreas'

Treffer 11-16 von 16

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

11
49GBVUOB_ALMA2116694713000350149GBVUOB_ALMA21166947130003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21166947130003501
Artikel
Challenges in constraint-based analysis of hybrid systems
von Andreas Eggers ; Natalia Kalinnik ; Stefan Kupferschmid ; Tino Teige
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Teige, TinoEggers, Andreas
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/hx755817464v6746/fulltext.pdf
Enthalten in: Recent advances in constraints Berlin : Springer, 2009 (2009), Seite 51-65 VI, 146 S.
Sprache: Englisch
12
49GBVUOB_ALMA2123682711000350149GBVUOB_ALMA21236827110003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236827110003501
Artikel
Hybrid discrete-continuous systems
von Martin Fränzle ; Andreas Eggers ; Christian Herde ; Tino Teige
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Eggers, AndreasHerde, ChristianTeige, TinoFränzle, Martin ([1998-])
Enthalten in: Modern computational science 09 Oldenburg, 2009 S. 363 - 378
Sprache: Englisch
13
49GBVUOB_ALMA2123639405000350149GBVUOB_ALMA21236394050003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236394050003501
Artikel
SAT modulo ODE : a direct SAT approach to hybrid systems
von Andreas Eggers ; Martin Fränzle ; Christian Herde
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Herde, ChristianEggers, Andreas
Enthalten in: Automated technology for verification and analysis Berlin [u.a.], 2008 S. 171 - 185
Sprache: Englisch
14
49GBVUOB_ALMA2123658117000350149GBVUOB_ALMA21236581170003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236581170003501
Artikel
SAT modulo ODE
von Andreas Eggers ; Martin Fränzle ; Christian Herde
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Herde, ChristianEggers, Andreas
Enthalten in: Reports of SFB/TR 14 AVACS (2008), S. 1 - 16
Sprache: Englisch
>> Volltext
15
49GBVUOB_ALMA2123638019000350149GBVUOB_ALMA21236380190003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236380190003501
Artikel
Analyis of hybrid systems using HySAT
von Christian Herde ; Andreas Eggers ; Martin Fränzle ; Tino Teige
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Eggers, AndreasFränzle, Martin ([1998-])Teige, TinoHerde, Christian
Enthalten in: Third International Conference on Systems Los Alamitos, Calif., 2008 S. 196 - 201
Sprache: Englisch
>> Volltext
16
49GBVUOB_ALMA2123681447000350149GBVUOB_ALMA21236814470003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236814470003501
Artikel
A generalized two-watched-literal scheme in a mixed Boolean and non-linear arithmetic constraint solver
von Tino Teige ; Christian Herde ; Martin Fränzle ; Natalia Kalinnik ; Andreas Eggers
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Herde, ChristianFränzle, Martin ([1998-])Eggers, AndreasTeige, Tino
Enthalten in: Progress in artificial intelligence 2007 S. 729 - 741
Sprache: Englisch