Institute of Theoretical Computer Science
Organisational unit: Institute
Related content and researchers
- Researchers
- Research output
- Journals
- Activities
- Prizes
Baader, Franz
- Chair of Automata Theory - Academic Staff
- Faculty of Mathematics - Academic Staff
Person: Current
Baier, Christel
- Chair of Algebraic and Logical Foundations of Computer Science - Academic Staff
- Faculty of Computer Sciences - Academic Staff
Person: Current
Weighted Tree Automata -- May it be a little more?
Fülöp, Z. & Vogler, H., 11 Dec 2022.Research output: Preprint/documentation/report › Preprint
Configurable-by-construction runtime monitoring
Dubslaff, C. & Köhl, M. A., 1 Oct 2022, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, 1 p. (Lecture Notes in Computer Science).Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed
Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes (Slides)
Kriegel, F., 23 Sep 2022.Research output: Contribution to conferences › Presentation slides › Contributed
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. (eds.). Springer, Vol. 13560. p. 27–45 19 p. (Lecture Notes in Computer Science).Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)
Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 30 Aug 2022, arXiv.Research output: Preprint/documentation/report › Preprint
Künstliche Intelligenz : KI
ISSNs: 0933-1875, 0935-848X
Additional searchable ISSN (Electronic): 1610-1987
Springer, Berlin [u. a.], Germany
Scopus rating (2021): CiteScore 3.9 SJR 0.745 SNIP 1.128
Journal
IEEE Transactions on Multi-Scale Computing Systems
ISSNs: 2332-7766
IEEE, New York [u. a.]
Scopus rating (2019): CiteScore 6 SJR 0.581 SNIP 1.767
Journal
IEEE Access
ISSNs: 2169-3536
IEEE, New York [u. a.]
Scopus rating (2021): CiteScore 6.7 SJR 0.927 SNIP 1.326
Indexed in DOAJ
Journal
Thirty-Seventh Annual ACM/IEEE Symposium onLogic in Computer Science (LICS) (Event)
Baier, C. (Editor), Fisman, D. (Editor)2 Aug 2022 → 5 Aug 2022
Activity: Publication peer-review and editorial work › Editorial work
The Role of Ontologies in AI (in Bahasa Indonesia)
Nuradiansyah, A. (Speaker)28 Jul 2022
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Feature Causes of Quantitative Effect Properties
Dubslaff, C. (Speaker)3 Apr 2022
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Iterative Variable Reordering: Taming Huge System Families
Dubslaff, C. (Speaker)2 Apr 2022
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
System Configurations Matter – An Experience Report on Reproducibility
Dubslaff, C. (Speaker)2 Apr 2022
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Honorary Doctorate by RWTH Aachen
Baier, Christel (Recipient), 9 Sep 2022
Prize: Honors › Honorary doctorate
Best paper award ATVA 2021
Baier, Christel (Laureat), John, Tobias (Laureat), Klüppelholz, Sascha (Laureat) & Jantsch, Simon (Laureat), Oct 2021
Prize: Publication prize
Shortlisted for the Best Paper Award
Nuradiansyah, Adrian (Recipient) & Baader, Franz (Recipient), 26 Sep 2019
Prize: Publication prize