Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Jobstmann, Barbara"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Synthesizing robust systems
Roderick Bloem
,
Krishnendu Chatterjee
,
Karin Greimel
,
Thomas A. Henzinger
,
Georg Hofferek
,
Barbara Jobstmann
,
Bettina Könighofer
,
Robert Könighofer
Acta Informatica
51
(3-4), 2014, pp. 193-220
Synthesis of Reactive(1) designs
Roderick Bloem
,
Barbara Jobstmann
,
Nir Piterman
,
Amir Pnueli
,
Yaniv Sa'ar
Journal of Computer and System Sciences
78
(3), 2012, pp. 911-938
Finding and fixing faults
Barbara Jobstmann
,
Stefan Staber
,
Andreas Griesmayer
,
Roderick Bloem
Journal of Computer and System Sciences
78
(2), 2012, pp. 441-460
Formalisms for specifying Markovian population models
Thomas Henzinger
,
Barbara Jobstmann
,
Verena Wolf
International Journal of Foundations of Computer Science
22
(4), 2011, pp. 823-841
Open implication
Karin Greimel
,
Roderick Bloem
,
Barbara Jobstmann
,
Moshe Vardi
Lecture Notes in Computer Science
5126
, 2008, pp. 361-372