From

Institution

Field

Type

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

Reset

Papers matching “concurrency analysis” 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Comparison between static analysis and model checking in the design of automation systems
2026 Control Engineering Practice article Computer Science Formal Methods in Verification Open access

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

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
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
Repeatability and reproducibility of deep-learning-based liver volume and Couinaud segment volume measurement tool
2021 Abdominal Radiology article Computer Science Medical Image Segmentation Techniques Open access

Amirkasra Mojtahed, John J. Connell, Alessandro Fichera, Rowan C. Nicholls, Mariana Marieiro, Anthony Puddu, +7 more

32

citations
Reinforcement Learning Agent for Multi-Objective Online Process Parameter Optimization of Manufacturing Processes
2025 Applied Sciences article Computer Science Advanced Multi-Objective Optimization Algorithms Open access cited by 1 patent

Akshay Paranjape, Nahid Quader, Lars Uhlmann, Benjamin Berkels, Dominik Wolfschläger, Robert Heinrich Schmitt, +1 more

4

citations
Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications
2022 IT Professional article Computer Science Software Testing and Debugging Techniques

Alexander Hück, Sebastian Kreutzer, Joachim Protze, Jan-Patrick Lehr, Christian H Bischof, Christian Terboven, +1 more

2

citations

7 results