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.

Helmholtzstr. 10

01069

Dresden

Germany

Phone: 0351 463 38549

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

Other website: https://iccl.inf.tu-dresden.de/web/Algebraische_und_logische_Grundlagen_der_Informatik/en

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 (9)

Linear dynamical systems with weight functions

Aghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., May 2026, In: Nonlinear Analysis: Hybrid Systems. 60, 101680.

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

Models of human behaviour

Baier, C., Cuevas Rivera, D., Dubslaff, C., Kiebel, S. J. & Wienhöft, P., 1 Jan 2026, Humans, Robots and Virtual Worlds in the Tactile Internet. Elsevier, p. 207-220 14 p.

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

Tailoring binary decision diagram compilation for feature models

Dubslaff, C., Husung, N. & Käfer, N., Jan 2026, In: Journal of Systems and Software. 231, 19 p., 112566.

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

Backward Responsibility in Transition Systems Beyond Safety

Baier, C., Klatt, R., Klüppelholz, S. & Lehmann, J., 2026, Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings. Remke, A. & Steffen, B. (eds.). Springer, Cham, p. 105-123 18 p. (Lecture Notes in Computer Science, Vol. 16040).

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

Concurrent Permissive Strategy Templates

Anand, A., Baier, C., Chau, C., Klüppelholz, S., Mirzaei, A., Nayak, S. P. & Schmuck, A.-K., 2026, Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part I. Junges, S. & Katz, G. (eds.). Springer, Cham, p. 377-397 21 p. (Lecture Notes in Computer Science, Vol. 16505).

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

View all research output (205)

Nonlinear Analysis: Hybrid Systems

ISSNs: 1751-570X, 1878-7460

Additional searchable ISSN (electronic): 1878-7460

Elsevier Science B.V., United States of America

Scopus rating (2025): CiteScore 7.9 SJR 1.133 SNIP 1.235

Journal

TheoretiCS : an open access journal in theoretical computer science

ISSNs: 2751-4838

Additional searchable ISSN (electronic): 2751-4838

TheoretiCS Foundation

Scopus rating (2025): CiteScore 2 SJR 0.524 SNIP 1.15

Indexed in DOAJ

Journal

Performance Evaluation

ISSNs: 0166-5316

Additional searchable ISSN (electronic): 0166-5316

Elsevier Science B.V., Netherlands

Scopus rating (2025): CiteScore 2.4 SJR 0.321 SNIP 0.939

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 (2025): CiteScore 5.6 SJR 1.545 SNIP 2.421

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

View all journals (29)

Highlights of Logic, Games and Automata 2025

Baier, C. (Member of programme committee)

1 Sept 2025 → 5 Sept 2025

Activity: Organising or participating in an event › Organising an event

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

Wienhöft, P. (Speaker)

26 Aug 2025

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

Probabilistic Model Checking

Baier, C. (Lecturer)

6 Aug 2025 → 9 Aug 2025

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

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

Spork, T. (Speaker)

23 Jul 2025

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

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

View all activities (194)

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)

Reproduction package for dissertation "Statistical Model Checking via Robust Markov Decision Processes"

Wienhöft, P. (Creator), Zenodo, 21 Jul 2025

DOI: https://doi.org/10.5281/zenodo.16268111

Dataset: Code

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

View all research data (23)