From

Institution

Field

Type

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

Reset

Papers matching “concurrent systems” 22

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
Parallax error indicates simple cue-anchoring in the head-direction system
2025 bioRxiv (Cold Spring Harbor Laboratory) preprint Neuroscience Memory and Neural Mechanisms Open access

Sven Krausse, Emre Neftci, Friedrich T. Sommer, Alpha Renner

1

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
The Directed Van Kampen Theorem in Lean
2023 arXiv (Cornell University) preprint Mathematics Homotopy and Cohomology in Algebraic Topology Open access

Henning Basold, Peter Bruin

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
Dynamic Core Allocation for Malleable Jobs with Unknown Speed-up Parameters
2026 arXiv (Cornell University) preprint Business, Management and Accounting Advanced Queuing Theory Analysis Open access

Shreehari Anand Bodas, Jan-Pieter L. Dorsman, Michel Mandjes, Liron Ravner

0

citations
Male brain processing of the body odor of ovulating women compared to that of pregnant women
2020 bioRxiv (Cold Spring Harbor Laboratory) preprint Neuroscience Olfactory and Sensory Function Studies Open access

Ute Habel, Christina Regenbogen, Catharina Kammann, Susanne Stickel, Natalia Chechko

0

citations
Case study of a site-specific design and operation optimization of a wind farm co-located PEM electrolyzer and BESS including degradation
2026 Wind Energy Science Discussions preprint Energy Hybrid Renewable Energy Systems Open access

Dustin Bruno Frings, Georg Jacobs, Thorsten Reichartz, Thora Potthoff, Lucas Blickwedel, Martin Knops

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
Synchrony of mind and body are distinct in mother-child dyads
2021 bioRxiv (Cold Spring Harbor Laboratory) preprint Psychology Action Observation and Synchronization Open access

Vanessa Reindl, Sam V. Wass, Victoria Leong, Wolfgang Scharke, Sandra Wistuba, Christina Lisa Wirth, +2 more

5

citations
Elements of future snowpack modeling – part 1: A physical instability arising from the non-linear coupling of transport and phase changes
2021 preprint Earth and Planetary Sciences Cryospheric studies and observations Open access

Konstantin Schürholt, Julia Kowalski, Henning Löwe

7

citations
Pupil-based states of brain integration across cognitive states
2020 bioRxiv (Cold Spring Harbor Laboratory) preprint Neuroscience Functional Brain Connectivity Studies Open access

Verónica Mäki-Marttunen

4

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
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 Social Sciences Ethics and Social Impacts of AI Open access

Daniel Autenrieth, Lea Schulz, Nina Autenrieth

0

citations
Dissecting the Obscured Core of GN20: an Active Galactic Nucleus Outshone by Young Stars
2026 arXiv (Cornell University) preprint Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access

M. Hamed, Luis Colina, Pablo G. Pérez‐González, J. Álvarez Márquez, Alejandro Crespo Gómez, Leindert Boogaard, +14 more

0

citations
Fibers and Glasses are Competing Material States in FUS Protein Condensation
2026 bioRxiv (Cold Spring Harbor Laboratory) preprint Medicine Amyotrophic Lateral Sclerosis Research Open access

Liru Feng, Iain Muntz, Ryota Takaki, Lionel A. Ndamba, Martine Ruer, Frank Jülicher, +1 more

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
Efficient quantification of lipid packing defect sensing by amphipathic peptides; comparing Martini 2 & 3 with CHARMM36
2022 bioRxiv (Cold Spring Harbor Laboratory) preprint Biochemistry, Genetics and Molecular Biology Lipid Membrane Structure and Behavior Open access

Niek van Hilten, Kai Steffen Stroh, Herre Jelger Risselada

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

22 results