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 = '
Herde, Christian
'
Treffer 11-20 von 20
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:
Benchmark (1)
Boolesche Formel (1)
Bounded Model Checking (1)
Endlicher Zustandsraum (1)
Erfüllbarkeitsproblem (1)
Hybrides System (1)
Sicherheitskritisches System (1)
nach Person:
Abrahám, Erika (2)
Becker, Bernd (3)
Behle, Markus (1)
Eggers, Andreas (6)
Eisenbrand, Fritz (1)
Fränzle, Martin (18)
Herbstritt, Marc (1)
Herde, Christian (20)
Hoffmann, Joerg (1)
Kalinnik, Natalia (1)
Kröning, Daniel (1)
Metzner, Alexander (4)
Nebel, Bernhard (1)
Polian, Ilia (1)
Ratschan, Stefan (2)
Schubert, Tobias (3)
Stierand, Ingo (2)
Teige, Tino (6)
Wimmer, Ralf (1)
nach Medientyp:
Artikel (19)
Bücher (1)
11
49GBVUOB_ALMA21236812960003501
49GBVUOB_ALMA21236812960003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236812960003501
Artikel
Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure
von
Martin Fränzle ; Christian Herde ; Tino Teige ; Stefan Ratschan ; Tobias Schubert
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Herde, Christian
Teige, Tino
Fränzle, Martin ([1998-])
Enthalten in:
Journal of satisfiability, Boolean modeling and computation / Special issue 1 (2007), S. 209 - 236
Sprache:
Englisch
>> Volltext
12
49GBVUOB_ALMA21236841900003501
49GBVUOB_ALMA21236841900003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236841900003501
Artikel
RTSAT - an optimal and efficient approach to the task allocation problem in distributed architectures
von
Alexander Metzner ; Christian Herde
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Herde, Christian
Metzner, Alexander ([1995-])
Enthalten in:
Proceedings of the 27th IEEE Real-Time Systems Symposium Washington, 2006 S. 147 - 158
Sprache:
Englisch
>> Volltext
13
49GBVUOB_ALMA21236840610003501
49GBVUOB_ALMA21236840610003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236840610003501
Artikel
An optimal approach to the task allocation problem on hierarchical architectures
von
Alexander Metzner ; Martin Fränzle ; Christian Herde ; Ingo Stierand
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Herde, Christian
Stierand, Ingo ([1998-])
Metzner, Alexander ([1995-])
Enthalten in:
Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium Los Alamitos, Calif. [u.a.], 2006 8 S. <8>
Sprache:
Englisch
>> Volltext
14
49GBVUOB_ALMA21236814840003501
49GBVUOB_ALMA21236814840003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236814840003501
Artikel
Interval constraint solving using propositional SAT solving techniques
von
Martin Fränzle ; Christian Herde ; Stefan Ratschan ; Tobias Schubert ; Tino Teige
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Herde, Christian
Teige, Tino
Fränzle, Martin ([1998-])
Enthalten in:
Principles and practice of constraint programming Berlin, 2006 S. 81 - 95
Sprache:
Englisch
15
49GBVUOB_ALMA21236694670003501
49GBVUOB_ALMA21236694670003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236694670003501
Artikel
Efficient engines for bounded model checking of hybrid systems
von
Martin Fränzle ; Christian Herde
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Herde, Christian
Fränzle, Martin ([1998-])
Enthalten in:
Formal methods in system design (2005), S.
Sprache:
Englisch
16
49GBVUOB_ALMA21236705520003501
49GBVUOB_ALMA21236705520003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236705520003501
Artikel
RTSAT - scheduling tasks in distributed real-time systems by enhanced satisfiability checking
von
Alexander Metzner ; Christian Herde
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Herde, Christian
Metzner, Alexander ([1995-])
Enthalten in:
Proceedings of the IEEE Real-Time Systems Symposium York, 2005 26 (2005), S. 1 - 4
Sprache:
Englisch
>> Volltext
17
49GBVUOB_ALMA21236703710003501
49GBVUOB_ALMA21236703710003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236703710003501
Artikel
Scheduling distributed real-time systems by satisfiability checking
von
Alexander Metzner ; Martin Fränzle ; Christian Herde ; Ingo Stierand
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Herde, Christian
Stierand, Ingo ([1998-])
Metzner, Alexander ([1995-])
Enthalten in:
Proceedings of the IEEE Conference on Embedded and Real-Time Computing Systems and Applications 2005 S. 409 - 415
Sprache:
Englisch
>> Volltext
18
49GBVUOB_ALMA21236385080003501
49GBVUOB_ALMA21236385080003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236385080003501
Artikel
Efficient proof engines for bounded model checking of hybrid systems
von
Martin Fränzle ; Christian Herde
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Herde, Christian
Fränzle, Martin ([1998-])
Enthalten in:
International Workshop on Formal Methods for Industrial Critical Systems (FMICS) 2004 18 S. <18>
Sprache:
Englisch
>> Volltext
19
49GBVUOB_ALMA21236778670003501
49GBVUOB_ALMA21236778670003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236778670003501
Artikel
Bounded model checking and inductive verification of hybrid discrete-continuous systems
von
Bernd Becker ; Markus Behle ; Fritz Eisenbrand ; Martin Fränzle ; Marc Herbstritt ; Christian Herde ; Joerg Hoffmann ; Daniel Kröning ; Bernhard Nebel ; Ilia Polian ; Ralf Wimmer
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Herde, Christian
Enthalten in:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Aachen, 2004 S. 65 - 75
Sprache:
Englisch
>> Volltext
20
49GBVUOB_ALMA21236750440003501
49GBVUOB_ALMA21236750440003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236750440003501
Artikel
Efficient SAT engines for concise logics : accelerating proof search for zero-one linear constraint systems
von
Martin Fränzle ; Christian Herde
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Herde, Christian
Fränzle, Martin ([1998-])
Enthalten in:
Logic for programming Berlin, 2003 S. 302 - 316
Sprache:
Englisch
>> Volltext
Seite 2 von 2