Author Search Results

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

1

Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination

by Lisa Hutschenreiter, Christel Baier, Joachim Klein
Published 2017-09-01

Get full text

Article
2

Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability

by Christel Baier, Nathalie Bertrand, Marcus Größer
Published 2009-07-01

Get full text

Article
3

Decision making improves sperm chemotaxis in the presence of noise.

by Justus A Kromer, Steffen Märcker, Steffen Lange, Christel Baier, Benjamin M Friedrich
Published 2018-04-01

Get full text

Article
4

Quantitative Characterization of Reconfigurable Transistor Logic Gates

by Michael Raitza, Steffen Marcker, Jens Trommer, Andre Heinzig, Sascha Kluppelholz, Christel Baier, Akash Kumar
Published 2020-01-01

Get full text

Article
5

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

by Marcus Völp, Steffen Märcker, Hendrik Tews, Hermann Härtig, Sascha Klüppelholz, Benjamin Engel, Marcus Daum, Christel Baier, Joachim Klein
Published 2012-11-01

Get full text

Article

Cannot write session to /tmp/vufind_sessions/sess_i9j1fjnp76bm11lvl91qloq4jl