Aachen papers per year
20
21
22
23
24
25
26
Papers 1,041
-
Joint Geographical and Temporal Modeling Based on Matrix Factorization for Point-of-Interest Recommendation2020 Lecture notes in computer science conference-paper Computer Science Recommender Systems and Techniques Open access
Hossein A. Rahmani, Mohammad Aliannejadi, Mitra Baratchi, Fábio Crestani
53citations -
Reusable FAIR Implementation Profiles as Accelerators of FAIR Convergence2020 Lecture notes in computer science conference-paper Computer Science Research Data Management Practices Open access
Erik Schultes, Barbara Magagna, Kristina Maria Hettne, Robert Pergl, Marek Suchánek, Tobias Kuhn
48citations -
On Correctness, Precision, and Performance in Quantitative Verification2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, +1 more
39citations -
Per-run Algorithm Selection with Warm-Starting Using Trajectory-Based Features2022 Lecture notes in computer science conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access
Ana Kostovska, Anja Jankovič, Diederick Vermetten, Jacob de Nobel, Hao Wang, Tome Eftimov, +1 more
38citations -
A Framework for Explainable Concept Drift Detection in Process Mining2021 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access
Jan Niklas Adams, Sebastiaan J. van Zelst, Lara Quack, Kathrin Hausmann, Wil M. P. van der Aalst, Thomas Rose
35citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations
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