From

Institution

Field

Type

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

Reset

Papers matching “separation logic” 66

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

The Logic of Separation Logic: Models and Proofs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

1

citations
Towards Concurrent Quantitative Separation Logic
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll

3

citations
Dynamic Separation Logic
2023 Electronic Notes in Theoretical Informatics and Computer Science article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

1

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
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
A sound and complete proof system for separation logic (part 1)
2024 other Computer Science Logic, programming, and type systems Open access

Hans-Dieter A. Hiep, Frank S. de Boer

0

citations
Beyond Concurrent Separation Logic: Who is Afraid of Completeness Proofs?
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Frank S. de Boer, Hans-Dieter A. Hiep

0

citations
Separation logic and logics with team semantics
2021 Annals of Pure and Applied Logic article Computer Science Logic, Reasoning, and Knowledge

Darion Haase, Erich Grädel, Richard Wilke

3

citations
Foundations for Entailment Checking in Quantitative Separation Logic
2022 Lecture notes in computer science conference-paper 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

4

citations
A First-order Logic with Frames
2023 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

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

2

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
Footprint Logic for Object-Oriented Components (extended paper)
2024 Formal Aspects of Computing article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian

0

citations
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Eva Fluck, Tim Seppelt, Gian Luca Spitzer

0

citations
Reliability challenges for resistive random-access memory-based parallel logic computing
2026 npj Unconventional Computing article Engineering Advanced Memory and Neural Computing Open access

Leon Brackmann, Tobias Ziegler, Nils Kopperberg, Rainer Waser, Stephan Menzel

0

citations
Mixed-mode in-memory computing: towards high-performance logic processing in a memristive crossbar array
2025 Communications Engineering article Engineering Advanced Memory and Neural Computing Open access

Nan Du, Ilia Polian, Christopher Bengel, Kefeng Li, Ziang Chen, Xianyue Zhao, +5 more

4

citations
Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt

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
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
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Advanced Graph Theory Research

Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus

1

citations
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Advanced Graph Theory Research Open access

Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus

0

citations
Editorial: The wetware credentials of intermediate filaments involves coordinating, organising and networking in cells and tissues
2023 Frontiers in Cell and Developmental Biology editorial Biochemistry, Genetics and Molecular Biology Skin and Cellular Biology Research Open access

Rudolf E. Leube, Roy A. Quinlan

1

citations
Choiceless Computation and Symmetry: Limitations of Definability
2021 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Benedikt Pago

4

citations
Limitations of the invertible-map equivalences
2022 Journal of Logic and Computation article Computer Science Advanced Graph Theory Research Open access

Anuj Dawar, Erich Grädel, Moritz Lichter

4

citations
Finite Model Theory and Proof Complexity Revisited: Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus
2022 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Benedikt Pago

0

citations
Computer-Interpretable Quality Indicators for Intensive Care Medicine: Development and Validation Study
2025 Journal of Medical Internet Research article Health Professions Electronic Health Records Systems Open access

Falk von Dincklage, Viktor Bublitz, Oliver Kumpf, Carlo Jurth, Reimer Rießen, Maria Deja, +2 more

1

citations