Christel Baier

Baier in 2004 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
Showing 1 - 5 results of 5 for search 'Baier, Christel', query time: 0.02s Refine Results
  1. 1
    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 Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings /
    Published 2018
    Other Authors: “…Baier, Christel…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    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 of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Published 2015
    Other Authors: “…Baier, Christel…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings /
    Published 2006
    Other Authors: “…Baier, Christel…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Validation of Stochastic Systems A Guide to Current Research /
    Published 2004
    Other Authors: “…Baier, Christel…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    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, 2017, Proceedings /
    Published 2017
    Other Authors: “…Baier, Christel…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search