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 →-
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
1citations -
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)2022 arXiv (Cornell University) preprint 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
0citations
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