A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “concurrent separation logic” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
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
Modelling and measuring complexity of traditional and ancient technologies using Petri nets
2022 PLoS ONE article Computer Science Petri Nets in System Modeling Open access

Sebastian Fajardo, Jetty Kleijn, Frank W. Takes, Geeske H. J. Langejans

12

citations

4 results