From

Institution

Field

Type

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

Reset

Papers matching “loop acceleration” 13

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Integrating Loop Acceleration into Bounded Model Checking
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

3

citations
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

1

citations
Accelerating Loops with Arrays
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

1

citations
Accelerating Loops with Arrays
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
DrugEx v2: De Novo Design of Drug Molecule by Pareto-based Multi-Objective Reinforcement Learning in Polypharmacology
2021 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Xuhan Liu, Kai Ye, Herman van Vlijmen, Michael Emmerich, Adriaan P. IJzerman, Gerard J. P. van Westen

1

citations
DrugEx v2: De Novo Design of Drug Molecule by Pareto-based Multi-Objective Reinforcement Learning in Polypharmacology
2021 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Xuhan Liu, Herman van Vlijmen, Michael Emmerich, Adriaan P. IJzerman, Gerard J. P. van Westen

1

citations
DrugEx v2: De Novo Design of Drug Molecule by Pareto-based Multi-Objective Reinforcement Learning in Polypharmacology
2021 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Xuhan Liu, Herman van Vlijmen, Michael Emmerich, Adriaan P. IJzerman, Gerard J. P. van Westen

0

citations
Data-driven Product-Process Optimization of N-isopropylacrylamide Microgel Flow-Synthesis
2023 arXiv (Cornell University) preprint Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Luise F. Kaven, Artur M. Schweidtmann, Jana Israel, Nadja Wolter, Alexander Mitsos

0

citations
miR156-independent repression of the ageing pathway by longevity-promoting AHL proteins in Arabidopsis
2020 bioRxiv (Cold Spring Harbor Laboratory) preprint Agricultural and Biological Sciences Plant Molecular Biology Research Open access

Arezoo Rahimi, Remko Offringa

1

citations
Knowledge Graphs and Explainable AI for Drug Repurposing on Rare Diseases
2024 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Computational Drug Discovery Methods Open access

Pablo Perdomo-Quinteiro, Katherine Wolstencroft, Marco Roos, Núria Queralt-Rosiñach

7

citations
Automated model discovery for human cardiac tissue: Discovering the best model and parameters
2024 bioRxiv (Cold Spring Harbor Laboratory) preprint Engineering Elasticity and Material Modeling Open access

Denisa Martonová, Mathias Peirlinck, Kevin Linka, Gerhard A. Holzapfel, Sigrid Leyendecker, Ellen Kuhl

6

citations
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

0

citations

13 results