Institute of Theoretical Computer Science
Organisational unit: Institute
Contact
- TUD website: https://tu-dresden.de/ing/informatik/thi
Related content and researchers (public profile)
- Researchers (public profile)
- Research output
- Journals
- Activities
- Prizes
- Datasets
Configuring BDD Compilation Techniques for Feature Models
Käfer, N., Dubslaff, C. & Husung, N., 2 Sept 2024, SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference. Association for Computing Machinery (ACM), Vol. A. p. 209-216 8 p.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Entropic risk for turn-based stochastic games
Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., Dec 2024, In: Information and computation. 301(2024), Part A, 105214.Research output: Contribution to journal › Research article › Contributed › peer-review
Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies
Fernandez Gil, O. & Baader, F., 2 Jul 2024, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer, p. 279-297 19 p. (Lecture Notes in Computer Science, Vol. 14740).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract)
Kriegel, F., 18 Jun 2024, Proceedings of the 37th International Workshop on Description Logics (DL 2024), June 18--21, 2024, Bergen, Norway. Giordano, L., Jung, J. C. & Ozaki, A. (eds.). 5 p. (CEUR Workshop Proceedings, Vol. 3739).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains
De Bortoli, F., Borgwardt, S. & Koopmann, P., Jun 2024, Proceedings of the 37th International Workshop on Description Logics (DL 2024). Giordano, L., Jung, J. C. & Ozaki, A. (eds.). CEUR-WS.org, Vol. 3739.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Journal of applied non-classical logics
ISSNs: 1166-3081
Additional searchable ISSN (electronic): 1958-5780
Taylor & Francis, London [u.a.], United Kingdom
Scopus rating (2023): CiteScore 1.3 SJR 0.486 SNIP 1.048
Journal
Theoretical computer science : the journal of the EATCS
ISSNs: 0304-3975
Elsevier, Amsterdam ; Jena [u.a.], Netherlands
Scopus rating (2023): CiteScore 2.6 SJR 0.57 SNIP 0.946
Journal
PLoS ONE
ISSNs: 1932-6203
PLOS
Scopus rating (2023): CiteScore 6.2 SJR 0.839 SNIP 1.084
Indexed in DOAJ
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.698
Journal
International Journal of Approximate Reasoning
ISSNs: 0888-613X
Additional searchable ISSN (electronic): 1873-4731
Elsevier, New York [u. a.]
Scopus rating (2023): CiteScore 6.9 SJR 0.877 SNIP 1.5
Journal
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes
Chau, C. (Speaker)10 Sept 2024
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Probabilistic Feature Models
Käfer, N. (Speaker)9 Apr 2024
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
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
Dagstuhl Research Meeting 24134
Chau, C. (Participant)24 Mar 2024 → 27 Mar 2024
Activity: Organising or participating in an event › Participating in an event
QEST+FORMATS Outstanding Artifact Award
Baier, C. (Recipient), Chau, C. (Recipient) & Klüppelholz, S. (Recipient), 11 Sept 2024
Prize: Publication/Conference prize
Best Paper Award - Information Systems
Baader, F. (Recipient) & De Bortoli, F. (Recipient), Apr 2024
Prize: Publication/Conference prize
ACM SIGBED HSCC Best Paper Award
Aghamov, R. (Recipient), Piribauer, J. (Recipient), Baier, C. (Recipient), Karimov, T. (Recipient) & Ouaknine, J. (Recipient), 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
dimagic
Käfer, N. (Creator), Husung, N. (Creator) & Dubslaff, C. (Creator), Zenodo, 10 Jul 2024
DOI: https://doi.org/10.5281/zenodo.12707100
Dataset: Code