From

Institution

Field

Type

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

Reset

Papers matching “branching time” 12

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
2025 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Ming Xu, Jingyi Mei, Ji Guan, Yuxin Deng, Nengkun Yu

3

citations
BSAC-CoEx: Coexistence of URLLC and Distributed Learning Services via Device Selection
2025 IEEE Transactions on Network and Service Management article Computer Science IoT and Edge/Fog Computing Open access

Milad Ganjalizadeh, Hossein Shokri‐Ghadikolaei, Denız Gündüz, Marina Petrova

3

citations
Efficient Qubit Calibration by Binary-Search Hamiltonian Tracking
2025 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Fabrizio Berritta, Jacob Benestad, Lukas Pahl, M. Geo Mathews, Jan A. Krzywda, Réouven Assouly, +11 more

4

citations
Towards expert-level AI-based classification of coronary angiography reports: a comparison of LLM approaches
2025 European Heart Journal article Computer Science Machine Learning in Healthcare

Wouter P M van der Loo, Viktor van der Valk, T. van den Broek, Douwe E. Atsma, Marius Staring, R.W.C. Scherptong

0

citations
Routing Brain Traffic Through the Von Neumann Bottleneck: Parallel Sorting and Refactoring
2022 Frontiers in Neuroinformatics article Computer Science Parallel Computing and Optimization Techniques Open access

Jari Pronold, Jakob Jordan, Brian J. N. Wylie, Itaru Kitayama, Markus Diesmann, Susanne Kunkel

18

citations
TinyAD: Automatic Differentiation in Geometry Processing Made Simple
2022 Computer Graphics Forum article Computer Science Computer Graphics and Visualization Techniques Open access

Patrick Schmidt, Janis Born, David Bommes, Marcel Campen, Leif P. Kobbelt

21

citations
Aortic Vessel Tree Segmentation for Cardiovascular Diseases Treatment: Status Quo
2025 ACM Computing Surveys article Computer Science Medical Image Segmentation Techniques Open access

Yuan Jin, Antonio Pepe, Christina Gsaxner, Behrus Puladi, Fenhua Zhao, Kelsey L. Pomykala, +3 more

8

citations
Stable and Unstable Spatially-Periodic Canards Created in Singular Subcritical Turing Bifurcations in the Brusselator System
2026 Journal of Nonlinear Science article Computer Science Nonlinear Dynamics and Pattern Formation Open access

Robert Jencks, Arjen Doelman, Tasso J. Kaper, Theodore Vo

4

citations
Fast maximal clique enumeration in weighted temporal networks
2026 Social Network Analysis and Mining article Computer Science Graph Theory and Algorithms Open access

Hanjo D. Boekhout, Frank W. Takes

0

citations
A novel 3D image registration technique for augmented reality vision in minimally invasive thoracoscopic pulmonary segmentectomy
2024 International Journal of Computer Assisted Radiology and Surgery article Computer Science Augmented Reality Applications Open access

Jette J. Peek, Xucong Zhang, Klaus Hildebrandt, Samuel A Max, Amir H. Sadeghi, Ad J.J.C. Bogers, +1 more

12

citations
Performance Made Visible: A Tool-Based Exploration of HPC Applications
2025 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Parallel Computing and Optimization Techniques Open access

Krishna Sai Lakshmi Gayatri Manda, Ayushya Pare, Michael Commer, M. Errenst, Matthias Hellmann, Marc-André Hermanns, +1 more

0

citations
Performance Made Visible: A Tool-Based Exploration of HPC Applications
2025 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Parallel Computing and Optimization Techniques Open access

Krishna Sai Lakshmi Gayatri Manda, Ayushya Pare, Michael Commer, M. Errenst, Matthias Hellmann, Marc-André Hermanns, +1 more

0

citations

12 results