| 2026 | MODELSWARD | Using Attack and Failure Propagation Analysis for Context-Aware Security Control Suggestions. | Roman Trentinaglia, Thorsten Koch, Eric Bodden |
| 2026 | PERCOM | High-Performance Robust Energy System Planning with Storage: A Single-LP Approach. | Thorsten Koch, Nils-Christian Kempke, Niels Lindner, Lukas Mehl, Manuel Wetzel, Janina Zittel |
| 2025 | CPAIOR | PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs. | Mark Turner, Antonia Chmiela, Thorsten Koch, Michael Winkler |
| 2024 | MEDES | The Impact of COVID-19 and the Russo-Ukraine War on Natural Gas Flow Through Time Series Forecasting. | Natalia Selini Hadjidimitriou, Thorsten Koch, Marco Lippi, Milena Petkovic, Marco Mamei |
| 2024 | WETICE | Short-Term Forecasting of Energy Consumption and Production in Local Energy Communities. | Natalia Selini Hadjidimitriou, Marco Mamei, Marco Lippi, Raffaele Nastro, Thorsten Koch |
| 2023 | CPAIOR | Cutting Plane Selection with Analytic Centers and Multiregression. | Mark Turner, Timo Berthold, Mathieu Besanon, Thorsten Koch |
| 2022 | MODELSWARD | Integrating Security Protocols in Scenario-based Requirements Specifications. | Thorsten Koch, Sascha Trippel, Stefan Dziwok, Eric Bodden |
| 2021 | IPCO | Implications, Conflicts, and Reductions for Steiner Trees. | Daniel Rehfeldt, Thorsten Koch |
| 2020 | CPAIOR | Minimum Cycle Partition with Length Requirements. | Kai Hoppmann, Gioni Mexi, Oleg Burdakov, Carl Johan Casselgren, Thorsten Koch |
| 2020 | MODELS | Scenario-based specification of security protocols and transformation to security model checkers. | Thorsten Koch, Stefan Dziwok, Jrg Holtmann, Eric Bodden |
| 2019 | CPAIOR | Building Optimal Steiner Trees on Supercomputers by Using up to 43, 000 Cores. | Yuji Shinano, Daniel Rehfeldt, Thorsten Koch |
| 2018 | MODELSWARD | Formal, Model- and Scenario-based Requirement Patterns. | Markus Fockel, Jrg Holtmann, Thorsten Koch, David Schmelter |
| 2017 | MODELSWARD | Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities. | Thorsten Koch, Jrg Holtmann, Timo Lindemann |
| 2017 | MODELSWARD | Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. | Thorsten Koch, Jrg Holtmann, Timo Lindemann |
| 2014 | ECSA | Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. | Thorsten Koch, Jrg Holtmann, Julien DeAntoni |
| 2011 | IPCO | An Exact Rational Mixed-Integer Programming Solver. | William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter |
| 2009 | HPSC | Comparing MIQCP Solvers to a Specialised Algorithm for Mine Production Scheduling. | Andreas Bley, Ambros M. Gleixner, Thorsten Koch, Stefan Vigerske |
| 2008 | CPAIOR | Constraint Integer Programming: A New Approach to Integrate CP and MIP. | Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter |
| 2008 | CPAIOR | Counting Solutions of Integer Programs Using Unrestricted Subtree Detection. | Tobias Achterberg, Stefan Heinz, Thorsten Koch |
| 2006 | HPSC | Integer Programming Approaches to Access and Backbone IP Network Planning. | Andreas Bley, Thorsten Koch |
| 2001 | ICRA | Creating the Architecture of a Translator Framework for Robot Programming Languages. | Eckhard Freund, Bernd Luedemann-Ravit, Oliver Stern, Thorsten Koch |