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
Configurable-by-construction runtime monitoring
Dubslaff, C. & Köhl, M. A., 1 Oct 2022, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, 1 p. (Lecture Notes in Computer Science).Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed
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
ACM SIGLOG News
ISSNs: 2372-3491
Association for Computing Machinery (ACM), New York, United States
Journal
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
Logical methods in computer science : LMCS
ISSNs: 1860-5974
Additional searchable ISSN (Electronic): 1860-5974
Department of Theoretical Computer Science, Technical University of Braunschweig, Germany
Scopus rating (2021): CiteScore 2 SJR 0.696 SNIP 1.024
Indexed in DOAJ
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
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, Tobias (Laureat), Klüppelholz, Sascha (Laureat) & Jantsch, Simon (Laureat), Oct 2021
Prize: Publication prize
ACM SIGBED HCSS 2018 Best Paper Award
Gburek (geb. Krähmann), Daniel (Laureat) & Baier, Christel (Laureat), 2018
Prize: Publication prize
ETAPS Best Theory Paper Award 2014
Baier, Christel (Laureat), Klüppelholz, Sascha (Laureat), Klein, Joachim (Laureat) & Märcker, Steffen (Laureat), Apr 2014
Prize: Publication prize
EATCS Award for Best ETAPS Paper 2008
Baier, Christel (Laureat), Bertrand, Nathalie (Laureat) & Größer, Marcus (Laureat), 17 Jul 2008
Prize: Publication prize