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 - 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
Certificates and witnesses for multi-objective queries in Markov decision processes
Baier, C., Chau, C. & Klüppelholz, S., Juni 2025, in: Performance Evaluation. 168, 102482.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beyond Optimal: Interactive Identification of Better-than-optimal Repairs
Kriegel, F., 31 März 2025, Proceedings of the 40th ACM/SIGAPP Symposium On Applied Computing (SAC 2025). Association for Computing MachineryPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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. (Hrsg.). Springer Science and Business Media B.V., S. 44-69 26 S. (Lecture notes in computer science, Band 15560 LNCS).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung
Beyond Optimal: Interactive Identification of Better-than-optimal Repairs (Extended Version)
Kriegel, F., 20 Dez. 2024, Dresden, Germany, (LTCS-Report, Band 24-05).Publikation: Vorabdruck/Dokumentation/Bericht › Arbeitspapier
Horned-OWL: Flying Further and Faster with Ontologies
Lord, P., Gehrke, B., Larralde, M., Hastings, J., De Bortoli, F., Overton, J. & Balhoff, J. & 1 weitere, Warrender, J., 18 Dez. 2024, in: Transactions on Graph Data and Knowledge (TGDK). 2, 2, 14 S., 9.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › 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 (2023): CiteScore 1,3 SJR 0,486 SNIP 1,048
Fachzeitschrift: Zeitschrift
Theoretical computer science : the journal of the EATCS
ISSNs: 0304-3975
Elsevier Science B.V., 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
Institute of Electrical and Electronics Engineers Inc.
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
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
Verification Meets Causality
Baier, C. (Redner:in)30 Okt. 2024
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Plenarvortrag (Keynote) › Eingeladen
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
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
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact
Baier, C. (Urheber:in), Chau, C. (Urheber:in) & Klüppelholz, S. (Urheber:in), Zenodo, 21 Apr. 2024
DOI: https://doi.org/10.5281/zenodo.11005269, https://zenodo.org/records/11005269
Forschungsdaten: Sonstige Forschungsdaten
Interactive Visualization Meets Probabilistic Model Checking Artifact
Korn, M. (Urheber:in), Méndez, J. (Urheber:in), Klüppelholz, S. (Urheber:in), Langner, R. (Urheber:in), Baier, C. (Urheber:in) & Dachselt, R. (Urheber:in), Zenodo, 30 Juni 2023
DOI: https://doi.org/10.5281/zenodo.8172531, https://zenodo.org/records/8172531
Forschungsdaten: Software
Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact
Chrszon, P. (Urheber:in), Baier, C. (Urheber:in), Dubslaff, C. (Urheber:in) & Klüppelholz, S. (Urheber:in), Zenodo, 11 Nov. 2022
DOI: https://doi.org/10.5281/zenodo.7314315, https://zenodo.org/records/7314315
Forschungsdaten: Software
From Features to Roles, Artifact (SPLC2020)
Chrszon, P. (Urheber:in), Baier, C. (Urheber:in), Dubslaff, C. (Urheber:in) & Klüppelholz, S. (Urheber:in), Zenodo, 24 Sept. 2020
DOI: https://doi.org/10.5281/zenodo.4048533, https://zenodo.org/record/4048533
Forschungsdaten: Software