Skip to content Skip to footer

Research Portal of the TU Dresden

Chair of Algebraic and Logical Foundations of Computer Science

Organisational unit: Chair

Organisation profile

Chair Holder: Prof. Dr. rer. nat. Christel Baier

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

TUD website: https://tu-dresden.de/ing/informatik/thi/alg

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)

Aghamov, Rajab

rajab.aghamov@tu-dresden.de

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

Person

Baier, Christel

christel.baier@tu-dresden.de

Chair of Algebraic and Logical Foundations of Computer Science - Academic Staff
Faculty of Computer Sciences - Special
Clusters of Excellence CeTI: Centre for Tactile Internet - Member

Person

Chau, Calvin

calvin.chau@tu-dresden.de

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

Person

Käfer, Nikolai

nikolai.kaefer@tu-dresden.de

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

Person

Klüppelholz, Sascha

sascha.klueppelholz@tu-dresden.de

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

Person

View all researchers with public profile (11)

Certificates and witnesses for multi-objective queries in Markov decision processes

Baier, C., Chau, C. & Klüppelholz, S., Jun 2025, In: Performance Evaluation. 168, 102482.

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

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient

Meggendorfer, T., Weininger, M. & Wienhöft, P., 11 Apr 2025, In: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 25, p. 26631-26641 11 p.

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

When to Sample from Feature Diagrams?

Käfer, N., Apel, S., Baier, C., Dubslaff, C. & Hermanns, H., 4 Feb 2025, Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems. ACM Digital Library, p. 11-20 10 p.

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Model Checking Markov Chains as Distribution Transformers.

Aghamov, R., Baier, C., Karimov, T., Nieuwveld, J., Ouaknine, J., Piribauer, J. & Vahanwala, M., 2025, Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. p. 293-313 21 p. (Lecture Notes in Computer Science, Vol. 15261).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review

Responsibility in Actor-Based Systems

Baier, C., Klüppelholz, S. & Lehmann, J., 2025, Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Lee, E. A., Mousavi, M. R. & Talcott, C. (eds.). Springer Science and Business Media B.V., p. 44-69 26 p. (Lecture notes in computer science, Vol. 15560 LNCS).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review

View all research output (182)

TheoretiCS : an open access journal in theoretical computer science

ISSNs: 2751-4838

Additional searchable ISSN (electronic): 2751-4838

Journal

Performance Evaluation

ISSNs: 0166-5316

Additional searchable ISSN (electronic): 0166-5316

Elsevier Science B.V., Netherlands

Scopus rating (2024): CiteScore 3 SJR 0.426 SNIP 0.767

Journal

Proceedings of the AAAI Conference on Artificial Intelligence

ISSNs: 2159-5399

Additional searchable ISSN (electronic): 2374-3468

Association for the Advancement of Artificial Intelligence

Scopus rating (2024): CiteScore 2 SJR 0.133 SNIP 0

Journal

Electronic notes in theoretical computer science : ENTCS

ISSNs: 1571-0661

Additional searchable ISSN (electronic): 1571-0661

Elsevier Science B.V., Netherlands

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

Journal

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

ISSNs: 0167-6423

Additional searchable ISSN (electronic): 0167-6423

Elsevier Science B.V., Netherlands

Scopus rating (2024): CiteScore 4 SJR 0.429 SNIP 1.233

Journal

View all journals (29)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

Spork, T. (Speaker)

2 Apr 2025

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

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient

Wienhöft, P. (Speaker)

2 Mar 2025

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

When to Sample from Feature Diagrams?

Käfer, N. (Speaker)

5 Feb 2025

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

Verification Meets Causality

Baier, C. (Speaker)

30 Oct 2024

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

A Spectrum of Approximate Probabilistic Bisimulations

Spork, T. (Speaker)

12 Sept 2024

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

View all activities (173)

QEST+FORMATS Outstanding Artifact Award

Baier, C. (Recipient), Chau, C. (Recipient) & Klüppelholz, S. (Recipient), 11 Sept 2024

Prize: Publication/Conference prize

ACM SIGBED HSCC Best Paper Award

Aghamov, R. (Recipient), Piribauer, J. (Recipient), Baier, C. (Recipient), Karimov, T. (Recipient) & Ouaknine, J. (Recipient), 2024

Prize: Publication/Conference prize

Jean-Claude Laprie Award in Dependable Computing

Baier, C. (Recipient), 2023

Prize: Research prize

Honorary Doctorate by RWTH Aachen

Baier, C. (Recipient), 9 Sept 2022

Prize: Honors › Honorary doctorate

Test-of-Time Award CONCUR

Baier, C. (Recipient), 2022

Prize: Research prize

View all prizes (9)

Limited sampling RL

Wienhöft, P. (Creator), Open Science Framework, 13 Jun 2025

DOI: https://doi.org/10.17605/OSF.IO/R24MU

Dataset: Code

RSMCheck reproduction package

Wienhöft, P. (Creator), Open Science Framework, 13 Jun 2025

DOI: https://doi.org/10.17605/OSF.IO/H2F5U

Dataset: Code

Dimagic 2.0

Husung, N. (Creator), Käfer, N. (Creator) & Dubslaff, C. (Creator), Zenodo, 6 Jun 2025

DOI: https://doi.org/10.5281/zenodo.15583680, https://zenodo.org/records/15583680

Dataset: Code

What are the Odds? Improving Statistical Model Checking of Markov Decision Processes

Wienhöft, P. (Creator), Zenodo, 2 May 2025

DOI: https://doi.org/10.5281/zenodo.15322007, https://zenodo.org/records/15322007

Dataset: Code

Research data accompanying the bachelor's thesis "Symbolic Representation of Memoryless-Deterministic Schedulers"

Fenske, J. (Creator), Klüppelholz, S. (Contributor) & Korn, M. (Contributor), Zenodo, 31 Mar 2025

DOI: https://doi.org/10.5281/zenodo.15084627, https://zenodo.org/records/15111357

Dataset: Other datasets

View all research data (19)