From

Institution

Field

Type

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

Reset

Papers matching “logic programming” 269

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

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
On Propositional Program Equivalence (Extended Abstract)
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Tobias Kappé

0

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
Weighted Programming
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen

0

citations
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

0

citations
Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Daniel Basgöze, Kevin Batz, Sebastian Junges, Joost-Pieter Katoen

0

citations
Differentiable Programming: Efficient Smoothing of Control-Flow-Induced Discontinuities
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Sebastian Christodoulou, Uwe Naumann

2

citations
Exploring the Programming Concepts Practiced by Scratch Users: an Analysis of Project Repositories
2021 IEEE Global Engineering Education Conference (EDUCON) conference-paper Computer Science Teaching and Learning Programming

Ad Zeevaarders, Efthimia Aivaloglou

5

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

1

citations
XT-Based Decomposition of a PLC Controller Program in Distributed Control Application Using Petri Nets for Implementation Employing SFC Language
2026 International Conference on Methods and Models in Automation and Robotics conference-paper Computer Science Petri Nets in System Modeling

Łukasz Stefanowicz, Mariusz Buciakowski, Szymon Wermiński, Marcin Witczak

0

citations
Towards a Deductive Verification Infrastructure for Weighted Programming
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Samuel Rode, Philipp Schröer, Joost-Pieter Katoen

0

citations
Reflection on the differences between modeling and programming
2022 Software & Systems Modeling editorial Computer Science Model-Driven Software Engineering Techniques Open access

Jeff Gray, Bernhard Rumpe⋆

0

citations
Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab

0

citations
MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Marius Molz, Niels Schneider, Sven Lechner, Stefan Kowalewski, Alexandru Kampmann

0

citations
Reasoning about distributed reconfigurable systems
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Marius Dorel Bozga, Radu Iosif, Joost-Pieter Katoen

6

citations
Vibe Coding in Practice: Building a Driving Simulator Without Expert Programming Skills
2025 International Conference on Automotive User Interfaces and Interactive Vehicular Applications (AutomotiveUI) conference-paper Computer Science Software Engineering Research Open access

Margarida Fortes-Ferreira, Md Shadab Alam, Pavlo Bazilinskyy

8

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
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

0

citations
Reasoning about Reconfigurations of Distributed Systems
2021 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Marius Dorel Bozga, Radu Iosif, Joost-Pieter Katoen

0

citations
On Invariance and Inconsistency
2024 other Computer Science Logic, programming, and type systems Open access

Hans-Dieter A. Hiep

0

citations