From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “logic programming” 34

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Foundations of Probabilistic Programming
2020 Cambridge University Press eBooks book Computer Science Logic, programming, and type systems Open access

Fredrik Dahlqvist, Alexandra Silva, Dexter C. Kozen, Sam Staton, Daniel Huang, Greg Morrisett, +40 more

63

citations
A First-Order Logic with Frames
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

6

citations
Assistance for PLC Programming during Development based on Static Analysis
2020 RWTH Publications (RWTH Aachen) book Computer Science Logic, programming, and type systems Open access

Mathias Obster

0

citations
Converting networks to predictive logic models from perturbation signalling data with CellNOpt
2020 bioRxiv (Cold Spring Harbor Laboratory) preprint Biochemistry, Genetics and Molecular Biology Gene Regulatory Network Analysis Open access

Enio Gjerga, Panuwat Trairatphisan, Attila Gábor, Hermann Koch, Francesco Ceccarelli, Aurélien J. F. Dugourd, +2 more

4

citations
Converting networks to predictive logic models from perturbation signalling data with CellNOpt
2020 Bioinformatics article Biochemistry, Genetics and Molecular Biology Gene Regulatory Network Analysis Open access

Enio Gjerga, Panuwat Trairatphisan, Attila Gábor, Hermann Koch, Franceco Ceccarelli, Aurélien J. F. Dugourd, +2 more

37

citations
Expected Runtime Analyis by Program Verification
2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

12

citations
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Romain Péchoux

17

citations
Quantum Programming with Inductive Datatypes
2020 HAL (Le Centre pour la Communication Scientifique Directe) preprint Computer Science Logic, programming, and type systems Open access

Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev

3

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
Inferring Lower Runtime Bounds for Integer Programs
2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

12

citations
Preface
2020 other Computer Science Logic, programming, and type systems Open access

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

0

citations
On the Implementation of Business Process Logic in DLT Nodes
2020 Asia Service Sciences and Software Engineering Conference (ASSE) conference-paper Business, Management and Accounting Business Process Modeling and Analysis

Thomas Osterland, Thomas Rose, Clemens Putschli

7

citations
Relatively Complete Verification of Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
Weakest Preexpectation Semantics for Bayesian Inference
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Marcin Szymczak, Joost-Pieter Katoen

5

citations
Implementation of a predicate-guided termination snalysis for pointer programs
2020 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
2020 Theory and Practice of Logic Programming article Computer Science Logic, programming, and type systems Open access

Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold

3

citations
Weisfeiler and Leman’s Unlikely Journey from Graph Isomorphism to Neural Networks (Invited Talk)
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Graph Theory and Algorithms Open access

Martin Grohe

0

citations
SymPaths: Symbolic Execution Meets Partial Order Reduction
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Marcello Bonsangue, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

2

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

0

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Marcel Hark, Jürgen Giesl

0

citations
Polynomial Loops: Beyond Termination
2020 EPiC series in computing conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Hark, Florian Frohn, Jürgen Giesl

13

citations
Why is there no Northeast Asian security architecture? –Assessing the strategic impediments to a stable East Asia
2020 The Pacific Review article Social Sciences International Relations and Foreign Policy Open access

Friso M. S. Stevens

5

citations
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Alex C. Keizer, Henning Basold, Jorge A. Pérez

0

citations
Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

0

citations
Recursive Abstract State Machines
2020 article Computer Science Logic, programming, and type systems Open access

Yuri Gurevich

23

citations