Prof. Dr. rer. nat. Christel Baier
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Full Professor
- christel.baier@tu-dresden.de
Faculty of Computer Sciences
- Vice dean

Identification Numbers

ORCID	0000-0002-5321-9343
Scopus author ID	57204676780

Operational causality – Necessarily sufficient and sufficiently necessary

Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 7 Sep 2022, A Journey from Process Algebra via Timed Automata to Model Learning – Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, Vol. 13560. p. 27–45 19 p. (Lecture Notes in Computer Science).

Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed

Causality in configurable software systems

Dubslaff, C., Weis, K., Baier, C. & Apel, S., 5 Jul 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. Association for Computing Machinery (ACM), New York, p. 325-337 13 p.

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

The variance-penalized stochastic shortest path problem

Piribauer, J., Sankur, O. & Baier, C., 1 Jul 2022, 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022: ICALP 2022, July 4–8, 2022, Paris, France. Bojańczyk, M., Merelli, E. & Woodruff, D. P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 129:1–129:19 19 p. 129. (49th EATCS International Conference on Automata, Languages, and Programming (ICALP 2022) ; Vol. 229, Vol. 229).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Admissibility in Probabilistic Argumentation

Käfer, N., Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A. & Hermanns, H., 26 Jun 2022, In: Journal of Artificial Intelligence Research. 74, p. 957-1009 53 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

Probabilistic causes in Markov Chains

Ziemek, R., Piribauer, J., Funke, F., Jantsch, S. & Baier, C., 25 Apr 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 347-367 21 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

View all research output (115)