From

Institution

Field

Type

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

Reset

Papers matching “concurrency” 95

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
Mining Frequent Infix Patterns from Concurrency-Aware Process Execution Variants
2023 Proceedings of the VLDB Endowment article Computer Science Data Mining Algorithms and Applications

Michael Martini, Daniel Schuster, Wil M. P. van der Aalst

4

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
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
Concurrency Traces
2022 Studies in computational intelligence book-chapter Computer Science semigroups and automata theory

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

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
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
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
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
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
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
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs
2022 conference-paper Computer Science Software Testing and Debugging Techniques

Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar

3

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

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

2

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

Manfred Nagl

0

citations
Conference Reports
2025 ACM SIGLOG News article Computer Science Logic, programming, and type systems

Joost-Pieter Katoen

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
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
Subclasses of Step Traces
2022 Studies in computational intelligence book-chapter Computer Science Formal Methods in Verification

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

1

citations
Elementary Net Systems with Activator and Mutex Arcs
2022 Studies in computational intelligence book-chapter Computer Science Petri Nets in System Modeling

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

1

citations
MPI Finally Needs to Deal with Threads
2025 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques

Joseph Schuchart, Joachim Jenke, Simon Schwitanski

1

citations