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
Showing 1 - 6 results of 6 for search 'Baier, Christel', query time: 0.04s Refine Results
  1. 1
    Computing Quantiles in Markov Reward Models
    by Ummels, Michael, Baier, Christel
    Published 2014
    Get full text
    Get full text
    Get full text
    Others
  2. 2
    Static Partial Order Reduction for Probabilistic Concurrent Systems
    Get full text
    Get full text
    Get full text
    Others
  3. 3
    A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
    Get full text
    Get full text
    Get full text
    Others
  4. 4
    Waiting for Locks: How Long Does It Usually Take?
    Get full text
    Get full text
    Get full text
    Others
  5. 5
    Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
    Get full text
    Get full text
    Get full text
    Others
  6. 6
    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 Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
    Published 2018
    Other Authors: “...Baier, Christel...”
    Get fulltext
    eBook
Search Tools: Get RSS Feed — Email this Search