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 › Presentation slides › Contributed
Research output: Preprint/documentation/report › Preprint
Research output: Contribution to conferences › Presentation slides › Contributed
ISSNs: 0020-7179
Additional searchable ISSN (Electronic): 1366-5820
Taylor & Francis, London [u.a.]
Scopus rating (2021): CiteScore 4.8 SJR 0.928 SNIP 1.153
Journal
ISSNs: 2332-7790
IEEE, New York [u. a.], United States
Scopus rating (2021): CiteScore 6.9 SJR 0.656 SNIP 1.791
Journal
ISSNs: 0001-0782
Additional searchable ISSN (Electronic): 1557-7317
Association for Computing Machinery (ACM), New York
Scopus rating (2021): CiteScore 8.7 SJR 1.564 SNIP 3.014
Journal
ISSNs: 0170-6012
Additional searchable ISSN (Electronic): 1432-122X
Springer Verlag, Germany
Scopus rating (2021): CiteScore 0.9 SJR 0.192 SNIP 0.272
Journal
ISSNs: 1541-1672, 1094-7167, 0885-9000
Additional searchable ISSN (Electronic): 2374-9423
IEEE, New York [u. a.]
Scopus rating (2021): CiteScore 7.5 SJR 1.572 SNIP 2.138
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
Nuradiansyah, Adrian (Recipient) & Baader, Franz (Recipient), 26 Sep 2019
Prize: Publication prize
Borgwardt, Stefan (Recipient) & Forkel, Walter (Recipient), 2019
Prize: Publication prize