From

Institution

Field

Type

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

Reset

Papers matching “concurrency” 69

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers
2023 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Joachim Jenke, Simon Schwitanski, Isabel Thärigen

8

citations
Proceedings 19th Interaction and Concurrency Experience
2026 Electronic Proceedings in Theoretical Computer Science article Computer Science Logic, programming, and type systems Open access

Luc Edixhoven, Simon Fowler, Rumyana Neykova, Violet Ka I Pun

0

citations
Finding Concurrency Bugs in Production
2021 Zenodo (CERN European Organization for Nuclear Research) preprint Computer Science Software Testing and Debugging Techniques Open access

Marvin Strangfeld

0

citations
Application and Theory of Petri Nets and Concurrency: Special Issue of Selected Papers from Petri Nets 2022
2024 HAL (Le Centre pour la Communication Scientifique Directe) other Computer Science Petri Nets in System Modeling Open access

Luca Bernardinello, Jetty Kleijn, Laure Petrucci

0

citations
Finding Concurrency Bugs in Production
2021 Zenodo (CERN European Organization for Nuclear Research) preprint Computer Science Software Testing and Debugging Techniques Open access

Marvin Strangfeld

0

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
Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
2026 arXiv (Cornell University) preprint Computer Science Petri Nets in System Modeling Open access

Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst

0

citations
A parallel algorithm for Gaussian elimination over finite fields
2025 Journal of Algebra article Computer Science Matrix Theory and Algorithms Open access

Stephen Linton, Gabriele Nebe, Alice C. Niemeyer, Jon Thackray

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
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
In-Memory Indexed Caching for Distributed Data Processing
2022 Proceedings - IEEE International Parallel and Distributed Processing Symposium conference-paper Computer Science Advanced Database Systems and Queries Open access cited by 1 patent

Alexandru Uta, Bogdan Ghiț, Ankur Dave, Jan S. Rellermeyer, Peter A. Boncz

2

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
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
In-Memory Indexed Caching for Distributed Data Processing
2021 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Alexandru Uta, Bogdan Ghiț, Ankur Dave, Jan S. Rellermeyer, Peter A. Boncz

0

citations
SymPaths: Symbolic Execution Meets Partial Order Reduction
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Marcello Bonsangue, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

2

citations
Cricket: A virtualization layer for distributed execution of CUDA applications with checkpoint/restart support
2021 Concurrency and Computation Practice and Experience article Computer Science Distributed systems and fault tolerance Open access

Niklas Eiling, Jonas Baude, Stefan Lankes, Antonello Monti

15

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
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
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
Toward ubiquitous surgical assistance services via private 5G infrastructure
2026 International Journal of Computer Assisted Radiology and Surgery article Computer Science IoT and Edge/Fog Computing Open access

Philipp Schollmaier, Benjamin Hohlmann, Noah Wickel, Ha Uyen Nguyen, Okan Yılmaz, Alisa Kovler, +4 more

0

citations
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

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

0

citations
Towards a Hybrid MPI Correctness Benchmark Suite
2022 European MPI Users' Group Meeting (EuroMPI) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Tim Jammer, Alexander Hück, Jan-Patrick Lehr, Joachim Protze, Simon Schwitanski, Christian H Bischof

13

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
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
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