From

Institution

Field

Type

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

Reset

Papers matching “program acceleration” 173

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A calculus for modular loop acceleration and non-termination proofs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

8

citations
A Calculus for Modular Loop Acceleration and Non-Termination Proofs
2021 BIROn (Birkbeck, University of London) article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

0

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
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs
2022 conference-paper Computer Science Software Testing and Debugging Techniques

Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar

3

citations
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
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper)
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

6

citations
Proving Non-Termination by Acceleration Driven Clause Learning (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

0

citations
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Florian Frohn, Jürgen Giesl

5

citations
GPU Acceleration in Unikernels Using Cricket GPU Virtualization
2023 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Niklas Eiling, Jonathan Klimt, Philipp Fensch, Stefan Lankes, Antonello Monti

1

citations
The scientific potential and technological challenges of the High-Luminosity Large Hadron Collider program
2022 Reports on Progress in Physics article Physics and Astronomy Particle Detector Development and Performance Open access

O. Brüning, Heather M. Gray, Katja Klein, M. Lamont, M. Narain, R. Polifka, +1 more

19

citations
Successes of and Lessons From the First Joint eHealth Program of the Dutch University Hospitals: Evaluation Study
2021 Journal of Medical Internet Research article Health Professions Electronic Health Records Systems Open access

Anneloek Rauwerdink, Marise Jeannine Kasteleyn, Niels Henrik Chavannes, Marlies P. Schijven

11

citations
INCREASING ACTIVITY-STIMULATING BEHAVIOR IN DUTCH HOME CARE: FEASIBILITY OF THE SELF-PROGRAM
2023 Innovation in Aging article Health Professions Geriatric Care and Nursing Homes Open access

Silke Metzelthin, Getty Huisman‐de Waal, Stan Vluggen, Janneke de Man-Van Ginkel, Sandra M.G. Zwakhalen

0

citations
Successes of and Lessons From the First Joint eHealth Program of the Dutch University Hospitals: Evaluation Study (Preprint)
2020 preprint Health Professions Electronic Health Records Systems

Anneloek Rauwerdink, Marise Jeannine Kasteleyn, Niels Henrik Chavannes, Marlies P. Schijven

0

citations
Tricarboxylic Acid Cycle Regulation of Metabolic Program, Redox System, and Epigenetic Remodeling for Bone Health and Disease
2024 Antioxidants article Biochemistry, Genetics and Molecular Biology Bone Metabolism and Diseases Open access

Wei‐Shiung Lian, Re‐Wen Wu, Yu-Han Lin, Yushan Chen, Holger Jahr, Feng‐Sheng Wang

24

citations
Steel and Composite Joints for MRFs in Moderate Seismicity: Experimental and Numerical Program
2022 ce/papers article Engineering Seismic Performance and Analysis Open access

Rafaela Don, Georgios Balaskas, Cristian Vulcu, Benno Hoffmeister

4

citations
Research Data Management Guidelines for the DFG Priority Program SPP 2419 HyCAM
2026 Zenodo (CERN European Organization for Nuclear Research) other Computer Science Research Data Management Practices Open access

Marianna Cafiero, Michael Gauding, Heinz Pitsch

0

citations
Research Data Management Guidelines for the DFG Priority Program SPP 2419 HyCAM
2026 Zenodo (CERN European Organization for Nuclear Research) other Open access

Marianna Cafiero, Michael Gauding, Heinz Pitsch

0

citations
A refractory engineering program for the 21 st century
2023 Open Ceramics article Engineering Engineering Education and Curriculum Development Open access

Michel Rigaud, Jacques Poirier, Marc Huger, Thorsten Tonnesen, V. C. Pandolfelli

0

citations
Inferring Lower Runtime Bounds for Integer Programs
2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

12

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 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

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
Reconfigurable Computing in Neural Network‐Enhanced Finite Element Analysis in Structural Dynamics
2026 PAMM article Physics and Astronomy Model Reduction and Neural Networks Open access

Vasileios Polydoras, Saurabh Balkrishna Tandale, Marcus Stoffel

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
Pigreads: The Python-integrated GPU-enabled reaction-diffusion solver using OpenCL for cardiac electrophysiology and other applications
2026 Computer Physics Communications article Computer Science Parallel Computing and Optimization Techniques Open access

Desmond Kabus, Hans Dierckx, Tim De Coster

1

citations