Institute of Theoretical Computer Science
Organisational unit: Institute
Related content and researchers
- Researchers
- Research output
- Journals
- Activities
- Prizes
Baier, Christel
- Chair of Algebraic and Logical Foundations of Computer Science - Academic Staff
- Faculty of Computer Sciences - Academic Staff
Person: Current
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
Optimal ABox Repair w.r.t. Static 𝓔𝓛 TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (Slides)
Baader, F., Kriegel, F., Koopmann, P. & Nuradiansyah, A., 9 Aug 2022.Research output: Contribution to conferences › Presentation slides › Contributed
Pushing Optimal ABox Repair from 𝓔𝓛 Towards More Expressive Horn-DLs (Slides)
Baader, F. & Kriegel, F., 5 Aug 2022.Research output: Contribution to conferences › Presentation slides › Contributed
Causality in configurable software systems
Dubslaff, C., Weis, K., Baier, C. & Apel, S., 5 Jul 2022, ICSE '22: Proceedings of the 44th International Conference on Software Engineering. Association for Computing Machinery (ACM), New York, p. 325-337 13 p.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
The variance-penalized stochastic shortest path problem
Piribauer, J., Sankur, O. & Baier, C., 1 Jul 2022, 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022: ICALP 2022, July 4–8, 2022, Paris, France. Bojańczyk, M., Merelli, E. & Woodruff, D. P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 129:1–129:19 19 p. 129. (Leibniz international proceedings in informatics : LIPIcs, Vol. 229).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
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, T. (Laureat), Klüppelholz, S. (Laureat) & Jantsch, S. (Laureat), Oct 2021
Prize: Publication prize
Shortlisted for the Best Paper Award
Nuradiansyah, Adrian (Recipient) & Baader, Franz (Recipient), 26 Sep 2019
Prize: Publication prize
Best Paper Award at the 16th European Conference on Logics in Artificial Intelligence (JELIA'19)
Borgwardt, Stefan (Recipient) & Forkel, W. (Recipient), 2019
Prize: Publication prize