A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “control flow analysis” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
2024 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

1

citations
Improving Automatic Complexity Analysis of Integer Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jürgen Giesl, Nils Lommen, Marcel Hark

0

citations
A Poisson Jump-driven SDE Approach to Distributed Gradient Descent with Sparse Communication
2025 arXiv (Cornell University) preprint Computer Science Distributed Control Multi-Agent Systems Open access

John Paul Strachan, Christian Ebenbauer

0

citations
Automatic Compiler-Based Data Structure Generation
2022 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Kristian F. D. Rietveld, Harry A. G. Wijshoff

1

citations

4 results