MPG.eBooks - Author Search Results

Christel Baier

Christel Baier (born 26 September 1965) is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science. Baier is the editor-in-chief of ''Acta Informatica''. Provided by Wikipedia

Cover Image

1

Validation of Stochastic Systems : A Guide to Current Research

by Baier, Christel
Published 2004

Springer Berlin Heidelberg

Cover Image

2

CONCUR 2006 - Concurrency Theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Baier, Christel...”

Cover Image

3

Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2015

Springer Berlin Heidelberg

Other Authors: “...Baier, Christel...”

Cover Image

4

Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Confere...

Published 2018

Springer International Publishing

Other Authors: “...Baier, Christel...”

Cover Image

5

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of S...

Published 2018

Springer International Publishing

Other Authors: “...Baier, Christel...”

Cover Image

6

SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20,...

Published 2017

Springer International Publishing

Other Authors: “...Baier, Christel...”

Cover Image

7

Validation of Stochastic Systems : A Guide to Current Research

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Baier, Christel...”