Institut für Theoretische Informatik
Organisation: Institut
Kontakt
- TUD Webseite: https://tu-dresden.de/ing/informatik/thi
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
- Aktivitäten
- Auszeichnungen
- Forschungsdaten
- Presseberichte/Medien
Aghamov, Rajab
- Professur für Algebraische und logische Grundlagen der Informatik - Wissenschaftliches Personal
Person
Alrabbaa, Christian
- Seniorprofessor für Automatentheorie - Wissenschaftliches Personal
- Institut für Theoretische Informatik - Wissenschaftliches Personal
- Professur für Automatentheorie - Wissenschaftliches Personal
Person
Baader, Franz
- Seniorprofessor für Automatentheorie - Wissenschaftliches Personal
- Fakultät Mathematik - Mitglied
Person
Baier, Christel
- Professur für Algebraische und logische Grundlagen der Informatik - Wissenschaftliches Personal
- Fakultät Informatik - Speziell
- Exzellenzcluster CeTI: Zentrum für Taktiles Internet - Mitglied
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, S. vi 1 S. (Lecture Notes in Computer Science, Band 15760).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Vor-/Nachwort › Beigetragen › Begutachtung
Statistical Model Checking with Robust Markov Decision Processes
Wienhöft, P., 4 Nov. 2025, 213 S.Publikation: Hochschulschrift/Abschlussarbeit › Dissertation
PAC learning of concept inclusions for ontology-mediated query answering
Obiedkov, S. & Sertkaya, B., Nov. 2025, in: International journal of approximate reasoning. 186, 109523.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
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. (Hrsg.). Springer, Cham, S. 83-94 12 S. (Lecture Notes in Computer Science, Band 16143).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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. (Hrsg.). Springer, Cham, S. 195-218 24 S. (Lecture Notes in Computer Science, Band 16143).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Journal of applied non-classical logics
ISSNs: 1166-3081
Weitere durchsuchbare ISSN (elektronisch): 1958-5780
Taylor and Francis Inc., Großbritannien/Vereinigtes Königreich
Scopus-Bewertung (2024): CiteScore 0,8 SJR 0,341 SNIP 0,927
Fachzeitschrift: Zeitschrift
Theoretical computer science : the journal of the EATCS
ISSNs: 0304-3975
Elsevier Science B.V., Niederlande
Scopus-Bewertung (2024): CiteScore 2,5 SJR 0,494 SNIP 0,94
Fachzeitschrift: Zeitschrift
PLoS ONE
ISSNs: 1932-6203
PLOS
Scopus-Bewertung (2023): CiteScore 6,2 SJR 0,839 SNIP 1,084
In DOAJ indiziert
Fachzeitschrift: Zeitschrift
IEEE Transactions on Multi-Scale Computing Systems
ISSNs: 2332-7766
Institute of Electrical and Electronics Engineers (IEEE)
Scopus-Bewertung (2019): CiteScore 6 SJR 0,581 SNIP 1,698
Fachzeitschrift: Zeitschrift
International Journal of Approximate Reasoning
ISSNs: 0888-613X
Weitere durchsuchbare ISSN (elektronisch): 1873-4731
Elsevier, New York [u. a.]
Scopus-Bewertung (2024): CiteScore 6,2 SJR 0,731 SNIP 1,18
Fachzeitschrift: Zeitschrift
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
Wienhöft, P. (Redner:in)26 Aug. 2025
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
Spork, T. (Redner:in)23 Juli 2025
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
Spork, T. (Redner:in)2 Apr. 2025
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
Wienhöft, P. (Redner:in)2 März 2025
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
When to Sample from Feature Diagrams?
Käfer, N. (Redner:in)5 Feb. 2025
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
QEST+FORMATS Outstanding Artifact Award
Baier, C. (Empfänger:in), Chau, C. (Empfänger:in) & Klüppelholz, S. (Empfänger:in), 11 Sept. 2024
Auszeichnung: Preis › Publikations-/Konferenzpreis
SAC 2024 Best Paper Award in the Information Systems area
Baader, F. (Empfänger:in) & De Bortoli, F. (Empfänger:in), Apr. 2024
Auszeichnung: Preis › Publikations-/Konferenzpreis
ACM SIGBED HSCC Best Paper Award
Aghamov, R. (Empfänger:in), Piribauer, J. (Empfänger:in), Baier, C. (Empfänger:in), Karimov, T. (Empfänger:in) & Ouaknine, J. (Empfänger:in), 2024
Auszeichnung: Preis › Publikations-/Konferenzpreis
Georg-Helm-Preis 2023
Hanisch, P. (Empfänger:in), 4 Feb. 2023
Auszeichnung: Preis › Studentischer Preis
Limited sampling RL
Wienhöft, P. (Urheber:in), Open Science Framework, 13 Juni 2025
DOI: https://doi.org/10.17605/OSF.IO/R24MU
Forschungsdaten: Software
RSMCheck reproduction package
Wienhöft, P. (Urheber:in), Open Science Framework, 13 Juni 2025
DOI: https://doi.org/10.17605/OSF.IO/H2F5U
Forschungsdaten: Software
Dimagic 2.0
Husung, N. (Urheber:in), Käfer, N. (Urheber:in) & Dubslaff, C. (Urheber:in), Zenodo, 6 Juni 2025
DOI: https://doi.org/10.5281/zenodo.15583680, https://zenodo.org/records/15583680
Forschungsdaten: Software
What are the Odds? Improving Statistical Model Checking of Markov Decision Processes (artifact)
Wienhöft, P. (Urheber:in), Zenodo, 2 Mai 2025
DOI: https://doi.org/10.5281/zenodo.15322007, https://zenodo.org/records/15322007
Forschungsdaten: Software
Tool to compute responsibility using refinement
Lehmann, J. (Urheber:in) & Klatt, R. (Mitwirkende:r), Zenodo, 15 Apr. 2025
DOI: https://doi.org/10.5281/zenodo.15224560, https://zenodo.org/records/15224560
Forschungsdaten: Software
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 Objekt von Medienberichte
Presse/Medien