Thorsten Koch

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 54

Top Venues

CoRR

Math. Program. Comput.

MODELSWARD

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Gennesaret Tjusila, Mathieu Besançon, Mark Turner, Thorsten Koch
How many clues to give? A bilevel formulation for the minimum Sudoku clue problem. Oper. Res. Lett. 54 (2024)
Samira Taaibi, Stefan Dziwok, Lars Hermerschmidt, Thorsten Koch, Sven Merschjohann, Mark Vollmary
Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of their Product - An Experience Report. AMCIS (2024)
Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch
Cutting Plane Selection with Analytic Centers and Multiregression. CPAIOR (2023)
Daniel Rehfeldt, Thorsten Koch
Implications, conflicts, and reductions for Steiner trees. Math. Program. 197 (2) (2023)
Ying Chen, Thorsten Koch, Nazgul Zakiyeva, Kailiang Liu, Zhitong Xu, Chun-Houh Chen, Junji Nakano, Keisuke Honda
Article's scientific prestige: Measuring the impact of individual articles in the web of science. J. Informetrics 17 (1) (2023)
Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch
Branching via Cutting Plane Selection: Improving Hybrid Branching. CoRR (2023)
Mark Turner, Thorsten Koch, Felipe Serrano, Michael Winkler
Adaptive Cut Selection in Mixed-Integer Linear Programming. Open J. Math. Optim. 4 (2023)
Ksenia Bestuzheva, Mathieu Besançon, Weikun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros M. Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Thorsten Koch, Marco E. Lübbecke, Stephen J. Maher, Frederic Matter, Erik Mühmer, Benjamin Müller, Marc E. Pfetsch, Daniel Rehfeldt, Steffan Schlein, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Boro Sofranac, Mark Turner, Stefan Vigerske, Fabian Wegscheider, Philipp Wellner, Dieter Weninger, Jakob Witzig
Enabling Research through the SCIP Optimization Suite 8.0. ACM Trans. Math. Softw. 49 (2) (2023)
Mark Turner, Antonia Chmiela, Thorsten Koch, Michael Winkler
PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs. CoRR (2023)
Daniel Rehfeldt, Thorsten Koch, Yuji Shinano
Faster exact solution of sparse MaxCut and QUBO problems. Math. Program. Comput. 15 (3) (2023)
Gennesaret Tjusila, Mathieu Besançon, Mark Turner, Thorsten Koch
How Many Clues To Give? A Bilevel Formulation For The Minimum Sudoku Clue Problem. CoRR (2023)
Wei-Ting Lai, Ray-Bing Chen, Ying Chen, Thorsten Koch
Variational Bayesian inference for network autoregression models. Comput. Stat. Data Anal. 169 (2022)
Thorsten Koch, Timo Berthold, Jaap Pedersen, Charlie Vanaret
Progress in mathematical programming solvers from 2001 to 2020. EURO J. Comput. Optim. 10 (2022)
Thorsten Koch, Sascha Trippel, Stefan Dziwok, Eric Bodden
Integrating Security Protocols in Scenario-based Requirements Specifications. MODELSWARD (2022)
Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden
How far are German companies in improving security through static program analysis tools? SecDev (2022)
Thorsten Koch, Daniel Rehfeldt, Yuji Shinano
APDCM 2022 Keynote Talk: Solving QUBOs on Digital and Quantum Computers. IPDPS Workshops (2022)
Daniel Rehfeldt, Thorsten Koch, Yuji Shinano
Faster exact solution of sparse MaxCut and QUBO problems. CoRR (2022)
Daniel Rehfeldt, Hannes Hobbie, David Schönheit, Thorsten Koch, Dominik Möst, Ambros M. Gleixner
A massively parallel interior-point solver for LPs with generalized arrowhead structure, and applications to energy system models. Eur. J. Oper. Res. 296 (1) (2022)
Ying Chen, Thorsten Koch, Nazgul Zakiyeva, Kailiang Liu, Zhitong Xu, Chun-Houh Chen, Junji Nakano, Keisuke Honda
Article's Scientific Prestige: measuring the impact of individual articles in the Web of Science. CoRR (2022)
Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden
How far are German companies in improving security through static program analysis tools? CoRR (2022)
Lovis Anderson, Mark Turner, Thorsten Koch
Generative deep learning for decision making in gas networks. Math. Methods Oper. Res. 95 (3) (2022)
Kai Hoppmann-Baum, Oleg Burdakov, Gioni Mexi, Carl Johan Casselgren, Thorsten Koch
Length-constrained cycle partition with an application to UAV routing. Optim. Methods Softw. 37 (6) (2022)
Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch
Cutting Plane Selection with Analytic Centers and Multiregression. CoRR (2022)
Mark Turner, Thorsten Koch, Felipe Serrano, Michael Winkler
Adaptive Cut Selection in Mixed-Integer Linear Programming. CoRR (2022)
Daniel Rehfeldt, Thorsten Koch
On the Exact Solution of Prize-Collecting Steiner Tree Problems. INFORMS J. Comput. 34 (2) (2022)
Daniel Rehfeldt, Henriette Franz, Thorsten Koch
Optimal connected subgraphs: Integer programming formulations and polyhedra. Networks 80 (3) (2022)
Felix Prause, Kai Hoppmann-Baum, Boris Defourny, Thorsten Koch
The maximum diversity assortment selection problem. Math. Methods Oper. Res. 93 (3) (2021)
Jaap Pedersen, Kai Hoppmann-Baum, Janina Zittel, Thorsten Koch
Blending Hydrogen into Natural Gas: An Assessment of the Capacity of the German Gas Grid. OR (2021)
Daniel Rehfeldt, Thorsten Koch
Implications, Conflicts, and Reductions for Steiner Trees. IPCO (2021)
Lovis Anderson, Mark Turner, Thorsten Koch
Generative deep learning for decision making in gas networks. CoRR (2021)
Ambros M. Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, Philipp Christophel, Kati Jarck, Thorsten Koch, Jeff T. Linderoth, Marco E. Lübbecke, Hans D. Mittelmann, Derya B. Özyurt, Ted K. Ralphs, Domenico Salvagnin, Yuji Shinano
MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library. Math. Program. Comput. 13 (3) (2021)
Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Boris Budweg, Sebastian Leuer
AppSecure.nrw Software Security Study. CoRR (2021)
Thorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden
Scenario-based specification of security protocols and transformation to security model checkers. MoDELS (2020)
Kai Hoppmann, Gioni Mexi, Oleg Burdakov, Carl Johan Casselgren, Thorsten Koch
Minimum Cycle Partition with Length Requirements. CPAIOR (2020)
Thorsten Koch, Matthias Meyer, Masud Fazal-Baqaie, Hubert Runschke
Softwareentwicklung wie am Fließband. SE (2020)
Daniel Rehfeldt, Thorsten Koch, Stephen J. Maher
Reduction techniques for the prize collecting Steiner tree problem and the maximum-weight connected subgraph problem. Networks 73 (2) (2019)
Katharina Altemeier, Matthias Becker, Stefan Dziwok, Thorsten Koch, Sven Merschjohann
Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design. Vorgehensmodelle (2019)
Yuji Shinano, Daniel Rehfeldt, Thorsten Koch
Building Optimal Steiner Trees on Supercomputers by Using up to 43, 000 Cores. CPAIOR (2019)
Daniel Rehfeldt, Thorsten Koch
Combining NP-Hard Reduction Techniques and Strong Heuristics in an Exact Algorithm for the Maximum-Weight Connected Subgraph Problem. SIAM J. Optim. 29 (1) (2019)
Ambros M. Gleixner, Nils-Christian Kempke, Thorsten Koch, Daniel Rehfeldt, Svenja Uslu
First Experiments with Structure-Aware Presolving for a Parallel Interior-Point Method. OR (2019)
Timo Berthold, Gregor Hendel, Thorsten Koch
From feasibility to improvement to proof: three phases of solving mixed-integer programs. Optim. Methods Softw. 33 (3) (2018)
Thorsten Koch
Towards Scenario-Based Security Requirements Engineering for Cyber-Physical Systems. STAF Workshops (2018)
Markus Fockel, Jörg Holtmann, Thorsten Koch, David Schmelter
Formal, Model- and Scenario-based Requirement Patterns. MODELSWARD (2018)
Benjamin Hiller, Thorsten Koch, Lars Schewe, Robert Schwarz, Jonas Schweiger
A system to evaluate gas network capacities: Concepts and implementation. Eur. J. Oper. Res. 270 (3) (2018)
Thorsten Koch, Ya-Feng Liu, Jiming Peng
Preface: Special issue of MOA 2016. J. Glob. Optim. 70 (1) (2018)
Thomas Breuer, Michael R. Bussieck, Karl-Kiên Cao, Felix Cebulla, Frederik Fiand, Hans Christian Gils, Ambros M. Gleixner, Dmitry Khabi, Thorsten Koch, Daniel Rehfeldt, Manuel Wetzel
Optimizing Large-Scale Linear Energy System Problems with Block Diagonal Structure by Using Parallel Interior-Point Methods. OR (2017)
Gerald Gamrath, Thorsten Koch, Stephen J. Maher, Daniel Rehfeldt, Yuji Shinano
SCIP-Jack - a solver for STP and variants with parallelization extensions. Math. Program. Comput. 9 (2) (2017)
Thorsten Koch, Jörg Holtmann, Timo Lindemann
Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities. MODELSWARD (2017)
Thorsten Koch, Jörg Holtmann, Timo Lindemann
Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. MODELSWARD (Revised Selected Papers) (2017)
Mauro Dell'Amico, Natalia Selini Hadjidimitriou, Thorsten Koch, Milena Petkovic
Forecasting Natural Gas Flows in Large Networks. MOD (2017)
Daniel Rehfeldt, Thorsten Koch
SCIP-Jack - A Solver for STP and Variants with Parallelization Extensions: An Update. OR (2017)
Martin Schmidt, Denis Aßmann, Robert Burlacu, Jesco Humpola, Imke Joormann, Nikolaos Kanelakis, Thorsten Koch, Djamal Oucherif, Marc E. Pfetsch, Lars Schewe, Robert Schwarz, Mathias Sirvent
GasLib - A Library of Gas Network Instances. Data 2 (4) (2017)
Jesco Humpola, Armin Fügenschuh, Thorsten Koch
Valid inequalities for the topology optimization problem in gas network design. OR Spectr. 38 (3) (2016)
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler
Solving Open MIP Instances with ParaSCIP on Supercomputers Using up to 80, 000 Cores. IPDPS (2016)
Gerald Gamrath, Thorsten Koch, Alexander Martin, Matthias Miltenberger, Dieter Weninger
Progress in presolving for mixed integer programming. Math. Program. Comput. 7 (4) (2015)
Marc E. Pfetsch, Armin Fügenschuh, Björn Geißler, Nina Geißler, Ralf Gollmer, Benjamin Hiller, Jesco Humpola, Thorsten Koch, Thomas Lehmann, Alexander Martin, Antonio Morsi, Jessica Rövekamp, Lars Schewe, Martin Schmidt, Rüdiger Schultz, Robert Schwarz, Jonas Schweiger, Claudia Stangl, Marc Christian Steinbach, Stefan Vigerske, Bernhard M. Willert
Validation of nominations in gas network optimization: models, methods, and solutions. Optim. Methods Softw. 30 (1) (2015)
Thorsten Koch, Jörg Holtmann, Julien DeAntoni
Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. ECSA (2014)
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler
Solving Hard MIPLIB2003 Problems with ParaSCIP on Supercomputers: An Update. IPDPS Workshops (2014)
William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter
A hybrid branch-and-bound approach for exact rational mixed-integer programming. Math. Program. Comput. 5 (3) (2013)
Nam-Dung Hoàng, Thorsten Koch
Steiner tree packing revisited. Math. Methods Oper. Res. 76 (1) (2012)
Thorsten Koch, Ted K. Ralphs, Yuji Shinano
Could we use a million cores to solve an integer program? Math. Methods Oper. Res. 76 (1) (2012)
William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter
An Exact Rational Mixed-Integer Programming Solver. IPCO (2011)
Thorsten Koch, Tobias Achterberg, Erling Andersen, Oliver Bastert, Timo Berthold, Robert E. Bixby, Emilie Danna, Gerald Gamrath, Ambros M. Gleixner, Stefan Heinz, Andrea Lodi, Hans D. Mittelmann, Ted K. Ralphs, Domenico Salvagnin, Daniel E. Steffy, Kati Wolter
MIPLIB 2010. Math. Program. Comput. 3 (2) (2011)
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch
ParaSCIP: A Parallel Extension of SCIP. CHPC (2010)
Andreas Bley, Ambros M. Gleixner, Thorsten Koch, Stefan Vigerske
Comparing MIQCP Solvers to a Specialised Algorithm for Mine Production Scheduling. HPSC (2009)
Gary Froyland, Thorsten Koch, Nicole Megow, Emily Duane, Howard Wren
Optimizing the landside operation of a container terminal. OR Spectr. 30 (1) (2008)
Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter
Constraint Integer Programming: A New Approach to Integrate CP and MIP. CPAIOR (2008)
Nadine Abboud, Martin Grötschel, Thorsten Koch
Mathematical methods for physical layout of printed circuit boards: an overview. OR Spectr. 30 (3) (2008)
Tobias Achterberg, Stefan Heinz, Thorsten Koch
Counting Solutions of Integer Programs Using Unrestricted Subtree Detection. CPAIOR (2008)
Andreas Bley, Thorsten Koch
Integer Programming Approaches to Access and Backbone IP Network Planning. HPSC (2006)
Tobias Achterberg, Thorsten Koch, Alexander Martin
MIPLIB 2003. Oper. Res. Lett. 34 (4) (2006)
Andreas Eisenblätter, Hans-Florian Geerdes, Thorsten Koch, Alexander Martin, Roland Wessäly
UMTS radio network evaluation and optimization beyond snapshots. Math. Methods Oper. Res. 63 (1) (2006)
Tobias Achterberg, Thorsten Koch, Alexander Martin
Branching rules revisited. Oper. Res. Lett. 33 (1) (2005)
Thorsten Koch
Rapid Mathematical Programming or How to Solve Sudoku Puzzles in a Few Seconds. OR (2005)
Thorsten Koch
-LP results. Oper. Res. Lett. 32 (2) (2004)
Eckhard Freund, Bernd Luedemann-Ravit, Oliver Stern, Thorsten Koch
Creating the Architecture of a Translator Framework for Robot Programming Languages. ICRA (2001)
Thorsten Koch, Alexander Martin
Solving Steiner tree problems in graphs to optimality. Networks 32 (3) (1998)

Thorsten Koch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thorsten Koch