Topics › Physical Sciences › Computer Science › Computational Theory and Mathematics
Formal Methods in Verification Sign in to save
345
Aachen papers (primary topic)
398
Further papers (secondary topic)
1.52k
Citations
127
Aachen authors
Papers per year
20
21
22
23
24
25
26
Papers 345
Open in paper search →-
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
Most active Aachen authors
-
Joost-Pieter Katoen 20,330 citations overall109 papers
-
Tim Quatmann 886 citations overall74 papers
-
Erika Ábrahám 3,470 citations overall54 papers
-
Tobias Winkler 172 citations overall27 papers
-
Jürgen Giesl 4,354 citations overall13 papers
-
Mingshuai Chen 664 citations overall12 papers
-
Alexander Bork 61 citations overall12 papers
-
Florian Frohn 567 citations overall11 papers
-
Jetty Kleijn 1,024 citations overall9 papers
-
Christopher Brix 229 citations overall9 papers
-
Farhad Arbab 6,185 citations overall8 papers
-
Sebastian Junges 2,680 citations overall8 papers
-
Marcus Völker 126 citations overall8 papers
-
László Antal 69 citations overall8 papers
-
Hannah Mertens 9 citations overall8 papers