Chair of Algebraic and Logical Foundations of Computer Science
Organisational unit: Chair
Contact
- Phone: 0351 463 38549
Organisational unit: Chair
Person: Current
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
Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed
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
ISSNs: 1571-0661
Additional searchable ISSN (Electronic): 1571-0661
Elsevier, Netherlands
Scopus rating (2021): CiteScore 2 SJR 0.357 SNIP 0.846
Journal
ISSNs: 0167-6423
Additional searchable ISSN (Electronic): 0167-6423
Elsevier Science, Netherlands
Scopus rating (2022): CiteScore 3.5 SJR 0.517 SNIP 1.123
Journal
ISSNs: 2372-3491
Association for Computing Machinery (ACM), New York, United States
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
ISSNs: 0169-2968
Additional searchable ISSN (Electronic): 1875-8681
IOS Press, Amsterdam [u. a.], Netherlands
Scopus rating (2022): CiteScore 3.2 SJR 0.338 SNIP 0.688
Journal
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Activity: Publication peer-review and editorial work › Editorial work
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Baier, Christel (Recipient), 2023
Prize: Research prize
Baier, Christel (Recipient), 9 Sept 2022
Prize: Honors › Honorary doctorate
Baier, Christel (Laureat), John, Tobias (Laureat), Klüppelholz, Sascha (Laureat) & Jantsch, Simon (Laureat), Oct 2021
Prize: Publication/Conference prize
Gburek (geb. Krähmann), Daniel (Laureat) & Baier, Christel (Laureat), 2018
Prize: Publication/Conference prize