From

Institution

Field

Type

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

Reset

Papers matching “procedure time” 20

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Provable learning separation for predicting time-evolution of quantum many-body systems
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Rahul Bandyopadhyay, Riccardo Molteni, Jens Eisert, Vedran Dunjko, Sofiène Jerbi

0

citations
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Stefan Schupp, Gerhard Lakemeyer

0

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Deep learning-based auto-segmentation of paraganglioma for growth monitoring
2024 arXiv (Cornell University) preprint Computer Science Medical Image Segmentation Techniques Open access

E. M. C. Sijben, Jeroen C. Jansen, Mischa de Ridder, Peter A. N. Bosman, Tanja Alderliesten

0

citations
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Till Hofmann, Gerhard Lakemeyer

1

citations
General Policies, Subgoal Structure, and Planning Width
2023 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Blai Bonet, Héctor Geffner

0

citations
MultiGML: Multimodal Graph Machine Learning for Prediction of Adverse Drug Events
2022 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Computational Drug Discovery Methods Open access

Sophia Krix, Lauren Nicole DeLong, Sumit Madan, Daniel Domingo‐Fernándéz, Ashar Ahmad, Sheraz Gul, +2 more

3

citations
Dispersing Obnoxious Facilities on Graphs by Rounding Distances
2022 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Tim A. Hartmann, Stefan Lendl

1

citations
Learning How to Search for Plans with Exponentially Less Space
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Dominik Drexler, Simon Ståhlberg, Markus Fritzsche, Blai Bonet

0

citations
Learning adaptive differential evolution algorithm from optimization experiences by policy gradient
2021 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access

Jianyong Sun, Xin Liu, Thomas Bäck, Zongben Xu

4

citations
Autoencoder-enabled Model Portability for Reducing Hyperparameter Tuning Efforts in Side-channel Analysis
2023 Research Square preprint Computer Science Cryptographic Implementations and Security Open access

Marina Krček, Guilherme Perin

1

citations
Scalable Concept Extraction in Industry 4.0
2023 arXiv (Cornell University) preprint Computer Science Explainable Artificial Intelligence (XAI) Open access

Andrés Felipe Posada-Moreno, Florian Brillowski, Friedrich Solowjow, Thomas Gries

0

citations
Building Whitespace-Sensitive Languages Using Whitespace-Insensitive Components
2025 arXiv (Cornell University) preprint Computer Science Model-Driven Software Engineering Techniques Open access

Nico Jansen, Bernhard Rumpe⋆

0

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
Beyond the Desktop: XR-Driven Segmentation with Meta Quest 3 and MX Ink
2025 arXiv (Cornell University) preprint Computer Science Medical Image Segmentation Techniques Open access

Lisle Faray de Paiva, Gijs Luijten, Moon Kim, Behrus Puladi, Jens Kleesiek, Jan Egger

0

citations
Mixed-Block Neural Architecture Search for Medical Image Segmentation
2022 arXiv (Cornell University) preprint Computer Science Medical Image Segmentation Techniques Open access

Martijn Bosma, Arkadiy Dushatskiy, Monika Grewal, Tanja Alderliesten, Peter A. N. Bosman

0

citations
Getting and hosting your own copy of Wikidata
2022 Zenodo (CERN European Organization for Nuclear Research) preprint Computer Science Semantic Web and Ontologies Open access

Wolfgang Fahl, Tim Holzheim, Andrea Westerinen, Christoph Lange, Stefan Decker

0

citations
Limitations of measure-first protocols in quantum machine learning
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Casper Gyurik, Riccardo Molteni, Vedran Dunjko

0

citations

20 results