Topics › Physical Sciences › Computer Science › Artificial Intelligence

Logic, programming, and type systems Sign in to save

383

Further papers (secondary topic)

682

Citations

Aachen authors

Patent citations

Papers per year

Papers 220

Open in paper search →

Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

11

citations
AProVE: Non-Termination Witnesses for C Programs
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jera Hensel, Constantin Mensendiek, Jürgen Giesl

10

citations
Improving Automatic Complexity Analysis of Integer Programs
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer

10

citations
RustyHermit: A Scalable, Rust-Based Virtual Execution Environment
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Stefan Lankes, Jonathan Klimt, Jens Breitbart, Simon Pickartz

10

citations
Generating Functions for Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler

9

citations
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

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

9

citations
Termination of triangular polynomial loops
2023 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

Marcel Hark, Florian Frohn, Jürgen Giesl

8

citations
A calculus for modular loop acceleration and non-termination proofs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

8

citations
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

7

citations
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

7

citations
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

7

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
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper)
2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

6

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
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
A Rewriting Framework for Interacting Cyber-Physical Agents
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

6

citations
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Florian Frohn, Jürgen Giesl

5

citations
AProVE (KoAT + LoAT)
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

5

citations
Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques
2022 HAL (Le Centre pour la Communication Scientifique Directe) conference-paper Computer Science Logic, programming, and type systems Open access

5

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

Most active Aachen authors

Jürgen Giesl 4,354 citations overall
57 papers
Joost-Pieter Katoen 20,330 citations overall
52 papers
Nils Lommen 45 citations overall
22 papers
Jan-Christoph Kassing 28 citations overall
19 papers
Florian Frohn 567 citations overall
17 papers
Hans-Dieter A. Hiep 52 citations overall
15 papers
Philipp Schröer 61 citations overall
14 papers
Darion Haase 19 citations overall
13 papers
Frank S. de Boer 1,022 citations overall
12 papers
Kevin Batz 271 citations overall
12 papers
Éléanore Meyer 12 citations overall
12 papers
Marcel Hark 140 citations overall
9 papers
Tobias Winkler 172 citations overall
8 papers
Dominique Unruh 2,925 citations overall
7 papers
Henning Basold 98 citations overall
7 papers

Logic, programming, and type systems ▲ Sign in to save

Papers per year

Papers 220

Most active Aachen authors

Logic, programming, and type systems Sign in to save