Institut für Theoretische Informatik
Organisation: Institut
Verknüpfte Inhalte und Wissenschaftler:innen
- Wissenschaftler:innen
- Veröffentlichungen
- Zeitschriften
- Aktivitäten
- Auszeichnungen
Baader, Franz
- Professur für Automatentheorie - Wissenschaftliches Personal
- Fakultät Mathematik - Wissenschaftliches Personal
Person: Aktiv
Baier, Christel
- Professur für Algebraische und logische Grundlagen der Informatik - Wissenschaftliches Personal
- Fakultät Informatik - Wissenschaftliches Personal
Person: Aktiv
Weighted Tree Automata -- May it be a little more?
Fülöp, Z. & Vogler, H., 11 Dez. 2022.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
Configurable-by-construction runtime monitoring
Dubslaff, C. & Köhl, M. A., 1 Okt. 2022, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, 1 S. (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen
Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes (Slides)
Kriegel, F., 23 Sep. 2022.Publikation: Beitrag zu Konferenzen › Wissenschaftliche Vortragsfolien › Beigetragen
Operational causality – Necessarily sufficient and sufficiently necessary
Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 7 Sep. 2022, A Journey from Process Algebra via Timed Automata to Model Learning – Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (Hrsg.). Springer, Band 13560. S. 27–45 19 S. (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)
Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 30 Aug. 2022, arXiv.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
Künstliche Intelligenz : KI
ISSNs: 0933-1875, 0935-848X
Weitere durchsuchbare ISSN (elektronisch): 1610-1987
Springer, Berlin [u. a.], Deutschland
Scopus-Bewertung (2021): CiteScore 3,9 SJR 0,745 SNIP 1,128
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,767
Fachzeitschrift: Zeitschrift
IEEE Access
ISSNs: 2169-3536
IEEE, New York [u. a.]
Scopus-Bewertung (2021): CiteScore 6,7 SJR 0,927 SNIP 1,326
In DOAJ indiziert
Fachzeitschrift: Zeitschrift
Thirty-Seventh Annual ACM/IEEE Symposium onLogic in Computer Science (LICS) (Veranstaltung)
Baier, C. (Herausgeber:in), Fisman, D. (Herausgeber:in)2 Aug. 2022 → 5 Aug. 2022
Aktivität: Begutachtung von Manuskripten und herausgeberische Tätigkeiten › Herausgebertätigkeit
The Role of Ontologies in AI (in Bahasa Indonesia)
Nuradiansyah, A. (Redner:in)28 Juli 2022
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Feature Causes of Quantitative Effect Properties
Dubslaff, C. (Redner:in)3 Apr. 2022
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Iterative Variable Reordering: Taming Huge System Families
Dubslaff, C. (Redner:in)2 Apr. 2022
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
System Configurations Matter – An Experience Report on Reproducibility
Dubslaff, C. (Redner:in)2 Apr. 2022
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Lohrmann Medaille
Gerlach, Lukas (Empfänger:in), 9 Dez. 2022
Auszeichnung: Preis › Studentischer Preis
Ehrendoktorwürde der RWTH Aachen
Baier, Christel (Empfänger:in), 9 Sep. 2022
Auszeichnung: Ehrung/Würdigung › Ehrendoktorwürde
Best paper award ATVA 2021
Baier, Christel (Preisträger:in), John, Tobias (Preisträger:in), Klüppelholz, Sascha (Preisträger:in) & Jantsch, Simon (Preisträger:in), Okt. 2021
Auszeichnung: Preis › Publikationspreis
Herbrand Award
Baader, Franz (Empfänger:in), 2020
Auszeichnung: Preis › Preis für erfahrene Forschende
Shortlisted for the Best Paper Award
Nuradiansyah, Adrian (Empfänger:in) & Baader, Franz (Empfänger:in), 26 Sep. 2019
Auszeichnung: Preis › Publikationspreis