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 book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Research output: Contribution to journal › Conference article › Contributed › peer-review
Research output: Contribution to journal › Research article › Contributed › peer-review
Research output: Contribution to journal › Research article › 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: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Baier, Christel (Recipient), 2023
Prize: Research prize
Baier, Christel (Recipient), 9 Sept 2022
Prize: Honors › Honorary doctorate
Baier, Christel (Laureat), John, Tobias (Laureat), Klüppelholz, Sascha (Laureat) & Jantsch, Simon (Laureat), Oct 2021
Prize: Publication/Conference prize
Gburek (geb. Krähmann), Daniel (Laureat) & Baier, Christel (Laureat), 2018
Prize: Publication/Conference prize