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, external link

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

Entropic risk for turn-based stochastic games

Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., Dec 2024, In: Information and computation. 301(2024), Part A, 105214.

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

Probabilistic Causality in Markovian Models

Ziemek, R., 23 Sept 2024, 162 p.

Research output: Types of thesis › Doctoral thesis

Configuring BDD Compilation Techniques for Feature Models

Dubslaff, C., Husung, N. & Käfer, N., 2 Sept 2024, SPLC 2024 - 28th ACM International Systems and Software Product Line Conference, Proceedings. Cordy, M., Struber, D., Struber, D., Pinto, M., Groher, I., Dhungana, D., Kruger, J., Alves Pereira, J., Acher, M., Thum, T., Thum, T., ter Beek, M. H., Galasso-Carbonnel, J., Arcaini, P., Mousavi, M. R., Ternava, X., Galindo, J. A., Yue, T., Fuentes, L. & Horcas, J. M. (eds.). Association for Computing Machinery (ACM), Vol. A. p. 209-216 8 p.

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

A Spectrum of Approximate Probabilistic Bisimulations

Spork, T., Baier, C., Katoen, J.-P., Piribauer, J. & Quatmann, T., 29 Aug 2024, 35th International Conference on Concurrency Theory (CONCUR 2024). Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 311).

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

Linear dynamical systems with continuous weight functions

Aghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., 14 May 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery, Inc, p. 22:1-22:11 11 p. 22. (CPSWeek: Cyber-physical Systems).

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

View all research output (173)

Proceedings of the AAAI Conference on Artificial Intelligence

ISSNs: 2159-5399

Additional searchable ISSN (electronic): 2374-3468

Association for the Advancement of Artificial Intelligence

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 (2023): CiteScore 3.8 SJR 0.511 SNIP 0.916

Journal

ACM SIGLOG News

ISSNs: 2372-3491

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

Journal

IEEE Transactions on Software Engineering

ISSNs: 0098-5589

Additional searchable ISSN (electronic): 1939-3520

Institute of Electrical and Electronics Engineers Inc., United States of America

Scopus rating (2023): CiteScore 9.7 SJR 1.868 SNIP 2.591

Journal

View all journals (27)

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

Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes

Chau, C. (Speaker)

10 Sept 2024

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

Probabilistic Feature Models

Käfer, N. (Speaker)

9 Apr 2024

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

Dagstuhl Research Meeting 24134

Chau, C. (Participant)

24 Mar 2024 → 27 Mar 2024

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

View all activities (164)

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)

dimagic

Käfer, N. (Creator), Husung, N. (Creator) & Dubslaff, C. (Creator), Zenodo, 10 Jul 2024

DOI: https://doi.org/10.5281/zenodo.12707100, external link

Dataset: Code

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact

Baier, C. (Creator), Chau, C. (Creator) & Klüppelholz, S. (Creator), Zenodo, 21 Apr 2024

DOI: https://doi.org/10.5281/zenodo.11005269, external link, https://zenodo.org/records/11005269, external link

Dataset: Other datasets

Interactive Visualization Meets Probabilistic Model Checking Artifact

Korn, M. (Creator), Méndez, J. (Creator), Klüppelholz, S. (Creator), Langner, R. (Creator), Baier, C. (Creator) & Dachselt, R. (Creator), Zenodo, 30 Jun 2023

DOI: https://doi.org/10.5281/zenodo.8172531, external link, https://zenodo.org/records/8172531, external link

Dataset: Code

Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact

Chrszon, P. (Creator), Baier, C. (Creator), Dubslaff, C. (Creator) & Klüppelholz, S. (Creator), Zenodo, 11 Nov 2022

DOI: https://doi.org/10.5281/zenodo.7314315, external link, https://zenodo.org/records/7314315, external link

Dataset: Code

From Features to Roles, Artifact (SPLC2020)

Chrszon, P. (Creator), Baier, C. (Creator), Dubslaff, C. (Creator) & Klüppelholz, S. (Creator), Zenodo, 24 Sept 2020

DOI: https://doi.org/10.5281/zenodo.4048533, external link, https://zenodo.org/record/4048533, external link

Dataset: Code

View all research data (6)