Topics › Physical Sciences › Computer Science › Artificial Intelligence
Logic, Reasoning, and Knowledge Sign in to save
Papers per year
20
21
22
23
24
25
26
Papers 52
Open in paper search →-
Weighted programming: a programming paradigm for specifying mathematical models2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, Reasoning, and Knowledge Open access
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
18citations
Most active Aachen authors
-
Gerhard Lakemeyer 5,416 citations overall15 papers
-
Daxin Liu 470 citations overall6 papers
-
Joost-Pieter Katoen 20,330 citations overall5 papers
-
Martin Grohe 12,906 citations overall5 papers
-
Erich Grädel 7,146 citations overall5 papers
-
Wolfgang Thomas 5,927 citations overall4 papers
-
Richard Wilke 24 citations overall4 papers
-
Peter Lindner 1,576 citations overall3 papers
-
Hayyan Helal 27 citations overall3 papers
-
Benjamin Lucien Kaminski 1,311 citations overall2 papers
-
Erich Grädel 102 citations overall2 papers
-
Matthias Naaf 87 citations overall2 papers
-
Lena Verscht 26 citations overall2 papers
-
Sophie Brinke 0 citations overall2 papers
-
Héctor Geffner 8,010 citations overall1 paper