From

Institution

Field

Type

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

Reset

Papers matching “branching time” 28

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Branch-and-price strikes back for the k-vertex cut problem
2026 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Fabio Ciccarelli, Fabio Furini, Christopher Hojny, Marco E. Lübbecke

0

citations
Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Formal Methods in Verification Open access

Konstantin Kaulen, Holger H. Hoos

3

citations
THGFM: Dual-Branch Temporal Heterogeneous Graph Fusion Model
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Yixin Peng, Diego Collarana, 金儿, Stefan Decker

0

citations
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
Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs
2025 arXiv (Cornell University) preprint Computer Science Constraint Satisfaction and Optimization Open access

Jan Tönshoff, Martin Grohe

0

citations
A New Challenge: Approaching Tetris Link with AI
2021 IEEE Conference on Games (CoG) conference-paper Computer Science Artificial Intelligence in Games Open access

Matthias Müller-Brockhausen, Mike Preuß, Aske Plaat

6

citations
Unknown Biases and Timing Constraints in Timed Automata
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Darion Haase, Joost-Pieter Katoen

0

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

15

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
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

1

citations
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

0

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
Novelty-based Tree-of-Thought Search for LLM Reasoning and Planning
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Leon Hamm, Zlatan Ajanović

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
Runtime Analysis of Quality Diversity Algorithms
2023 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Evolutionary Algorithms and Applications Open access

Jakob Bossek, Dirk Sudholt

4

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
Zettlr/Zettlr: Release v2.0.0-beta
2021 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Mobile and Web Applications Open access

Hendrik Erz, Tobias Diez, Craig S. Keogh, Derkness, actions-user, Wieke, +16 more

0

citations
Improved Discrete Queuing Search Algorithm for Traveling Salesman Problem
2023 Zenodo (CERN European Organization for Nuclear Research) book-chapter Computer Science Metaheuristic Optimization Algorithms Research Open access

Burak Gülmez

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
Accurately Solving Physical Systems with Graph Learning
2020 arXiv (Cornell University) preprint Computer Science Computer Graphics and Visualization Techniques Open access

Tassilo Kugelstadt, Wojtek Pałubicki, Jan Bender, Sören Pirk, Dominik Ludewig Michels

4

citations
Reinforcement Learning for Sustainable Energy: A Survey
2024 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Koen Ponse, Felix Kleuker, Álvaro Serra-Gómez, Aske Plaat, Thomas M. Moerland

2

citations
Fast maximal clique enumeration in weighted temporal networks
2024 arXiv (Cornell University) preprint Computer Science Graph Theory and Algorithms Open access

Hanjo D. Boekhout, Frank W. Takes

0

citations