Aachen papers per year
20
21
22
23
24
25
26
Papers 1,041
-
Latticed k-Induction with an Application to Probabilistic Programs2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
21citations -
Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking2023 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis
Felix Mannhardt, Sander J. J. Leemans, Christopher T. Schwanen, Massimiliano de Leoni
19citations -
GEval: A Modular and Extensible Evaluation Framework for Graph Embedding Techniques2020 Lecture notes in computer science conference-paper Computer Science Advanced Graph Neural Networks Open access
Maria Angela Pellegrino, Abdulrahman Altabba, Martina Garofalo, Petar Ristoski, Michael Cochez
19citations -
FakeYou! - A Gamified Approach for Building and Evaluating Resilience Against Fake News2020 Lecture notes in computer science conference-paper Social Sciences Misinformation and Its Impacts Open access
Lena Clever, Dennis Assenmacher, Kilian Müller, Moritz Vinzent Seiler, Dennis M. Riehle, Mike Preuß, +1 more
19citations
Most active Aachen authors
-
Wil M. P. van der Aalst 102,979 citations overall68 papers
-
Joost-Pieter Katoen 20,330 citations overall51 papers
-
Thomas Bäck 22,845 citations overall38 papers
-
Martina Ziefle 12,214 citations overall32 papers
-
Erika Ábrahám 3,470 citations overall25 papers
-
Jürgen Giesl 4,354 citations overall24 papers
-
Suzan Verberne 2,854 citations overall23 papers
-
Alfons Laarman 1,044 citations overall20 papers
-
Serge Fehr 3,609 citations overall17 papers
-
Stefan Decker 17,307 citations overall16 papers
-
Tim Quatmann 886 citations overall15 papers
-
Tobias Winkler 172 citations overall15 papers
-
Holger H. Hoos 29,243 citations overall14 papers
-
Sander J. J. Leemans 4,110 citations overall14 papers
-
Ulrik Schroeder 3,817 citations overall14 papers