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) = '
Teige, Tino ((DE-588)1041344627)
'
Treffer 21-24 von 24
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 3 von 3
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 (1)
Stochastisches Modell (1)
nach Person:
Abrahám, Erika (1)
Badban, Bahareh (1)
Becker, Bernd (3)
Bienmüller, Tom (2)
Eggers, Andreas (6)
Fehrer, Detlef (2)
Fränzle, Martin (20)
Herde, Christian (6)
Hermanns, H (2)
Hermanns, Holger (1)
Kalinnik, Natalia (2)
Kupferschmid, Stefan (2)
Mahdi, Ahmed (2)
Neubauer, Felix (2)
Peleska, Jan (1)
Ratschan, Stefan (2)
Scheibler, Karsten (2)
Schubert, Tobias (2)
Teige, Tino (24)
nach Medientyp:
Artikel (22)
E-Books (2)
Bücher (1)
21
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
22
49GBVUOB_ALMA21236814470003501
49GBVUOB_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, Christian
Fränzle, Martin ([1998-])
Eggers, Andreas
Teige, Tino
Enthalten in:
Progress in artificial intelligence 2007 S. 729 - 741
Sprache:
Englisch
23
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
24
49GBVUOB_ALMA21236182660003501
49GBVUOB_ALMA21236182660003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236182660003501
Artikel
Test automation for hybrid systems
von
Bahareh Badban ; Martin Fränzle ; Jan Peleska ; Tino Teige
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Teige, Tino
Badban, Bahareh ([2006-2007])
Enthalten in:
Proceedings of the 3rd International Workshop on Software Quality Assurance New York, N.Y., 2006 S. 14 - 21
Sprache:
Englisch
>> Volltext
Seite 3 von 3