Chair of Automata Theory
Organisational unit: Chair
Organisation profile
Chair Holder: Prof. Dr.-Ing. Franz Baader
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: Preprint/Documentation/Report › Working paper
Research output: Contribution to journal › Research article › Contributed › peer-review
Research output: Contribution to journal › Research article › Invited › peer-review
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
ISSNs: 1012-2443
Additional searchable ISSN (electronic): 1573-7470
Springer, Dordrecht [u. a.], 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)
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, F. (Recipient) & De Bortoli, F. (Recipient), Apr 2024
Prize: Publication/Conference prize
Alrabbaa, C. (Recipient), Baader, F. (Recipient), Borgwardt, S. (Recipient), Koopmann, P. (Recipient) & Kovtunova, A. (Recipient), 2023
Prize: Publication/Conference prize
Alrabbaa, C. (Recipient), Borgwardt, S. (Recipient), Hirsch, A. (Recipient), Knieriemen, N. (Recipient), Kovtunova, A. (Recipient), Rothermel, A. M. (Recipient) & Wiehr, F. (Recipient), 2022
Prize: Publication/Conference prize
Alrabbaa, C. (Recipient) & Hieke, W. (Recipient), 2022
Prize: Publication/Conference prize