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) = '
Fränzle, Martin ((DE-588)1209157535)
'
Treffer 151-160 von 181
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 16 von 19
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:
Algorithmus (1)
Application software (1)
Architektur (1)
Assistenzsystem (1)
Autonomes Fahrzeug (2)
Computer logic (1)
Computer science (1)
Computers (1)
Computersimulation (1)
Echtzeitsystem (2)
Eingebettetes System (3)
Fahrerassistenzsystem (1)
Faktor Mensch (1)
Formale Methode (1)
Hybrides System (2)
Kollisionsschutz (1)
Ljapunov-Stabilitätstheorie (1)
Machine theory (1)
Mathematical logic (1)
Mensch-Maschine-Kommunikation (1)
Model Checking (1)
Modellierung (1)
Nebenläufigkeit (1)
Nichtlineare modellprädiktive Regelung (1)
Optimierungsproblem (1)
Preis (1)
Programmierparadigma (1)
Requirements engineering (1)
Sicherheitskritisches System (1)
Simulation (1)
Software engineering (1)
Spezifikation (1)
Stochastischer Automat (1)
Störungstheorie (1)
Verifikation (2)
Zeitbehafteter Automat (2)
Zeitdiskretes System (1)
Zeitgesteuertes System (1)
nach Person:
Abate, Alessandro (4)
Abdelaal, Mohamed (4)
Alam, Muhammad (2)
Austel, Benedikt (2)
Becker, Bernd (7)
Bengler, Klaus (4)
Biebl, Bianca (6)
Bienmüller, Tom (2)
Bolles, André (2)
Böde, Eckard (6)
Büker, Matthias (5)
Chen, Mingshuai (6)
Damm, Werner (17)
Dorff, Sebastian vom (2)
Easwaran, Arvind (2)
Eggers, Andreas (9)
Ehmen, Günter (3)
Feng, Shenghua (2)
Fränzle, Martin (181)
Gao, Yang (4)
Gerwinn, Sebastian (8)
Gezgin, Tayfun (2)
Grüttner, Kim (4)
Hagemann, Willem (8)
Hahn, Axel (6)
Hahn, Ernst Moritz (2)
Hansen, Michael R (7)
Held, Moritz (3)
Herde, Christian (17)
Hermanns, H (2)
Hess, David (3)
Hungar, Hardi (3)
Ihme, Klas (3)
Ittershagen, Philipp (2)
Josko, Bernhard (2)
Jost, Henning (2)
Kacianka, Severin (4)
Kapur, Deepak (2)
Katoen, Joost-Pieter (3)
Kerscher, Alyssa J (3)
Khan, Saifullah (3)
Kneissl, Maximilian (2)
Koopmann, Björn (5)
Kramer, Birte (4)
Krefting, Ina (3)
Kröger, Janis (3)
Kröger, Paul (12)
Kuka, Christian (2)
Köster, Frank (3)
Lehnhoff, Sebastian (4)
Li, Yangjia (3)
Luedtke, Andreas (2)
Lüdtke, Andreas (7)
Lüth, Karsten (2)
Mahdi, Ahmed (5)
Markey, Nicolas (2)
Metzner, Alexander (3)
Moradkhani, Farzaneh (2)
Mosaad, Peter N (3)
Mosaad, Peter Nazier (4)
Möhlmann, Eike (2)
Müller-Olm, Markus (2)
Müllner, Nils Henning (3)
Nebel, Wolfgang (2)
Neubauer, Felix (3)
Neurohr, Christian (2)
Ody, Heinrich (2)
Olderog, Ernst-Rüdiger (4)
Poppen, Frank (2)
Pretschner, Alexander (3)
Pretschner, Walter Alexander (3)
Puch, Stefan (5)
Rakow, Astrid (6)
Ratschan, Stefan (2)
Rettberg, Achim (3)
Rieger, Jochem (12)
Sauter, Gerald (2)
Scheibler, Karsten (3)
Schubert, Tobias (3)
Schwammberger, Maike (3)
Schweda, Mark (3)
Shirmohammadi, Mahsa (2)
Siegel, Michael (2)
Sonntag, Daniel (3)
Stierand, Ingo (6)
Swaminathan, Mani (7)
Sztipanovits, Janos (5)
Tabassam, Nadra (2)
Teige, Tino (18)
Theel, Oliver (5)
Trende, Alexander (11)
Unni, Anirudh (9)
Veith, Eric M. S. P (3)
Wang, Qiuye (3)
Wang, Shuling (2)
Weber, Lars (3)
Worrell, James (2)
Xue, Bai (19)
Zhan, Naijun (21)
Zou, Liang (2)
nach Medientyp:
Artikel (163)
E-Books (14)
Bücher (7)
Datenträger (1)
Reihe (1)
151
49GBVUOB_ALMA21236380190003501
49GBVUOB_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, Andreas
Fränzle, Martin ([1998-])
Teige, Tino
Herde, Christian
Enthalten in:
Third International Conference on Systems Los Alamitos, Calif., 2008 S. 196 - 201
Sprache:
Englisch
>> Volltext
152
49GBVUOB_ALMA21236581170003501
49GBVUOB_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, Christian
Eggers, Andreas
Enthalten in:
Reports of SFB/TR 14 AVACS (2008), S. 1 - 16
Sprache:
Englisch
>> Volltext
153
49GBVUOB_ALMA21236826220003501
49GBVUOB_ALMA21236826220003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236826220003501
Artikel
Conflict analysis and restarts in a mixed Boolean and non-linear arithmetic constraint solver
von
Tino Teige ; Christian Herde ; Martin Fränzle ; Erika Abrahám
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Herde, Christian
Fränzle, Martin ([1998-])
Teige, Tino
Enthalten in:
AVACS technical report 34 (2008), S. 1 - 14
Sprache:
Englisch
>> Volltext
154
49GBVUOB_ALMA21236195670003501
49GBVUOB_ALMA21236195670003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236195670003501
Artikel
Deciding an interval logic with accumulated durations
von
Martin Fränzle ; Michael R. Hansen
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hansen, Michael R. ([-1994])
Fränzle, Martin ([1998-])
Enthalten in:
Tools and algorithms for the construction and analysis of systems Berlin [u.a.], 2007
Sprache:
Englisch
155
49GBVUOB_ALMA21236816000003501
49GBVUOB_ALMA21236816000003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236816000003501
Artikel
A symbolic decision procedure for robust safety of timed systems
von
Mani Swaminathan ; Martin Fränzle
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Swaminathan, Mani ([2005-])
Enthalten in:
14th International Symposium on Temporal Representation Los Alamitos, Calif., 2007 S. 192
Sprache:
Englisch
>> Volltext
156
49GBVUOB_ALMA21236189340003501
49GBVUOB_ALMA21236189340003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236189340003501
Artikel
Hysat : an efficient proof engine for bounded model checking of hybrid systems
von
Martin Fränzle ; Christian Herde
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Herde, Christian
Fränzle, Martin ([1998-])
Enthalten in:
Formal methods in system design 30 (2007), 3, S. 179 - 198
Sprache:
Englisch
157
49GBVUOB_ALMA21236802180003501
49GBVUOB_ALMA21236802180003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236802180003501
Artikel
SFB/TR 14 AVACS : automatic verification and analysis of complex systems
von
Bernd Becker ; Werner Damm ; Martin Fränzle ; Ernst-Rüdiger Olderog ; Andreas Podelski ; Reinhard Wilhelm
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Fränzle, Martin ([1998-])
Olderog, Ernst-Rüdiger
Enthalten in:
Information technology 49 (2007), 2, S. 118 - 126
Sprache:
Englisch
158
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
159
49GBVUOB_ALMA21236824490003501
49GBVUOB_ALMA21236824490003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236824490003501
Artikel
HLang : compositional representation of hybrid systems via predicates
von
Martin Fränzle ; Hardi Hungar ; Christian Schmitt ; Boris Wirtz
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hungar, Hardi ([1991-])
Wirtz, Boris
Fränzle, Martin ([1998-])
Enthalten in:
AWACS technical report 20 (2007), S. 1 - 38
Sprache:
Englisch
>> Volltext
160
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
Seite 16 von 19