Chair of Algebraic and Logical Foundations of Computer Science
Organisational unit: Chair
Contact
Visiting Adress:
Nöthnitzer Straße 46
Andreas-Pfitzmann-Bau
01187
Dresden
Germany
Postal address:
01162
Dresden
Germany
- Phone: 0351 463 38549
Related content and researchers
- Researchers
- Research output
- Journals
- Activities
- Prizes
Baier, Christel
- Chair of Algebraic and Logical Foundations of Computer Science - Academic Staff
- Faculty of Computer Sciences - Academic Staff
Person: Current
Causality in configurable software systems
Dubslaff, C., Weis, K., Baier, C. & Apel, S., 5 Jul 2022, ICSE '22: Proceedings of the 44th International Conference on Software Engineering. 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. (Leibniz international proceedings in informatics : LIPIcs, 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. 2022, 21 p.Research output: Contribution to journal › Research article › Contributed › peer-review
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
John, T., Jantsch, S., Baier, C. & Klüppelholz, S., 9 Apr 2022, In: Innovations in Systems and Software Engineering. 18, p. 385–403Research output: Contribution to journal › Research article › Contributed › peer-review
Fundamenta Informaticae
ISSNs: 0169-2968
Additional searchable ISSN (Electronic): 1875-8681
IOS Press, Amsterdam [u. a.], Netherlands
Scopus rating (2021): CiteScore 3.1 SJR 0.385 SNIP 0.767
Journal
Innovations in Systems and Software Engineering
ISSNs: 1614-5054, 1614-5046
Springer London
Scopus rating (2021): CiteScore 2.1 SJR 0.38 SNIP 0.918
Journal
Formal Methods in System Design
ISSNs: 0925-9856
Additional searchable ISSN (Electronic): 1572-8102
Springer Fachmedien
Scopus rating (2021): CiteScore 2.8 SJR 0.502 SNIP 1.274
Journal
Information processing letters : devoted to the rapid publication of short contributions to information processing
ISSNs: 0020-0190
Additional searchable ISSN (Electronic): 1872-6119
Elsevier, Amsterdam, Netherlands
Scopus rating (2021): CiteScore 2.6 SJR 0.521 SNIP 0.804
Journal
Information and Computation
ISSNs: 0890-5401, 0019-9958
Additional searchable ISSN (Electronic): 1090-2651
Elsevier, New York [u. a.]
Scopus rating (2021): CiteScore 2.2 SJR 0.543 SNIP 1.063
Journal
Thirty-Seventh Annual ACM/IEEE Symposium onLogic in Computer Science (LICS) (Event)
Baier, C. (Editor), Fisman, D. (Editor)2 Aug 2022 → 5 Aug 2022
Activity: Publication peer-review and editorial work › Editorial work
Feature Causes of Quantitative Effect Properties
Dubslaff, C. (Speaker)3 Apr 2022
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Iterative Variable Reordering: Taming Huge System Families
Dubslaff, C. (Speaker)2 Apr 2022
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
System Configurations Matter – An Experience Report on Reproducibility
Dubslaff, C. (Speaker)2 Apr 2022
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Feature Causality with Uncertain Effects
Dubslaff, C. (Speaker)31 Mar 2022
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Honorary Doctorate by RWTH Aachen
Baier, Christel (Recipient), 9 Sep 2022
Prize: Honors › Honorary doctorate
Best paper award ATVA 2021
Baier, Christel (Laureat), John, T. (Laureat), Klüppelholz, S. (Laureat) & Jantsch, S. (Laureat), Oct 2021
Prize: Publication prize
ACM SIGBED HCSS 2018 Best Paper Award
Gburek (geb. Krähmann), D. (Laureat) & Baier, Christel (Laureat), 2018
Prize: Publication prize
ETAPS Best Theory Paper Award 2014
Baier, Christel (Laureat), Klüppelholz, S. (Laureat), Klein, J. (Laureat) & Märcker, S. (Laureat), Apr 2014
Prize: Publication prize
EATCS Award for Best ETAPS Paper 2008
Baier, Christel (Laureat), Bertrand, N. (Laureat) & Größer, M. (Laureat), 17 Jul 2008
Prize: Publication prize