Chair of Automata Theory
Organisational unit: Chair
Organisational unit: Chair
Person: Current
Research output: Contribution to journal › Research article › Contributed › peer-review
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Research output: Contribution to conferences › Paper › Contributed › peer-review
Research output: Contribution to conferences › Presentation slides › Contributed
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
ISSNs: 1012-2443
Additional searchable ISSN (Electronic): 1573-7470
Springer Science Business Media B.V., Netherlands
Scopus rating (2022): CiteScore 2.6 SJR 0.383 SNIP 0.92
Journal
ISSNs: 1559-6915
Additional searchable ISSN (Electronic): 1931-0161
Association for Computing Machinery (ACM), New York, United States
Journal
ISSNs: 0020-7179
Additional searchable ISSN (Electronic): 1366-5820
Taylor & Francis, London [u.a.]
Scopus rating (2022): CiteScore 4.9 SJR 0.87 SNIP 1.043
Journal
ISSNs: 2332-7790
IEEE, New York [u. a.], United States
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 (2022): CiteScore 9.8 SJR 1.514 SNIP 3.392
Journal
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
Activity: Visiting external institutions › Research stay
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
Nuradiansyah, Adrian (Recipient) & Baader, Franz (Recipient), 26 Sept 2019
Prize: Publication/Conference prize