Christel Baier
发表
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2002,
Proceedings International Conference on Dependable Systems and Networks.
Christel Baier,
Steffen Märcker,
Joachim Klein,
2017,
SEFM.
Christel Baier,
Frank Ciesinski,
Marcus Größer,
2004,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
Christel Baier,
C. Baier,
2005,
J. Univers. Comput. Sci..
Parosh Aziz Abdulla,
Christel Baier,
Bengt Jonsson,
2005,
Inf. Comput..
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2003,
CONCUR.
Christel Baier,
Sascha Klüppelholz,
2008,
COORDINATION.
Christel Baier,
Ugo Montanari,
Mohammad Reza Mousavi,
2017
.
Christel Baier,
Frank Ciesinski,
Marcus Groesser,
2005,
FMICS '05.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2014,
NASA Formal Methods.
Christel Baier,
Sascha Klüppelholz,
Holger Hermanns,
2020,
ISoLA.
Christel Baier,
Cesare Tinelli,
C. Tinelli,
2017,
International Journal on Software Tools for Technology Transfer.
Christel Baier,
Klaus Janschek,
Andrey Morozov,
2020,
MARS@ETAPS.
Christel Baier,
Farhad Arbab,
Frank S. de Boer,
2007,
Software & Systems Modeling.
Christel Baier,
Tiziana Margaria,
Bernhard Steffen,
2017,
SOFSEM.
Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
2001
.
Christel Baier,
Joost-Pieter Katoen,
C. Baier,
2008
.
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1994,
Acta Informatica.
Christel Baier,
Matthias Kuntz,
Boudewijn R. Haverkort,
2007,
IEEE Transactions on Software Engineering.
Christel Baier,
Mila Majster-Cederbaum,
1992
.
Christel Baier,
Michael Huth,
Marta Kwiatkowska,
1999
.
Christel Baier,
Holger Hermanns,
C. Baier,
1997,
FBT.
Christel Baier,
Nathalie Bertrand,
Philippe Schnoebelen,
2006,
LPAR.
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
1998,
Distributed Computing.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
1999,
CONCUR.
Christel Baier,
Joachim Klein,
2006,
Theor. Comput. Sci..
Christel Baier,
Joachim Klein,
C. Baier,
2005,
Theor. Comput. Sci..
Christel Baier,
Alessandro Aldini,
C. Baier,
2008,
Electron. Notes Theor. Comput. Sci..
Christel Baier,
Florian Funke,
Simon Jantsch,
2020,
TACAS.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2005,
TACAS.
Christel Baier,
Sascha Klüppelholz,
Sascha Wunderlich,
2017,
Models, Algorithms, Logics and Tools.
Christel Baier,
Matthias Kuntz,
Boudewijn R. Haverkort,
2004,
International Conference on Dependable Systems and Networks, 2004.
Christel Baier,
Joachim Klein,
David Müller,
2019,
Formal Methods in System Design.
Christel Baier,
Clemens Dubslaff,
Akash Kumar,
2019,
EPEW.
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
1997,
Fundam. Informaticae.
Christel Baier,
Jakob Piribauer,
C. Baier,
2019,
FoSSaCS.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2017,
TACAS.
Christel Baier,
Holger Hermanns,
Pedro R. D’Argenio,
2020,
Acta Informatica.
Christel Baier,
Steffen Märcker,
Joachim Klein,
2014,
TACAS.
Christel Baier,
Clemens Dubslaff,
Sascha Klüppelholz,
2020,
SPLC.
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
Christel Baier,
Bettina Engelen,
C. Baier,
1999,
ARTS.
Christel Baier,
Farhad Arbab,
Marjan Sirjani,
2005
.
Christel Baier,
Alexander Asteroth,
Alexander Asteroth,
2002
.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2009,
COORDINATION.
Christel Baier,
Florian Funke,
Simon Jantsch,
2020,
ATVA.
Christel Baier,
Nathalie Bertrand,
Marcus Größer,
2009,
DCFS.
Christel Baier,
Frank Ciesinski,
Marcus Größer,
2006,
FSTTCS.
Christel Baier,
Jakob Piribauer,
C. Baier,
2020,
ICALP.
Christel Baier,
Amaury Pouly,
Markus A. Whiteland,
2020,
FSTTCS.
Gerhard Fettweis,
Christel Baier,
Wolfgang Lehner,
2018,
IEEE Transactions on Multi-Scale Computing Systems.
Christel Baier,
Alexander Asteroth,
Ulrich Aßmann,
2001,
CAV.
Christel Baier,
Farhad Arbab,
F. Arbab,
2007,
SYANCO.
Christel Baier,
Holger Hermanns,
C. Baier,
2006
.
Christel Baier,
Benedikt Bollig,
Frank Ciesinski,
2004,
IFIP TCS.
Christel Baier,
Verena Wolf,
C. Baier,
2006,
COORDINATION.
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
2000,
Mathematical Structures in Computer Science.
Christel Baier,
Farhad Arbab,
2007,
FSE 2007.
Christel Baier,
Joachim Klein,
2006
.
Christel Baier,
Sascha Klüppelholz,
Linda Herrmann,
2018,
EPEW.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2002,
Performance.
Christel Baier,
Joachim Klein,
C. Baier,
2007,
CIAA.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2011,
SFM.
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1997,
Formal Aspects of Computing.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2005,
PERV.
Christel Baier,
Diego Latella,
Joost-Pieter Katoen,
2001,
Theor. Comput. Sci..
Christel Baier,
Joachim Klein,
Alexandre Duret-Lutz,
2019,
ATVA.
Christel Baier,
Verena Wolf,
Mila E. Majster-Cederbaum,
2006,
QAPL.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2005,
Theor. Comput. Sci..
Christel Baier,
Cesare Tinelli,
C. Tinelli,
2015,
Lecture Notes in Computer Science.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2011,
CONCUR.
Christel Baier,
2016,
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).
Christel Baier,
Farhad Arbab,
Frank S. de Boer,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Christel Baier,
Alessandra Di Pierro,
2009,
Electron. Notes Theor. Comput. Sci..
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2004,
Inf. Process. Lett..
Christel Baier,
Kim G. Larsen,
Paul Gastin,
2010,
Quantitative Models: Expressiveness and Analysis.
Christel Baier,
Holger Hermanns,
Joost P. Katoen,
1999
.
Christel Baier,
Farhad Arbab,
Frank S. de Boer,
2005,
COORDINATION.
Christel Baier,
Frank Ciesinski,
Marcus Größer,
2008,
SPIN.
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
1998,
Inf. Process. Lett..
Christel Baier,
Lars-Åke Fredlund,
Álvaro Fernández Díaz,
2012,
2012 Ninth International Conference on Quantitative Evaluation of Systems.
Christel Baier,
Marcus Größer,
Mathieu Tracol,
2009,
FSTTCS.
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1991,
FCT.
Christel Baier,
Marcus Größer,
C. Baier,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Christel Baier,
Clemens Dubslaff,
C. Baier,
2015,
FORMATS.
Christel Baier,
Clemens Dubslaff,
C. Baier,
2018,
SIGL.
Christel Baier,
Cesare Tinelli,
C. Tinelli,
2015
.
Christel Baier,
Florian Funke,
Simon Jantsch,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Christel Baier,
Farhad Arbab,
2007,
ESEC-FSE '07.
Christel Baier,
Hendrik Tews,
Steffen Märcker,
2015,
J. Comput. Syst. Sci..
Christel Baier,
Frank Ciesinski,
Marcus Größer,
2005,
PERV.
Christel Baier,
Joachim Klein,
David Parker,
2017,
CAV.
Christel Baier,
Frank Ciesinski,
Marcus Größer,
2009,
ATVA.
Christel Baier,
Mark Ryan,
Marta Z. Kwiatkowska,
1998,
PROBMIV.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2010,
Formal Methods Syst. Des..
Christel Baier,
C. Baier,
2010,
IFM.
Christel Baier,
Wang Yi,
Bernhard K. Aichernig,
2010,
TTSS.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2005,
Inf. Comput..
Christel Baier,
Steffen Märcker,
Joachim Klein,
2016,
TACAS.
Christel Baier,
Holger Hermanns,
C. Baier,
2006,
CONCUR.
Christel Baier,
Cesare Tinelli,
C. Tinelli,
2017,
Acta Informatica.
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
1997,
Fundamenta Informaticae.
Christel Baier,
Hendrik Tews,
Steffen Märcker,
2012,
FMICS.
Christel Baier,
C. Baier,
1997,
Theor. Comput. Sci..
Christel Baier,
Farhad Arbab,
Sun Meng,
2009,
FOCLASA@ICALP.
Christel Baier,
Luís Caires,
Luís Caires,
2018,
Lecture Notes in Computer Science.
Christel Baier,
Jörn Ossowski,
C. Baier,
2008,
International Journal on Software Tools for Technology Transfer.
Christel Baier,
Farhad Arbab,
Mohammad Mahdi Jaghoori,
2006,
COORDINATION.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2016,
Theory and Practice of Formal Methods.
Christel Baier,
Nathalie Bertrand,
Philippe Schnoebelen,
2006,
Inf. Process. Lett..
Christel Baier,
Nathalie Bertrand,
Ocan Sankur,
2018,
LICS.
Christel Baier,
Steffen Märcker,
Joachim Klein,
2014,
FASE.
Christel Baier,
2015,
RP.
Christel Baier,
Mila E. Majster-Cederbaum,
Bettina Engelen,
2000,
J. Comput. Syst. Sci..
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2014,
Horizons of the Mind.
Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
2003
.
Christel Baier,
Marta Z. Kwiatkowska,
Gethin Norman,
1998,
PROBMIV.
Christel Baier,
Sascha Klüppelholz,
Jens Trommer,
2020,
IEEE Access.
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1994,
Theor. Comput. Sci..
Christel Baier,
Mila E. Majster-Cederbaum,
1995,
STRICT.
Christel Baier,
Hendrik Tews,
Steffen Märcker,
2012,
SSV.
Christel Baier,
Farhad Arbab,
Jan J. M. M. Rutten,
2004,
Sci. Comput. Program..
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1996,
Theor. Comput. Sci..
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2010,
Commun. ACM.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2019,
Computing and Software Science.
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1997,
Fundam. Informaticae.
Christel Baier,
Farhad Arbab,
Sun Meng,
2011,
Sci. Comput. Program..
Christel Baier,
Steffen Märcker,
Joachim Klein,
2018,
International Journal on Software Tools for Technology Transfer.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2015,
Acta Informatica.
Christel Baier,
Sascha Klüppelholz,
Hermann Härtig,
2017,
HotOS.
Christel Baier,
Sascha Klüppelholz,
Clemens Dubslaff,
2015,
LNCS Trans. Aspect Oriented Softw. Dev..
Christel Baier,
Johann Eder,
Mike Hinchey,
2017
.
Christel Baier,
Sascha Klüppelholz,
Hermann Härtig,
2019,
International Journal on Software Tools for Technology Transfer.
Christel Baier,
Bernhard K. Aichernig,
Frank S. de Boer,
2009,
FMCO.
Christel Baier,
Edmund M. Clarke,
Vasiliki Hartonas-Garmhausen,
1998,
PROBMIV.
Christel Baier,
J. Gruska,
J. Albert,
2006
.
Christel Baier,
Mariëlle Stoelinga,
C. Baier,
2000,
FoSSaCS.
Christel Baier,
Joachim Klein,
Frank Ciesinski,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2003
.
Christel Baier,
Ugo Dal Lago,
C. Baier,
2018,
Lecture Notes in Computer Science.
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1997,
Acta Informatica.
Christel Baier,
C. Baier,
2016,
Dependable Software Systems Engineering.
Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
2004
.
Christel Baier,
Wolfgang Lenders,
C. Baier,
2005,
FOGA.
Christel Baier,
Mark Ryan,
Edmund M. Clarke,
1997,
ICALP.
Christel Baier,
Sascha Klüppelholz,
Clemens Dubslaff,
2014,
Petri Nets.
Christel Baier,
Klaus Janschek,
Kai Ding,
2019,
Proceedings of the 29th European Safety and Reliability Conference (ESREL).
Christel Baier,
Vojtech Rehák,
Antonín Kucera,
2017,
QEST.
Christel Baier,
Bronis R. de Supinski,
Matthias S. Müller,
2013,
2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC).
Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
2007,
FSTTCS.
Christel Baier,
Sascha Klüppelholz,
Clemens Dubslaff,
2013,
MODULARITY.
Christel Baier,
Clemens Dubslaff,
Manuela Berg,
2012,
Inf. Process. Lett..
Christel Baier,
Sascha Klüppelholz,
C. Baier,
2007,
FOCLASA.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2018,
It's All About Coordination.
Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
2014,
Log. Methods Comput. Sci..
Christel Baier,
Kim G. Larsen,
Paul Gastin,
2010,
Quantitative Models: Expressiveness and Analysis.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2002,
CONCUR.
Christel Baier,
Steffen Märcker,
Steffen Lange,
2017,
PLoS Comput. Biol..
Christel Baier,
Joost-Pieter Katoen,
C. Baier,
2008
.
Christel Baier,
Ehsan Khamespanah,
Ali Movaghar,
2020,
IEEE Transactions on Software Engineering.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2008,
Logic and Automata.
Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
2008
.
Christel Baier,
Clemens Dubslaff,
Jana Schubert,
2015,
MFCS.
Christel Baier,
James Worrell,
Joachim Klein,
2016,
CAV.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2000,
ICALP.
Christel Baier,
Ed Brinksma,
Kim Guldstrand Larsen,
1999
.
Christel Baier,
Daniel Gburek,
C. Baier,
2018,
HSCC.
Christel Baier,
Clemens Dubslaff,
Vojtěch Řehák,
2017,
ATVA.
Christel Baier,
Farhad Arbab,
Jan J. M. M. Rutten,
2004,
Electron. Notes Theor. Comput. Sci..
Christel Baier,
Nathalie Bertrand,
Marcus Größer,
2009,
CONCUR.
Christel Baier,
Ioannis Chatzigiannakis,
Paola Flocchini,
2019,
ICALP.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2014,
Fundam. Informaticae.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2004,
Lecture Notes in Computer Science.
Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
2009,
ICALP.
Christel Baier,
Tomás Brázdil,
Marcus Größer,
2007,
QEST.
Christel Baier,
Frank Ciesinski,
C. Baier,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Christel Baier,
Sascha Klüppelholz,
C. Baier,
2008,
Sci. Comput. Program..
Christel Baier,
Nathalie Bertrand,
Philippe Schnoebelen,
2005,
TOCL.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2002,
IEEE Trans. Software Eng..
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2014,
CSL-LICS.
Christel Baier,
Marta Z. Kwiatkowska,
1997,
PODC '97.
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1996,
Inf. Process. Lett..
Christel Baier,
Lucia Cloth,
Holger Hermanns,
2003
.
Christel Baier,
Marcus Größer,
Pedro R. D'Argenio,
2006,
QAPL.
Christel Baier,
Diego Latella,
Joost-Pieter Katoen,
1998,
ICALP.
Christel Baier,
Nathalie Bertrand,
Marcus Größer,
2009,
SOFSEM.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2013,
Mathematical Structures in Computer Science.
Christel Baier,
Sascha Klüppelholz,
2009,
Sci. Comput. Program..
Christel Baier,
Joachim Klein,
Lisa Hutschenreiter,
2017,
GandALF.
Christel Baier,
Markus Siegle,
Kai Lampka,
2010,
Formal Methods Syst. Des..
Christel Baier,
Holger Hermanns,
C. Baier,
2006
.
Christel Baier,
Holger Hermanns,
C. Baier,
2008,
Inf. Comput..
Christel Baier,
Sascha Klüppelholz,
Clemens Dubslaff,
2017,
Formal Aspects of Computing.
Christel Baier,
Nathalie Bertrand,
Marcus Größer,
2008,
FoSSaCS.
Christel Baier,
Hendrik Tews,
Steffen Märcker,
2013,
NASA Formal Methods.
Christel Baier,
Tomás Brázdil,
Marcus Größer,
2007,
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Christel Baier,
Andries Stam,
Joachim Klein,
2011,
FMICS.
Christel Baier,
C. Baier,
1996,
CAV.
Christel Baier,
Steffen Märcker,
Steffen Lange,
2017
.
Christel Baier,
Frank Ellinger,
Wolfgang Lehner,
2019,
Proceedings of the IEEE.
Christel Baier,
Tobias Blechmann,
C. Baier,
2008,
FACS.
Parosh Aziz Abdulla,
Christel Baier,
Bengt Jonsson,
2000,
CONCUR.
Christel Baier,
Frank Ciesinski,
Marcus Größer,
2009
.
Christel Baier,
Sascha Klüppelholz,
Daniel Gburek,
2016,
ICALP.
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2009,
FMCO.
Christel Baier,
Ocan Sankur,
Nathalie Bertrand,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Christel Baier,
Clemens Dubslaff,
C. Baier,
2017,
ModelEd, TestEd, TrustEd.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2006,
APC 25.
Christel Baier,
Sascha Klüppelholz,
Clemens Dubslaff,
2014,
CSL-LICS.
Christel Baier,
Michael Ummels,
C. Baier,
2013,
FoSSaCS.
Christel Baier,
Frank Ciesinski,
Marcus Größer,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Christel Baier,
C. Baier,
2013,
CAI.
Christel Baier,
Edmund M. Clarke,
Paolo Zuliani,
2012,
HSCC '12.
Christel Baier,
Sascha Klüppelholz,
Clemens Dubslaff,
2016,
FASE.
Christel Baier,
Joost-Pieter Katoen,
Boudewijn R. Haverkort,
2000,
CAV.
Christel Baier,
Hermann de Meer,
Sascha Klüppelholz,
2016,
ATVA.
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1996,
AMAST.
Christel Baier,
Marcus Größer,
C. Baier,
2005,
FMCO.
Christel Baier,
Wolfgang Leister,
Joachim Klein,
2010,
ISoLA.
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
2013,
Formal methods in system design.
Christel Baier,
Edmund M. Clarke,
E. Clarke,
1998
.
Gerhard Fettweis,
Christel Baier,
Wolfgang Lehner,
2016
.
Christel Baier,
Jörn Ossowski,
C. Baier,
2006,
Calculemus.
Christel Baier,
Giuseppe F. Italiano,
Josep Díaz,
2019,
Bull. EATCS.
Christel Baier,
Luca de Alfaro,
Marta Z. Kwiatkowska,
2018,
Handbook of Model Checking.
Christel Baier,
Nathalie Bertrand,
Marcus Größer,
2012,
JACM.
Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
2008
.
Christel Baier,
Verena Wolf,
Mila E. Majster-Cederbaum,
2006,
QAPL.
Christel Baier,
Clemens Dubslaff,
Vojtěch Řehák,
2019,
ACM Trans. Model. Comput. Simul..
Christel Baier,
Joachim Klein,
Sascha Klüppelholz,
2014,
LATA.
Christel Baier,
Sebastian Junges,
Joost-Pieter Katoen,
2020,
Inf. Comput..
Christel Baier,
Klaus Janschek,
Andrey Morozov,
2020,
Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference.
Christel Baier,
Rupak Majumdar,
Clemens Dubslaff,
2021,
ICALP.
Christel Baier,
Rupak Majumdar,
Florian Funke,
2021,
AAAI.
Christel Baier,
Martin Diller,
Holger Hermanns,
2021,
KR.
Christel Baier,
Simon Jantsch,
Jakob Piribauer,
2021,
Electronic Proceedings in Theoretical Computer Science.
Christel Baier,
Sascha Klüppelholz,
Simon Jantsch,
2021,
ATVA.
Christel Baier,
Sven Apel,
Clemens Dubslaff,
2022,
ArXiv.
Christel Baier,
Rupak Majumdar,
Clemens Dubslaff,
2021,
ICALP.
Christel Baier,
Florian Funke,
Simon Jantsch,
2021,
Innovations in Systems and Software Engineering.
Christel Baier,
Rupak Majumdar,
Florian Funke,
2021,
IJCAI.
Christel Baier,
Nathalie Bertrand,
Ocan Sankur,
2021,
CONCUR.
Christel Baier,
Bernd Finkbeiner,
Florian Funke,
2021,
CAV.
Christel Baier,
Stefan J. Kiebel,
Clemens Dubslaff,
2021
.
Christel Baier,
James Worrell,
Markus A. Whiteland,
2021,
CONCUR.
Christel Baier,
Uwe Aßmann,
Stefan Köpsell,
2021
.
Christel Baier,
Florian Funke,
Jakob Piribauer,
2022,
FoSSaCS.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2022
.
Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
2003
.
Christel Baier,
Clemens Dubslaff,
C. Baier,
2014
.
Christel Baier,
Marta Kwiatkowska,
Gethin Norman,
1999
.
Christel Baier,
Mila Majster-Cederbaum,
1995
.
Christel Baier,
Joachim Klein,
C. Baier,
2007
.
Christel Baier,
Joachim Klein,
C. Baier,
2005
.
Christel Baier,
Mila Majster-Cederbaum,
1996
.
Christel Baier,
James Worrell,
Joachim Klein,
2016
.