From

Institution

Field

Type

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

Reset

Papers matching “integer programming” 52

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Investigating Feasibility and Necessity for Mixed-Integer Linear Programming in an Integrated Grid and Power Market Simulation
2020 International Conference on the European Energy Market (EEM) conference-paper Engineering Electric Power System Optimization

Lukas Hein, M. Borning, Albert Moser

1

citations
Data-Driven Generation of Mixed-Integer Linear Programming Formulations for Model Predictive Control of Hybrid Energy Storage Systems using detailed nonlinear Simulation Models
2022 Open Source Modelling and Simulation of Energy Systems (OSMSES) conference-paper Energy Hybrid Renewable Energy Systems

Alexander Holtwerth, André Xhonneux, Dirk Müller

3

citations
Solving the Kidney Exchange Problem Using Privacy-Preserving Integer Programming
2022 conference-paper Computer Science Cryptography and Data Security Open access

Malte Breuer, Pascal Hein, Leonardo Pompe, Ben Temme, Ulrike Meyer, Susanne Wetzel

6

citations
Influence of Cost Functions on Optimal Design of Heat Pump Systems in Mixed-Integer Linear Programming
2022 International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS) conference-paper Engineering Integrated Energy Systems Optimization

Hannah Krützfeldt, Christian Vering, Philipp Mehrfeld, Dirk Müller

0

citations
Operational optimization of a 4th generation district heating network using mixed integer quadratically constrained programming
2022 International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS) conference-paper Engineering Integrated Energy Systems Optimization

Dominik Hering, Michael R. Faller, André Xhonneux, Dirk Müller

0

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
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
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
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

7

citations
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

7

citations
Determination of Locational Marginal Redispatch Prices of a Mixed-Integer Congestion Management Problem
2024 International Conference on the European Energy Market (EEM) conference-paper Engineering Electric Power System Optimization

Jana Einsiedler, Albert Moser

0

citations
On the Behavior of the Mixed-Integer SMS-EMOA on Box-Constrained Quadratic Bi-Objective Models
2023 conference-paper Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Ofer M. Shir, Michael Emmerich

2

citations
Satisfiability Modulo Exponential Integer Arithmetic
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

4

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

Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer

10

citations
Persistency of Linear Programming Relaxations for the Stable Set Problem
2020 Lecture notes in computer science conference-paper Computer Science Complexity and Algorithms in Graphs Open access

Elisabeth Rodríguez-Heck, Karl Stickler, Matthias Walter, Stefan Weltge

2

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
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Fabian Meyer, Marcel Hark, Jürgen Giesl

20

citations
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
Principled Data Augmentation for Learning to Solve Quadratic Programming Problems
2025 neural information processing systems conference-paper Mathematics Advanced Optimization Algorithms Research Open access

Chendi Qian, Christopher Morris

0

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

16

citations
Demand-responsive Scheduling in Railway Transportation
2022 International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS) conference-paper Engineering Railway Systems and Energy Efficiency Open access

Christoph Grüne, Stephan Zieger

1

citations
An Analysis of the Decidability and Complexity of Numeric Additive Planning
2024 Proceedings of the International Conference on Automated Planning and Scheduling conference-paper Computer Science AI-based Problem Solving and Planning Open access

Hayyan Helal, Gerhard Lakemeyer

1

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

10

citations
Energy-efficient Cyber Physical Social System for Transportation with Appointments
2023 Mediterranean Conference on Embedded Computing (MECO) conference-paper Engineering Vehicle Routing Optimization Methods

Matthias Dziubany, Anke Schmeink, Guido Dartmann

1

citations
RiNSES4: Rigorous Nonlinear Synthesis of Energy Systems for Seasonal Energy Supply and Storage
2024 Systems and Control Transactions conference-paper Engineering Integrated Energy Systems Optimization Open access

Yifan Wang, Marvin Volkmer, D�rthe Franzisca Hagedorn, Christiane Reinert, Niklas V. von der Assen

1

citations