Institute of Theoretical Computer Science
Organisational unit: Institute
Contact
- TUD website: https://tu-dresden.de/ing/informatik/thi
Related content and researchers (public profile)
- Researchers (public profile)
- Research output
- Journals
- Activities
- Prizes
- Datasets
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-26641Research output: Contribution to journal › Conference article › Contributed › peer-review
Beyond Optimal: Interactive Identification of Better-than-optimal Repairs
Kriegel, F., 31 Mar 2025, Proceedings of the 40th ACM/SIGAPP Symposium On Applied Computing (SAC 2025). Association for Computing MachineryResearch output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › 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
Sound Statistical Model Checking for Probabilities and Expected Rewards
Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (eds.). Springer, Cham, p. 167–190 (Lecture Notes in Computer Science, Vol. 15696).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Journal of applied non-classical logics
ISSNs: 1166-3081
Additional searchable ISSN (electronic): 1958-5780
Taylor and Francis Inc., United Kingdom
Scopus rating (2023): CiteScore 1.3 SJR 0.486 SNIP 1.048
Journal
Theoretical computer science : the journal of the EATCS
ISSNs: 0304-3975
Elsevier Science B.V., Netherlands
Scopus rating (2023): CiteScore 2.6 SJR 0.57 SNIP 0.946
Journal
PLoS ONE
ISSNs: 1932-6203
PLOS
Scopus rating (2023): CiteScore 6.2 SJR 0.839 SNIP 1.084
Indexed in DOAJ
Journal
IEEE Transactions on Multi-Scale Computing Systems
ISSNs: 2332-7766
Institute of Electrical and Electronics Engineers Inc.
Scopus rating (2019): CiteScore 6 SJR 0.581 SNIP 1.698
Journal
International Journal of Approximate Reasoning
ISSNs: 0888-613X
Additional searchable ISSN (electronic): 1873-4731
Elsevier, New York [u. a.]
Scopus rating (2023): CiteScore 6.9 SJR 0.877 SNIP 1.5
Journal
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
QEST+FORMATS Outstanding Artifact Award
Baier, C. (Recipient), Chau, C. (Recipient) & Klüppelholz, S. (Recipient), 11 Sept 2024
Prize: Publication/Conference prize
Best Paper Award - Information Systems
Baader, F. (Recipient) & De Bortoli, F. (Recipient), Apr 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
Harold Boley Distinguished Paper Award
Alrabbaa, C. (Recipient), Baader, F. (Recipient), Borgwardt, S. (Recipient), Koopmann, P. (Recipient) & Kovtunova, A. (Recipient), 2023
Prize: Publication/Conference prize
dimagic
Käfer, N. (Creator), Husung, N. (Creator) & Dubslaff, C. (Creator), Zenodo, 10 Jul 2024
DOI: https://doi.org/10.5281/zenodo.12707100
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, https://zenodo.org/records/11005269
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, https://zenodo.org/records/8172531
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, https://zenodo.org/records/7314315
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, https://zenodo.org/record/4048533
Dataset: Code