From

Institution

Field

Type

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

Reset

Papers matching “control flow complexity” 9

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

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

6

citations
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
Sound and complete proof rules for almost-sure termination: from probabilistic control-flow graphs to program-level reasoning
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Jonas Seidel

0

citations
Fehlerquellen beim fachspezifischen Lesen im Informatikunterricht: Analyse von Schwierigkeiten von Schüler:innen beim Lesen und Interpretieren grafischer Darstellungen von Algorithmen am Beispiel von ikonischen Darstellungen und Programmablaufplänen
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Teaching and Learning Programming Open access

Jacqueline Anthes

0

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
Congestion-Responsive Queuing for Internet Flows
2025 IEEE Network Operations and Management Symposium (NOMS) conference-paper Computer Science Network Traffic and Congestion Control

Ike Kunze, Constantin Sander, Mike Kosek, Lars Tissen, Jan Pennekamp, Klaus Wehrle

2

citations
Finite Impulse Response Filters for Simplicial Complexes
2021 European Signal Processing Conference (EUSIPCO) conference-paper Computer Science Topological and Geometric Data Analysis Open access

Maosheng Yang, Elvin Isufi, Michael T. Schaub, Geert J. T. Leus

31

citations
Transforming Knowledge into Practice: Science, Technology and Innovation in Support of the UN SDGs
2024 Research Ideas and Outcomes article Computer Science Research Data Management Practices Open access

Christos Arvanitidis, Boris Barov, Alberto Basset, Klaas Deneudt, Montserrat Gonzalez-Ferreiro, Federico Drago, +9 more

1

citations
Boolean Operation for CAD Models Using a Hybrid Representation
2025 ACM Transactions on Graphics article Computer Science Computational Geometry and Mesh Generation Open access

Yingyu Yang, Xiaohong Jia, Bolun Wang, Jieyin Yang, Shiqing Xin, Dong‐Ming Yan

4

citations

9 results