Search Results - Baier, Christel

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 – 14 results of 14
Filter by
  1. 1
    Cover Image

    Principles of model checking
    by Baier, Christel, Katoen, Joost-Pieter 1964-

    Published 2008
    Read online
    Electronic eBook


    Saved in:
  2. 2
    Cover Image

    Theoretische Informatik: eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
    by Asteroth, Alexander 1968-, Baier, Christel

    Published 2003
    Table of Contents
    Book


    Saved in:
  3. 3
    Cover Image

    Theoretische Informatik: eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
    by Asteroth, Alexander 1968-, Baier, Christel

    Published 2003
    Read online
    Electronic eBook


    Saved in:
  4. 4
    Cover Image

    Theoretische Informatik: eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
    by Asteroth, Alexander 1968-, Baier, Christel

    Published 2002
    Book


    Saved in:
  5. 5
    Cover Image

    Principles of model checking
    by Baier, Christel, Katoen, Joost-Pieter 1964-

    Published 2008
    Table of Contents
    Book


    Saved in:
  6. 6
    Cover Image

    Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
    by Baier, Christel

    Published 2022
    Order via interlibrary loan
    Electronic eBook


    Saved in:
  7. 7
    Cover Image

    Theoretische Informatik: Einführung in Berechenbarkeit, Komplexität und formale Sprachen
    by Baier, Christel

    Published 2002
    Read online (HM)

    Available at the library of Hochschule Munich University of Applied Sciences (HM).

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  8. 8
    Cover Image

    Principles of model checking
    by Baier, Christel, Katoen, Joost-Pieter 1964-

    Published 2008
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    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…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  10. 10
    Cover Image

    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…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  11. 11
    Cover Image

    29th EACSL Annual Conference on Computer Science Logic: CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)

    Published 2021
    Other Authors: “…Baier, Christel…”
    Electronic Conference Proceedings eBook


    Saved in:
  12. 12
    Cover Image

    46th International Colloquium on Automata, Languages, and Programming: ICALP 2019, July 9–12, 2019, Patras, Greece

    Published 2019
    Other Authors: “…Baier, Christel…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  13. 13
    Cover Image

    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…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  14. 14
    Cover Image

    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…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:

Search Tools: