Barbara Jobstmann
Author
Alternate names B. Jobstmann, Barbara Jobstmann
Institution École Polytechnique Fédérale de Lausanne
Past institutions École Polytechnique Fédérale de Lausanne, École Polytechnique, Laboratoire d'Informatique Fondamentale de Lille, National Taiwan University, Centre National de la Recherche Scientifique +5 more
H-index: 23
I10-index: 36
Works count: 60
Citations count: 2,622
Synthesis of Reactive(1) designs
2011 · Roderick Bloem, Barbara Jobstmann, et al. · Journal of Computer and System Sciences
Program Repair as a Game
2005 · Barbara Jobstmann, Andreas Griesmayer, et al. · Lecture notes in computer science
Better Quality in Synthesis through Quantitative Objectives
2009 · Roderick Bloem, Krishnendu Chatterjee, et al. · Lecture notes in computer science