Chair of Algebraic and Logical Foundations of Computer Science
Organisational unit: Chair
Organisation profile
Chair Holder: Prof. Dr. rer. nat. Christel Baier
Contact
- Phone: 0351 463 38549
- TUD website: https://tu-dresden.de/ing/informatik/thi/alg
Organisational unit: Chair
Chair Holder: Prof. Dr. rer. nat. Christel Baier
Research output: Contribution to journal › Research article › Contributed › peer-review
Research output: Contribution to journal › Conference article › Contributed › peer-review
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review
Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review
ISSNs: 2751-4838
Additional searchable ISSN (electronic): 2751-4838
Journal
ISSNs: 0166-5316
Additional searchable ISSN (electronic): 0166-5316
Elsevier Science B.V., Netherlands
Scopus rating (2024): CiteScore 3 SJR 0.426 SNIP 0.767
Journal
ISSNs: 2159-5399
Additional searchable ISSN (electronic): 2374-3468
Association for the Advancement of Artificial Intelligence
Scopus rating (2024): CiteScore 2 SJR 0.133 SNIP 0
Journal
ISSNs: 1571-0661
Additional searchable ISSN (electronic): 1571-0661
Elsevier Science B.V., Netherlands
Scopus rating (2021): CiteScore 2 SJR 0.357 SNIP 0.863
Journal
ISSNs: 0167-6423
Additional searchable ISSN (electronic): 0167-6423
Elsevier Science B.V., Netherlands
Scopus rating (2024): CiteScore 4 SJR 0.429 SNIP 1.233
Journal
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Activity: Talk or presentation at external institutions/events › Keynote › Invited
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Baier, C. (Recipient), Chau, C. (Recipient) & Klüppelholz, S. (Recipient), 11 Sept 2024
Prize: Publication/Conference prize
Aghamov, R. (Recipient), Piribauer, J. (Recipient), Baier, C. (Recipient), Karimov, T. (Recipient) & Ouaknine, J. (Recipient), 2024
Prize: Publication/Conference prize
Baier, C. (Recipient), 9 Sept 2022
Prize: Honors › Honorary doctorate
Wienhöft, P. (Creator), Open Science Framework, 13 Jun 2025
DOI: https://doi.org/10.17605/OSF.IO/R24MU
Dataset: Code
Wienhöft, P. (Creator), Open Science Framework, 13 Jun 2025
DOI: https://doi.org/10.17605/OSF.IO/H2F5U
Dataset: Code
Husung, N. (Creator), Käfer, N. (Creator) & Dubslaff, C. (Creator), Zenodo, 6 Jun 2025
DOI: https://doi.org/10.5281/zenodo.15583680, https://zenodo.org/records/15583680
Dataset: Code
Wienhöft, P. (Creator), Zenodo, 2 May 2025
DOI: https://doi.org/10.5281/zenodo.15322007, https://zenodo.org/records/15322007
Dataset: Code
Fenske, J. (Creator), Klüppelholz, S. (Contributor) & Korn, M. (Contributor), Zenodo, 31 Mar 2025
DOI: https://doi.org/10.5281/zenodo.15084627, https://zenodo.org/records/15111357
Dataset: Other datasets