Chair of Automata Theory
Organisational unit: Chair
Organisation profile
Former Chair Holder: Prof. Dr.-Ing. Franz Baader
Research continued as Professor (rtd.) for Automata Theory
Contact
- TUD website: https://tu-dresden.de/ing/informatik/thi/lat
Related content and researchers (public profile)
- Researchers (public profile)
- Research output
- Journals
- Activities
- Prizes
Alrabbaa, Christian
- Professor (rtd.) for Automata Theory - Academic Staff
- Institute of Theoretical Computer Science - Academic Staff
- Chair of Automata Theory - Academic Staff
Person
The Concrete Evonne: Visualization Meets Concrete Domain Reasoning.
Alrabbaa, C., Baader, F., Dachselt, R., Kovtunova, A. & Méndez, J., 2026, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (eds.). Springer, Cham, p. 3-21 19 p. (Lecture Notes in Computer Science, Vol. 15979).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models
Baader, F. & De Bortoli, F., 2026, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (eds.). 1 ed. Springer, Cham, p. 22-39 18 p. (Lecture Notes in Artificial Intelligence (LNAI), Vol. 15979).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Complexity and Expressive Power of Description Logics with Numerical Constraints
De Bortoli, F., 9 Sept 2025, 144 p.Research output: Types of thesis › Doctoral thesis
The Unification Type of an Equational Theory May Depend on the Instantiation Preorder
Baader, F. & Gil, O. F., 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 337).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count
Baader, F. & Claußnitzer, A., 14 May 2025, Proceedings of FLAIRS-38. (The International FLAIRS Conference Proceedings; No. 1, Vol. 38).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
CEUR Workshop Proceedings (Vol. 2373)
ISSNs: 1613-0073
Additional searchable ISSN (electronic): 1613-0073
CEUR-WS, Germany
Scopus rating (2024): CiteScore 0.9 SJR 0.166 SNIP 0.231
Journal: Book series
Transactions on Graph Data and Knowledge (TGDK)
ISSNs: 2942-7517
Additional searchable ISSN (electronic): 2942-7517
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Germany
Indexed in DOAJ
Journal
Annals of mathematics and artificial intelligence : AMAI
ISSNs: 1012-2443
Additional searchable ISSN (electronic): 1573-7470
Springer, Dordrecht [u. a.], Netherlands
Scopus rating (2024): CiteScore 2.8 SJR 0.419 SNIP 0.778
Journal
ACM SIGAPP Applied Computing Review
ISSNs: 1559-6915
Additional searchable ISSN (electronic): 1931-0161
Association for Computing Machinery (ACM), New York, United States of America
Journal
International journal of control
ISSNs: 0020-7179
Additional searchable ISSN (electronic): 1366-5820
Taylor & Francis
Scopus rating (2024): CiteScore 4.5 SJR 0.681 SNIP 0.9
Journal
The Expressive Power of Quantitative Extensions of Description Logics
De Bortoli, F. (Speaker)5 Apr 2024
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
INRIA centre at the University Grenoble Alpes
De Bortoli, F. (Visitor)3 Apr 2024 → 5 Apr 2024
Activity: Visiting external institutions › Research stay
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
Reasoning in Description Logic Ontologies for Privacy Management (Dissertation Defense Slides)
Nuradiansyah, A. (Speaker)25 Nov 2019
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
University of Oxford
Nuradiansyah, A. (Visiting scientist)2019
Activity: Visiting external institutions › Research stay
Best Paper Award - Information Systems
Baader, F. (Recipient) & De Bortoli, F. (Recipient), Apr 2024
Prize: Publication/Conference prize
Harold Boley Distinguished Paper Award
Alrabbaa, C. (Recipient), Baader, F. (Recipient), Borgwardt, S. (Recipient), Koopmann, P. (Recipient) & Kovtunova, A. (Recipient), 2023
Prize: Publication/Conference prize
Best Paper Award
Alrabbaa, C. (Recipient), Borgwardt, S. (Recipient), Hirsch, A. (Recipient), Knieriemen, N. (Recipient), Kovtunova, A. (Recipient), Rothermel, A. M. (Recipient) & Wiehr, F. (Recipient), 2022
Prize: Publication/Conference prize
Best Research Paper
Alrabbaa, C. (Recipient) & Hieke, W. (Recipient), 2022
Prize: Publication/Conference prize