Institute of Theoretical Computer Science
Organisational unit: Institute
Contact
- TUD website: https://tu-dresden.de/ing/informatik/thi
Organisational unit: Institute
Research output: Contribution to journal › Research article › Contributed › peer-review
Research output: Contribution to journal › Conference article › 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 › Chapter in book/Anthology/Report › Contributed › peer-review
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
ISSNs: 1166-3081
Additional searchable ISSN (electronic): 1958-5780
Taylor and Francis Inc., United Kingdom
Scopus rating (2023): CiteScore 1.3 SJR 0.486 SNIP 1.048
Journal
ISSNs: 0304-3975
Elsevier Science B.V., Netherlands
Scopus rating (2023): CiteScore 2.6 SJR 0.57 SNIP 0.946
Journal
ISSNs: 1932-6203
PLOS
Scopus rating (2023): CiteScore 6.2 SJR 0.839 SNIP 1.084
Indexed in DOAJ
Journal
ISSNs: 2332-7766
Institute of Electrical and Electronics Engineers Inc.
Scopus rating (2019): CiteScore 6 SJR 0.581 SNIP 1.698
Journal
ISSNs: 0888-613X
Additional searchable ISSN (electronic): 1873-4731
Elsevier, New York [u. a.]
Scopus rating (2023): CiteScore 6.9 SJR 0.877 SNIP 1.5
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 › Keynote › Invited
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Baier, C. (Recipient), Chau, C. (Recipient) & Klüppelholz, S. (Recipient), 11 Sept 2024
Prize: Publication/Conference prize
Baader, F. (Recipient) & De Bortoli, F. (Recipient), Apr 2024
Prize: Publication/Conference prize
Aghamov, R. (Recipient), Piribauer, J. (Recipient), Baier, C. (Recipient), Karimov, T. (Recipient) & Ouaknine, J. (Recipient), 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
Käfer, N. (Creator), Husung, N. (Creator) & Dubslaff, C. (Creator), Zenodo, 10 Jul 2024
DOI: https://doi.org/10.5281/zenodo.12707100
Dataset: Code
Baier, C. (Creator), Chau, C. (Creator) & Klüppelholz, S. (Creator), Zenodo, 21 Apr 2024
DOI: https://doi.org/10.5281/zenodo.11005269, https://zenodo.org/records/11005269
Dataset: Other datasets
Korn, M. (Creator), Méndez, J. (Creator), Klüppelholz, S. (Creator), Langner, R. (Creator), Baier, C. (Creator) & Dachselt, R. (Creator), Zenodo, 30 Jun 2023
DOI: https://doi.org/10.5281/zenodo.8172531, https://zenodo.org/records/8172531
Dataset: Code
Chrszon, P. (Creator), Baier, C. (Creator), Dubslaff, C. (Creator) & Klüppelholz, S. (Creator), Zenodo, 11 Nov 2022
DOI: https://doi.org/10.5281/zenodo.7314315, https://zenodo.org/records/7314315
Dataset: Code
Chrszon, P. (Creator), Baier, C. (Creator), Dubslaff, C. (Creator) & Klüppelholz, S. (Creator), Zenodo, 24 Sept 2020
DOI: https://doi.org/10.5281/zenodo.4048533, https://zenodo.org/record/4048533
Dataset: Code