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: Types of thesis › Doctoral thesis
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › 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 › Conference contribution › Contributed › peer-review
ISSNs: 2159-5399
Additional searchable ISSN (electronic): 2374-3468
AAAI Press
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 (2023): CiteScore 3.8 SJR 0.511 SNIP 0.916
Journal
ISSNs: 2372-3491
Association for Computing Machinery (ACM), New York, United States of America
Journal
ISSNs: 0098-5589
Additional searchable ISSN (electronic): 1939-3520
IEEE Xplore, United States of America
Scopus rating (2023): CiteScore 9.7 SJR 1.868 SNIP 2.591
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: Organising or participating in an event › Participating in an event
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
Käfer, N. (Creator), Husung, N. (Creator) & Dubslaff, C. (Creator), Zenodo, 10 Jul 2024
DOI: https://doi.org/10.5281/zenodo.12707100
Dataset: Code