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
- Press/Media
Alrabbaa, Christian
- Professor (rtd.) for Automata Theory - Academic Staff
- Institute of Theoretical Computer Science - Academic Staff
- Chair of Automata Theory - Academic Staff
Person
Baader, Franz
- Professor (rtd.) for Automata Theory - Academic Staff
- Faculty of Mathematics - Member
Person
Preface
Bertrand, N., Dubslaff, C. & Klüppelholz, S., 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Springer, Cham, p. vi 1 p. (Lecture Notes in Computer Science, Vol. 15760).Research output: Contribution to book/Conference proceedings/Anthology/Report › Foreword/Postscript › Contributed › peer-review
Statistical Model Checking with Robust Markov Decision Processes
Wienhöft, P., 4 Nov 2025, 213 p.Research output: Types of thesis › Doctoral thesis
PAC learning of concept inclusions for ontology-mediated query answering
Obiedkov, S. & Sertkaya, B., Nov 2025, In: International journal of approximate reasoning. 186, 109523.Research output: Contribution to journal › Research article › Contributed › peer-review
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (eds.). Springer, Cham, p. 83-94 12 p. (Lecture Notes in Computer Science, Vol. 16143).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
Meggendorfer, T., Weininger, M. & Wienhöft, P., 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (eds.). Springer, Cham, p. 195-218 24 p. (Lecture Notes in Computer Science, Vol. 16143).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 (2024): CiteScore 0.8 SJR 0.341 SNIP 0.927
Journal
Theoretical computer science : the journal of the EATCS
ISSNs: 0304-3975
Elsevier Science B.V., Netherlands
Scopus rating (2024): CiteScore 2.5 SJR 0.494 SNIP 0.94
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 (IEEE)
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 (2024): CiteScore 6.2 SJR 0.731 SNIP 1.18
Journal
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
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
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
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
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
Tool to compute responsibility using refinement
Lehmann, J. (Creator) & Klatt, R. (Contributor), Zenodo, 15 Apr 2025
DOI: https://doi.org/10.5281/zenodo.15224560, https://zenodo.org/records/15224560
Dataset: Code
Interview für Video "Ist Social Media ein Problem für die Demokratie? 🤳 | Gute Frage über Filterblasen, Memes & Fake News"
Schuricht, L., Krause, A.-A., Donath, K. J., Nockenberg, B., Schulze, P., Schneider, F., Sommerfeld, S., Lorenz-Spreen, P., Pahlke, J., Straub, V. & Hübler, P.
16 Apr 2025
1 item of Media coverage
Press/Media