Topics › Physical Sciences › Computer Science › Artificial Intelligence
Logic, programming, and type systems Sign in to save
221
Aachen papers (primary topic)
390
Further papers (secondary topic)
682
Citations
99
Aachen authors
Papers per year
20
21
22
23
24
25
26
Papers 221
Open in paper search →-
Foundations for Entailment Checking in Quantitative Separation Logic2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more
4citations -
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
4citations -
Towards an Isabelle Theory for distributed, interactive systems : the untimed case2020 RWTH Publications (RWTH Aachen) report Computer Science Logic, programming, and type systems Open access
Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe⋆, Sebastian Stüber, +1 more
3citations
Most active Aachen authors
-
Jürgen Giesl 4,354 citations overall57 papers
-
Joost-Pieter Katoen 20,330 citations overall52 papers
-
Nils Lommen 45 citations overall22 papers
-
Jan-Christoph Kassing 28 citations overall19 papers
-
Florian Frohn 567 citations overall17 papers
-
Hans-Dieter A. Hiep 52 citations overall15 papers
-
Philipp Schröer 61 citations overall14 papers
-
Darion Haase 19 citations overall13 papers
-
Frank S. de Boer 1,022 citations overall12 papers
-
Kevin Batz 271 citations overall12 papers
-
Éléanore Meyer 12 citations overall12 papers
-
Marcel Hark 140 citations overall9 papers
-
Tobias Winkler 172 citations overall8 papers
-
Dominique Unruh 2,925 citations overall7 papers
-
Henning Basold 98 citations overall7 papers