Aachen papers per year
20
21
22
23
25
Papers 13
-
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, +6 more
7citations
13 results
Most active Aachen authors
-
Marius Politze 66 citations overall5 papers
-
Thomas Eifert 49 citations overall3 papers
-
Bernd Decker 6 citations overall3 papers
-
Denise Dittrich 3 citations overall3 papers
-
Stefan Schupp 429 citations overall2 papers
-
Ilona Lang 396 citations overall2 papers
-
Uta Christoph 21 citations overall2 papers
-
Jürgen Giesl 4,354 citations overall1 paper
-
Erika Ábrahám 3,470 citations overall1 paper
-
B. De Decker 155 citations overall1 paper
-
Marcel Hark 140 citations overall1 paper
-
M. Amin Yazdi 36 citations overall1 paper
-
Benedikt Heinrichs 22 citations overall1 paper
-
Sarah Grzemski 2 citations overall1 paper
-
Aylin Gündogan 1 citations overall1 paper