Chair of Automata Theory
Organisational unit: Chair
Organisation profile
Chair Holder: Prof. Dr.-Ing. Franz Baader
Contact
- TUD website: https://tu-dresden.de/ing/informatik/thi/lat
Organisational unit: Chair
Chair Holder: Prof. Dr.-Ing. Franz Baader
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
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Research output: Preprint/documentation/report › Working paper
ISSNs: 1012-2443
Additional searchable ISSN (electronic): 1573-7470
Springer Science Business Media B.V., Netherlands
Scopus rating (2023): CiteScore 3 SJR 0.411 SNIP 0.967
Journal
ISSNs: 1559-6915
Additional searchable ISSN (electronic): 1931-0161
Association for Computing Machinery (ACM), New York, United States of America
Journal
ISSNs: 0020-7179
Additional searchable ISSN (electronic): 1366-5820
Taylor & Francis, London [u.a.]
Scopus rating (2023): CiteScore 5 SJR 0.862 SNIP 0.996
Journal
ISSNs: 2332-7790
IEEE, New York [u. a.], United States of America
Scopus rating (2022): CiteScore 9.7 SJR 1.182 SNIP 2.144
Journal
ISSNs: 0001-0782
Additional searchable ISSN (electronic): 1557-7317
Association for Computing Machinery (ACM), New York
Scopus rating (2023): CiteScore 16.1 SJR 2.957 SNIP 5.136
Journal
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Activity: Visiting external institutions › Research stay
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Activity: Visiting external institutions › Research stay
Baader, Franz (Recipient) & De Bortoli, Filippo (Recipient), Apr 2024
Prize: Publication/Conference prize
Alrabbaa, Christian (Recipient), Baader, Franz (Recipient), Borgwardt, Stefan (Recipient), Koopmann, Patrick (Recipient) & Kovtunova, Alisa (Recipient), 2023
Prize: Publication/Conference prize
Alrabbaa, Christian (Recipient), Borgwardt, Stefan (Recipient), Hirsch, Anke (Recipient), Knieriemen, Nina (Recipient), Kovtunova, Alisa (Recipient), Rothermel, Anna Milena (Recipient) & Wiehr, Frederik (Recipient), 2022
Prize: Publication/Conference prize
Alrabbaa, Christian (Recipient) & Hieke, Willi (Recipient), 2022
Prize: Publication/Conference prize