From

Institution

Field

Type

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

Reset

Papers matching “integer programming” 64

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Nils Lommen

0

citations
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Nils Lommen

0

citations
Addressing Mixed-Integer Nonlinear Energy Management in Hybrid Vehicles: Comparing Genetic Algorithm and Sequential Quadratic Programming Within Model Predictive Control
2026 Energies article Engineering Electric and Hybrid Vehicle Technologies Open access

Ferris Herkenrath, Silas Koßler, Marco Günther, Stefan Pischinger

2

citations
Dantzig-Wolfe Decomposition for Integer Linear Programming
2026 Springer eBooks book-chapter Mathematics Advanced Optimization Algorithms Research Open access

Jacques Desrosiers, Marco E. Lübbecke, Guy Desaulniers, Jean Bertrand Gauthier

0

citations
Linear and Integer Linear Programming
2026 Springer eBooks book-chapter Mathematics Advanced Optimization Algorithms Research Open access

Jacques Desrosiers, Marco E. Lübbecke, Guy Desaulniers, Jean Bertrand Gauthier

0

citations
Addressing Mixed-Integer Nonlinear Energy Management in Hybrid Vehicles: Comparing Genetic Algorithm and Sequential Quadratic Programming Within Model Predictive Control
2026 Energies article Engineering Electric and Hybrid Vehicle Technologies Open access

Ferris Herkenrath, Silas Koßler, Marco Günther, Stefan Pischinger

0

citations
Mixed-Integer Linear Programming Model for Distance Zone Reach Setting Based on Apparent Fault Impedance Samples
2026 International Conference on Smart Energy Systems and Technologies (SEST) conference-paper Engineering Power Systems Fault Detection

Antigona Selimaj, Ronja Steinfurth, Irina Zettl, Andreas Ulbig

0

citations
Targeting Completeness: Automated Complexity Analysis of Integer Programs
2026 Journal of Automated Reasoning article Computer Science Logic, programming, and type systems Open access

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

4

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations
Modular Automatic Complexity Analysis of Recursive Integer Programs
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Nils Lommen, Jürgen Giesl

1

citations
A multistage stochastic mixed integer optimization model for the design of a renewable fuel supply chain network under demand uncertainty
2026 Computers & Chemical Engineering article Engineering Integrated Energy Systems Optimization Open access

Mina Farajiamiri, Jörn‐Christian Meyer, Grit Walther

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

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

1

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

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

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

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

0

citations
Improving Decision Quality for Energy System Design via Stochastic Goal Programming with Data-Driven MILPs
2026 SSRN Electronic Journal preprint Engineering Integrated Energy Systems Optimization Open access

Hendrik Schricker, Frederike Kuperjans, Andreas Kämper, Christiane Reinert, Niklas V. von der Assen

1

citations
Integer Natural Evolution Strategies
2026 Lecture notes in computer science conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

Jacob de Nobel, Diederick Vermetten, Hao Wang, Ofer M. Shir, Michael Emmerich, Thomas Bäck

0

citations
Evolution Strategies' Genetic Operators Revisited Over Integer Search-Spaces
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Metaheuristic Optimization Algorithms Research Open access

Diederick Vermetten, Ofer M. Shir, Michael Emmerich, Thomas Bäck

0

citations
SARAMS: Split-Aware Joint Resource Allocation for Multi-Monostatic Sensing
2026 arXiv (Cornell University) preprint Engineering Radar Systems and Signal Processing Open access

Maximiliano Rivera Figueroa, Pradyumna Kumar Bishoyi, Marina Petrova

0

citations
Branch-Price-and-Cut
2026 Springer eBooks book-chapter Computer Science Complexity and Algorithms in Graphs Open access

Jacques Desrosiers, Marco E. Lübbecke, Guy Desaulniers, Jean Bertrand Gauthier

0

citations
The impact of buffer tank size on explicit flexibility in residential buildings: A model predictive control analysis
2026 Journal of Energy Storage article Engineering Smart Grid Energy Management Open access

Felix Stegemerten, Ronja Hestert, Fabian Römer, Martin Rätz, Dirk Müller

0

citations
Implementation of a machine learning supported model predictive control for a 5th generation district heating and cooling energy hub
2026 Energy and AI article Engineering Integrated Energy Systems Optimization Open access

Kai Droste, Aron Schwartz, K Derzsi, Rahul Karuvingal, Dirk Müller

3

citations
Model-Based Design and Operational Optimization of HPC Waste Heat Recovery and High-Temperature Aquifer Thermal Energy Storage in Existing Energy Infrastructures
2026 Energy storage and applications article Engineering Integrated Energy Systems Optimization Open access

Niclas Hampel, André Xhonneux

2

citations
The complexity of blocking all solutions
2026 Theoretical Computer Science article Computer Science Complexity and Algorithms in Graphs Open access

Christoph Grüne, Lasse Wulf

1

citations