A Aralex Aachen research explorer

ACM SIGLOG News Sign in to save

Search and filter its papers →

6

Aachen authors

Patent citations

–

h-index (all)

Aachen papers per year

20

22

23

24

25

Papers 9

The Weisfeiler-Leman algorithm
2020 ACM SIGLOG News article Computer Science Advanced Graph Theory Research

Sandra Kiefer

24

citations
Report on women in logic 2020 & 2021
2022 ACM SIGLOG News article Social Sciences Career Development and Diversity

Sandra Kiefer, Ana Sokolova

0

citations
Conference Reports
2023 ACM SIGLOG News article Computer Science Logic, programming, and type systems Open access

Joost-Pieter Katoen

0

citations
CONFERENCE REPORTS
2024 ACM SIGLOG News article Computer Science Logic, programming, and type systems

Joost-Pieter Katoen

0

citations
Conference Reports
2025 ACM SIGLOG News article Computer Science Logic, programming, and type systems

Joost-Pieter Katoen

0

citations
Report on Probability in Computer Science (PICS) 2024
2025 ACM SIGLOG News article Mathematics Probability and Statistical Research

Emma Ahrens, Christina Gehnen, Lena Verscht

0

citations
Conference Reports
2025 ACM SIGLOG News article Computer Science semigroups and automata theory Open access

Joost-Pieter Katoen

0

citations
Conference Reports
2025 ACM SIGLOG News article Computer Science Logic, programming, and type systems

Joost-Pieter Katoen

0

citations
Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)
2025 ACM SIGLOG News article Computer Science Logic, programming, and type systems

Emma Ahrens, Jan-Christoph Kassing

0

citations

9 results

Most active Aachen authors

Joost-Pieter Katoen 20,330 citations overall
5 papers
Sandra Kiefer 214 citations overall
2 papers
Emma Ahrens 9 citations overall
2 papers
Jan-Christoph Kassing 28 citations overall
1 paper
Lena Verscht 26 citations overall
1 paper
Christina Gehnen 13 citations overall
1 paper