Skip to content Skip to footer

Research Portal of the TU Dresden

Chair of Algebraic and Logical Foundations of Computer Science

Organisational unit: Chair

Contact

Type of address: Visiting Adress.

Nöthnitzer Straße 46

Andreas-Pfitzmann-Bau

01187

Dresden

Germany

Type of address: Postal address.

01162

Dresden

Germany

Phone: 0351 463 38549

Email: christel.baier@tu-dresden.de
Email: secretary_alg@mailbox.tu-dresden.de

Parent units

Institute of Theoretical Computer Science

Keywords

DFG Classification of Subject Areas according to Review Boards

Theoretical Computer Science

Subject groups, research areas, subject areas according to Destatis

Theoretical Computer Science

Research Focus

Related content and researchers (public profile)

Researchers (public profile)
Research output
Journals
Activities
Prizes

Baier, Christel

christel.baier@tu-dresden.de

Chair of Algebraic and Logical Foundations of Computer Science - Academic Staff
Faculty of Computer Sciences - Academic Staff

Person: Current

View all researchers with public profile (1)

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

Wienhöft, P., Dubslaff, C., Baier, C. & Kiebel, S., 3 Jun 2023, NASA Formal Methods - 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Vol. 13903. p. 86-103 18 p.

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

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 Sept 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

View all research output (138)

Electronic notes in theoretical computer science : ENTCS

ISSNs: 1571-0661

Additional searchable ISSN (Electronic): 1571-0661

Elsevier, Netherlands

Scopus rating (2021): CiteScore 2 SJR 0.357 SNIP 0.846

Journal

Science of computer programming : methods of software design: techniques and applications

ISSNs: 0167-6423

Additional searchable ISSN (Electronic): 0167-6423

Elsevier Science, Netherlands

Scopus rating (2022): CiteScore 3.5 SJR 0.517 SNIP 1.123

Journal

ACM SIGLOG News

ISSNs: 2372-3491

Association for Computing Machinery (ACM), New York, United States

Journal

Communications of the ACM : CACM ; a publ. of the Association for Computing Machinery / ed.-in-chief M. Stuart Lynn

ISSNs: 0001-0782

Additional searchable ISSN (Electronic): 1557-7317

Association for Computing Machinery (ACM), New York

Scopus rating (2022): CiteScore 9.8 SJR 1.514 SNIP 3.392

Journal

Fundamenta Informaticae

ISSNs: 0169-2968

Additional searchable ISSN (Electronic): 1875-8681

IOS Press, Amsterdam [u. a.], Netherlands

Scopus rating (2022): CiteScore 3.2 SJR 0.338 SNIP 0.688

Journal

View all journals (23)

From classical to non-classical stochastic shortest path problems

Baier, C. (Speaker)

18 Jul 2023

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

Probability-raising Causality in Markov Decision Processes

Baier, C. (Speaker)

18 Jul 2023

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

Probabilistic Causality in Markovian Models

Baier, C. (Speaker)

11 Nov 2022

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

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

From Verification to Causality-Based Explications

Baier, C. (Speaker)

14 Jun 2022

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

View all activities (140)

Jean-Claude Laprie Award in Dependable Computing

Baier, Christel (Recipient), 2023

Prize: Research prize

Honorary Doctorate by RWTH Aachen

Baier, Christel (Recipient), 9 Sept 2022

Prize: Honors › Honorary doctorate

Test-of-Time Award CONCUR

Baier, Christel (Recipient), 2022

Prize: Research prize

Best paper award ATVA 2021

Baier, Christel (Laureat), John, Tobias (Laureat), Klüppelholz, Sascha (Laureat) & Jantsch, Simon (Laureat), Oct 2021

Prize: Publication/Conference prize

ACM SIGBED HCSS 2018 Best Paper Award

Gburek (geb. Krähmann), Daniel (Laureat) & Baier, Christel (Laureat), 2018

Prize: Publication/Conference prize

View all prizes (7)