From

Institution

Field

Type

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

Reset

Papers matching “concurrent systems” 37

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
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
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
[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 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
Towards Timing Isolation for Mixed-Criticality Communication in Software-Defined Vehicles
2025 IEEE International Automated Vehicle Validation Conference (IAVVC) conference-paper Computer Science Real-Time Systems Scheduling Open access

Lóránt Meszlényi, Dominik Püllen, Stefan Kowalewski, Stefan Katzenbeisser, Alexandru Kampmann

1

citations
Towards Timing Isolation for Mixed-Criticality Communication in Software-Defined Vehicles
2025 arXiv (Cornell University) preprint Computer Science Real-Time Systems Scheduling Open access

Lóránt Meszlényi, Dominik Püllen, Stefan Kowalewski, Stefan Katzenbeisser, Alexandru Kampmann

0

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
An Integrative Approach for Software Architectures
2021 RWTH Publications (RWTH Aachen) report Computer Science Advanced Software Engineering Methodologies Open access

Manfred Nagl

0

citations
In Serverless, OS Scheduler Choice Costs Money: A Hybrid Scheduling Approach for Cheaper FaaS
2024 International Middleware Conference conference-paper Computer Science Cloud Computing and Resource Management Open access

Weikang Weng, Rob V. van Nieuwpoort, Alexandru Uta

8

citations
JuliaGPU/GPUArrays.jl: v11.3.0
2025 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Parallel Computing and Optimization Techniques Open access

0

citations
Deterministic Execution of ROS 2 Applications via Lingua Franca
2026 arXiv (Cornell University) preprint Computer Science Real-Time Systems Scheduling Open access

Harun Teper, Shaokai Lin, Shulu Li, Edward A. Lee, Jian-Jia Chen

0

citations
Assessing real-world gait with digital technology? Validation, insights and recommendations from the Mobilise-D consortium
2023 Journal of NeuroEngineering and Rehabilitation article Computer Science Context-Aware Activity Recognition Systems Open access

M. Encarna Micó-Amigo, Tecla Bonci, Anisoara Paraschiv-Ionescu, Martin Ullrich, Cameron Kirk, Abolfazl Soltani, +43 more

157

citations