From

Institution

Field

Type

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

Reset

Papers matching “concurrent systems” 47

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Relational Structures for Interval Order Semantics of Concurrent Systems
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

2

citations
Relational structures for concurrent behaviours
2020 Theoretical Computer Science article Computer Science Petri Nets in System Modeling Open access

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

7

citations
Compositionality of Safe Communication in Systems of Team Automata
2020 Zenodo (CERN European Organization for Nuclear Research) report Computer Science Formal Methods in Verification Open access

Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn

2

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
Runtime Composition of Systems of Interacting Cyber-Physical Components
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

5

citations
Concurrent Rules Machines
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Farhad Arbab, Carolyn Talcott

2

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
Concurrent NetKAT with Ports
2024 ACM/SIGAPP Symposium on Applied Computing (SAC) conference-paper Computer Science Logic, programming, and type systems Open access

Hui Feng, Marcello Bonsangue

0

citations
Introduction
2022 Studies in computational intelligence book-chapter Computer Science Formal Methods in Verification

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

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
Paradigms of Concurrency
2022 Studies in computational intelligence book Computer Science Distributed systems and fault tolerance

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

4

citations
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
2022 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

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

4

citations
A Guided Modeling Approach for Secure System Design
2024 IEEE International Conference on Software Architecture Companion (ICSA-C) conference-paper Computer Science Model-Driven Software Engineering Techniques

Alex R. Sabau

0

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
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
On the rtelation of rely-guarantee and assume-guarantee reasoning
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
[COMP25] The Automated Negotiating Agents Competition (ANAC) 2025 Challenges and Results
2026 International Joint Conference on Artificial Intelligence conference-paper Computer Science Multi-Agent Systems and Negotiation Open access

Reyhan Aydoğan, Tim Baarslag, Tamara C.P. Florijn, Katsuhide Fujita, Catholijn M. Jonker, Yasser Mohammad

1

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
Concurrency Paradigms
2022 Studies in computational intelligence book-chapter Computer Science Logic, programming, and type systems

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

0

citations
Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures
2026 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Sebastian Reimers, Dennis Sprokholt, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo C. O. Rocha, +4 more

1

citations
Irrationality of Process Replication for Higher-Dimensional Automata
2024 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory Open access

Thomas Baronner, Henning Basold, Márton Hablicsek

0

citations
Semantical Domains
2022 Studies in computational intelligence book-chapter Computer Science Formal Methods in Verification

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

0

citations
[COMP24] The Automated Negotiating Agents Competition (ANAC) 2024 Challenges and Results
2025 Adaptive Agents and Multi-Agents Systems conference-paper Computer Science Multi-Agent Systems and Negotiation Open access

Reyhan Aydoğan, Tim Baarslag, Tamara C.P. Florijn, Katsuhide Fujita, Catholijn M. Jonker, Yasser F. O. Mohammad

1

citations
Structural Analysis of GRAFCET Control Specifications
2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Petri Nets in System Modeling

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

2

citations
Structural Analysis of GRAFCET Control Specifications
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Petri Nets in System Modeling Open access

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

0

citations