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
Aghamov, Rajab
- Professur für Algebraische und logische Grundlagen der Informatik - Wissenschaftliches Personal
Person
Baader, Franz
- Professur für Automatentheorie - Wissenschaftliches Personal
- Fakultät Mathematik - Wissenschaftliches Personal
Person
Baier, Christel
- Professur für Algebraische und logische Grundlagen der Informatik - Wissenschaftliches Personal
- Exzellenzcluster CeTI: Zentrum für Taktiles Internet - Mitglied
Person
Entropic risk for turn-based stochastic games
Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., Dez. 2024, in: Information and computation. 301(2024), Part A, 105214.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability
Baader, F. & De Bortoli, F., 1 Okt. 2024, in: ACM SIGAPP Applied Computing Review. 24, 3, S. 5–17Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Eingeladen › Begutachtung
Probabilistic Causality in Markovian Models
Ziemek, R., 23 Sept. 2024, 162 S.Publikation: Hochschulschrift/Abschlussarbeit › Dissertation
Configuring BDD Compilation Techniques for Feature Models
Käfer, N., Dubslaff, C. & Husung, N., 2 Sept. 2024, SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference. Association for Computing Machinery (ACM), Band A. S. 209-216 8 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
A Spectrum of Approximate Probabilistic Bisimulations
Spork, T., Baier, C., Piribauer, J., Katoen, J-P. & Quatmann, T., 29 Aug. 2024, 35th International Conference on Concurrency Theory (CONCUR 2024). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs, Band 311).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 & Francis, London [u.a.], Großbritannien/Vereinigtes Königreich
Scopus-Bewertung (2023): CiteScore 1,3 SJR 0,486 SNIP 1,048
Fachzeitschrift: Zeitschrift
Theoretical computer science : the journal of the EATCS
ISSNs: 0304-3975
Elsevier, Amsterdam ; Jena [u.a.], Niederlande
Scopus-Bewertung (2023): CiteScore 2,6 SJR 0,57 SNIP 0,946
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
IEEE, New York [u. a.]
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 (2023): CiteScore 6,9 SJR 0,877 SNIP 1,5
Fachzeitschrift: Zeitschrift
Relating Approximate Probabilistic Bisimulations
Spork, T. (Redner:in)29 Sept. 2024
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes
Chau, C. (Redner:in)10 Sept. 2024
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Probabilistic Feature Models
Käfer, N. (Redner:in)9 Apr. 2024
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
The Expressive Power of Quantitative Extensions of Description Logics
De Bortoli, F. (Redner:in)5 Apr. 2024
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
INRIA centre at the University Grenoble Alpes
De Bortoli, F. (Gast)3 Apr. 2024 → 5 Apr. 2024
Aktivität: Aufenthalte an externen Einrichtungen › Forschungsaufenthalt
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
Best Paper Award - Information Systems
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 2022
Hanisch, P. (Empfänger:in), 4 Feb. 2023
Auszeichnung: Preis › Studentischer Preis
Harold Boley Distinguished Paper Award
Alrabbaa, C. (Empfänger:in), Baader, F. (Empfänger:in), Borgwardt, S. (Empfänger:in), Koopmann, P. (Empfänger:in) & Kovtunova, A. (Empfänger:in), 2023
Auszeichnung: Preis › Publikations-/Konferenzpreis
dimagic
Käfer, N. (Urheber:in), Husung, N. (Urheber:in) & Dubslaff, C. (Urheber:in), Zenodo, 10 Juli 2024
DOI: https://doi.org/10.5281/zenodo.12707100
Forschungsdaten: Software