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.
editor
Wikipage disambiguates
Link from a Wikipage to another Wikipage
editor
primaryTopic
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.
has abstract
Christel Baier (born 26 Septem ...... -in-chief of Acta Informatica.
@en
Wikipage page ID
65,497,934
page length (characters) of wiki page
Wikipage revision ID
982,116,556
Link from a Wikipage to another Wikipage
cs1-dates
ly
@en
date
October 2020
@en
wikiPageUsesTemplate
subject
type
comment
Christel Baier (born 26 Septem ...... -in-chief of Acta Informatica.
@en
label
Christel Baier
@en