From

Institution

Field

Type

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

Reset

Papers matching “concurrent systems” 10

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
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
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
2022 Research Square preprint 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

19

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
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
Two-Memory Reinforcement Learning
2023 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Yang Zhao, Thomas M. Moerland, Mike Preuß, Aske Plaat

0

citations
Controlling Golog Programs against MTL Constraints
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Till Hofmann, Stefan Schupp

0

citations
Beyond Self-Report: Making AI Use Observable at Scale: Behavioral Traces, Adaptive Interviews, and Distributed Hermeneutic Inquiry
2026 Zenodo (CERN European Organization for Nuclear Research) preprint Computer Science Artificial Intelligence in Education Open access

Daniel Autenrieth, Lea Schulz, Nina Autenrieth

0

citations

10 results