AboutSign inJoin

Christel Baier

About

Christel Baier 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.

Books

Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Cesare Tinelli, Christel Baier
SOFSEM 2017: Theory and Practice of Computer Science
SOFSEM 2017: Theory and Practice of Computer Science
Tiziana Margaria, Johann Eder, Bernhard Steffen, Christel Baier, Mike Hinchey, Mark van den Brand
Principles of Model Checking
Principles of Model Checking
Christel Baier, Joost-Pieter Katoen
CONCUR 2006 - Concurrency Theory
CONCUR 2006 - Concurrency Theory
Christel Baier, Holger Hermanns
Principles of Model Checking
Principles of Model Checking
Christel Baier, Joost-Pieter Katoen
Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago
Principles of Model Checking
Principles of Model Checking
Christel Baier, Joost-Pieter Katoen

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian