Thorsten Koch

According to our database, Thorsten Koch authored at least 76 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Faster exact solution of sparse MaxCut and QUBO problems.

Daniel Rehfeldt, Thorsten Koch, Yuji Shinano

Math. Program. Comput., September, 2023

Enabling Research through the SCIP Optimization Suite 8.0.

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

ACM Trans. Math. Softw., June, 2023

Implications, conflicts, and reductions for Steiner trees.

Daniel Rehfeldt, Thorsten Koch

Math. Program., February, 2023

Article's scientific prestige: Measuring the impact of individual articles in the web of science.

Ying Chen, Thorsten Koch, Nazgul Zakiyeva, Kailiang Liu, Zhitong Xu, Chun-Houh Chen, Junji Nakano, Keisuke Honda

J. Informetrics, February, 2023

Adaptive Cut Selection in Mixed-Integer Linear Programming.

Mark Turner, Thorsten Koch, Felipe Serrano, Michael Winkler

Open J. Math. Optim., January, 2023

PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs.

Mark Turner, Antonia Chmiela, Thorsten Koch, Michael Winkler

CoRR, 2023

Branching via Cutting Plane Selection: Improving Hybrid Branching.

Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch

CoRR, 2023

How Many Clues To Give? A Bilevel Formulation For The Minimum Sudoku Clue Problem.

Gennesaret Tjusila, Mathieu Besançon, Mark Turner, Thorsten Koch

CoRR, 2023

Cutting Plane Selection with Analytic Centers and Multiregression.

Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

2022

Length-constrained cycle partition with an application to UAV routing.

Kai Hoppmann-Baum, Oleg Burdakov, Gioni Mexi, Carl Johan Casselgren, Thorsten Koch

Optim. Methods Softw., 2022

Optimal connected subgraphs: Integer programming formulations and polyhedra.

Daniel Rehfeldt, Henriette Franz, Thorsten Koch

Networks, 2022

Generative deep learning for decision making in gas networks.

Lovis Anderson, Mark Turner, Thorsten Koch

Math. Methods Oper. Res., 2022

On the Exact Solution of Prize-Collecting Steiner Tree Problems.

Daniel Rehfeldt, Thorsten Koch

INFORMS J. Comput., 2022

A massively parallel interior-point solver for LPs with generalized arrowhead structure, and applications to energy system models.

Daniel Rehfeldt, Hannes Hobbie, David Schönheit, Thorsten Koch, Dominik Möst, Ambros M. Gleixner

Eur. J. Oper. Res., 2022

Progress in mathematical programming solvers from 2001 to 2020.

Thorsten Koch, Timo Berthold, Jaap Pedersen, Charlie Vanaret

EURO J. Comput. Optim., 2022

Variational Bayesian inference for network autoregression models.

Wei-Ting Lai, Ray-Bing Chen, Ying Chen, Thorsten Koch

Comput. Stat. Data Anal., 2022

How far are German companies in improving security through static program analysis tools?

Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden

Proceedings of the IEEE Secure Development Conference, 2022

Integrating Security Protocols in Scenario-based Requirements Specifications.

Thorsten Koch, Sascha Trippel, Stefan Dziwok, Eric Bodden

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

APDCM 2022 Keynote Talk: Solving QUBOs on Digital and Quantum Computers.

Thorsten Koch, Daniel Rehfeldt, Yuji Shinano

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022

2021

MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library.

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

Math. Program. Comput., 2021

The maximum diversity assortment selection problem.

Felix Prause, Kai Hoppmann-Baum, Boris Defourny, Thorsten Koch

Math. Methods Oper. Res., 2021

AppSecure.nrw Software Security Study.

Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Boris Budweg, Sebastian Leuer

CoRR, 2021

Blending Hydrogen into Natural Gas: An Assessment of the Capacity of the German Gas Grid.

Jaap Pedersen, Kai Hoppmann-Baum, Janina Zittel, Thorsten Koch

Proceedings of the Operations Research Proceedings 2021, Selected Papers of the International Conference of the Swiss, German and Austrian Operations Research Societies (SVOR/ASRO, GOR e.V., ÖGOR), University of Bern, Switzerland, August 31, 2021

2020

Softwareentwicklung wie am Fließband.

Thorsten Koch, Matthias Meyer, Masud Fazal-Baqaie, Hubert Runschke

Proceedings of the Software Engineering 2020, 2020

Scenario-based specification of security protocols and transformation to security model checkers.

Thorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Minimum Cycle Partition with Length Requirements.

Kai Hoppmann, Gioni Mexi, Oleg Burdakov, Carl Johan Casselgren, Thorsten Koch

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019

Combining NP-Hard Reduction Techniques and Strong Heuristics in an Exact Algorithm for the Maximum-Weight Connected Subgraph Problem.

Daniel Rehfeldt, Thorsten Koch

SIAM J. Optim., 2019

Reduction techniques for the prize collecting Steiner tree problem and the maximum-weight connected subgraph problem.

Daniel Rehfeldt, Thorsten Koch, Stephen J. Maher

Networks, 2019

Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design.

Katharina Altemeier, Matthias Becker, Stefan Dziwok, Thorsten Koch, Sven Merschjohann

Proceedings of the Projektmanagement und Vorgehensmodelle 2019 - Neue Vorgehensmodelle in Projekten, 2019

First Experiments with Structure-Aware Presolving for a Parallel Interior-Point Method.

Ambros M. Gleixner, Nils-Christian Kempke, Thorsten Koch, Daniel Rehfeldt, Svenja Uslu

Proceedings of the Operations Research Proceedings 2019, 2019

Building Optimal Steiner Trees on Supercomputers by Using up to 43, 000 Cores.

Yuji Shinano, Daniel Rehfeldt, Thorsten Koch

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018

From feasibility to improvement to proof: three phases of solving mixed-integer programs.

Timo Berthold, Gregor Hendel, Thorsten Koch

Optim. Methods Softw., 2018

Preface: Special issue of MOA 2016.

Thorsten Koch, Ya-Feng Liu, Jiming Peng

J. Glob. Optim., 2018

A system to evaluate gas network capacities: Concepts and implementation.

Benjamin Hiller, Thorsten Koch, Lars Schewe, Robert Schwarz, Jonas Schweiger

Eur. J. Oper. Res., 2018

Towards Scenario-Based Security Requirements Engineering for Cyber-Physical Systems.

Thorsten Koch

Proceedings of the Software Technologies: Applications and Foundations, 2018

Formal, Model- and Scenario-based Requirement Patterns.

Markus Fockel, Jörg Holtmann, Thorsten Koch, David Schmelter

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Parallel Solvers for Mixed Integer Linear Optimization.

Ted K. Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

SCIP-Jack - a solver for STP and variants with parallelization extensions.

Gerald Gamrath, Thorsten Koch, Stephen J. Maher, Daniel Rehfeldt, Yuji Shinano

Math. Program. Comput., 2017

GasLib - A Library of Gas Network Instances.

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

Data, 2017

SCIP-Jack - A Solver for STP and Variants with Parallelization Extensions: An Update.

Daniel Rehfeldt, Thorsten Koch

Proceedings of the Operations Research Proceedings 2017, 2017

Optimizing Large-Scale Linear Energy System Problems with Block Diagonal Structure by Using Parallel Interior-Point Methods.

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

Proceedings of the Operations Research Proceedings 2017, 2017

Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information.

Thorsten Koch, Jörg Holtmann, Timo Lindemann

Proceedings of the Model-Driven Engineering and Software Development, 2017

Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities.

Thorsten Koch, Jörg Holtmann, Timo Lindemann

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Forecasting Natural Gas Flows in Large Networks.

Mauro Dell'Amico, Natalia Selini Hadjidimitriou, Thorsten Koch, Milena Petkovic

Proceedings of the Machine Learning, Optimization, and Big Data, 2017

2016

Valid inequalities for the topology optimization problem in gas network design.

Jesco Humpola, Armin Fügenschuh, Thorsten Koch

OR Spectr., 2016

Solving Open MIP Instances with ParaSCIP on Supercomputers Using up to 80, 000 Cores.

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016

2015

Validation of nominations in gas network optimization: models, methods, and solutions.

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

Optim. Methods Softw., 2015

Progress in presolving for mixed integer programming.

Gerald Gamrath, Thorsten Koch, Alexander Martin, Matthias Miltenberger, Dieter Weninger

Math. Program. Comput., 2015

Chapter 1: Introduction.

Jessica Rövekamp, Thorsten Koch, Marc E. Pfetsch

Proceedings of the Evaluating Gas Network Capacities, 2015

Chapter 7: The specialized MINLP approach.

Jesco Humpola, Armin Fügenschuh, Thomas Lehmann, Ralf Lenz, Robert Schwarz, Jonas Schweiger, Benjamin Hiller, Thorsten Koch

Proceedings of the Evaluating Gas Network Capacities, 2015

Chapter 15: Perspectives.

Christine Hayn, Jesco Humpola, Jonas Schweiger, Klaus Spreckelsen, Thorsten Koch, Lars Schewe

Proceedings of the Evaluating Gas Network Capacities, 2015

Chapter 3: Regulatory rules for gas markets in Germany and other European countries.

Uwe Gotzes, Nina Heinecke, Jessica Rövekamp, Benjamin Hiller, Thorsten Koch

Proceedings of the Evaluating Gas Network Capacities, 2015

Chapter 4: State of the art in evaluating gas network capacities.

Dagmar Bargmann, Mirko Ebbers, Nina Heinecke, Veronika Kühl, Antje Pelzer, Jessica Rövekamp, Klaus Spreckelsen, Thorsten Koch, Marc E. Pfetsch

Proceedings of the Evaluating Gas Network Capacities, 2015

Chapter 5: Mathematical optimization for evaluating gas network capacities.

Alexander Martin, Lars Schewe, Thorsten Koch, Marc E. Pfetsch

Proceedings of the Evaluating Gas Network Capacities, 2015

2014

Solving Hard MIPLIB2003 Problems with ParaSCIP on Supercomputers: An Update.

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.

Thorsten Koch, Jörg Holtmann, Julien DeAntoni

Proceedings of the Software Architecture - 8th European Conference, 2014

2013

A hybrid branch-and-bound approach for exact rational mixed-integer programming.

William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter

Math. Program. Comput., 2013

2012

Could we use a million cores to solve an integer program?

Thorsten Koch, Ted K. Ralphs, Yuji Shinano

Math. Methods Oper. Res., 2012

Steiner tree packing revisited.

Nam-Dung Hoàng, Thorsten Koch

Math. Methods Oper. Res., 2012

2011

MIPLIB 2010.

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

Math. Program. Comput., 2011

An Exact Rational Mixed-Integer Programming Solver.

William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter

Proceedings of the Integer Programming and Combinatoral Optimization, 2011

2010

ParaSCIP: A Parallel Extension of SCIP.

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch

Proceedings of the Competence in High Performance Computing 2010, 2010

2009

Comparing MIQCP Solvers to a Specialised Algorithm for Mine Production Scheduling.

Andreas Bley, Ambros M. Gleixner, Thorsten Koch, Stefan Vigerske

Proceedings of the Modeling, 2009

2008

Optimizing the landside operation of a container terminal.

Gary Froyland, Thorsten Koch, Nicole Megow, Emily Duane, Howard Wren

OR Spectr., 2008

Mathematical methods for physical layout of printed circuit boards: an overview.

Nadine Abboud, Martin Grötschel, Thorsten Koch

OR Spectr., 2008

Counting Solutions of Integer Programs Using Unrestricted Subtree Detection.

Tobias Achterberg, Stefan Heinz, Thorsten Koch

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

Constraint Integer Programming: A New Approach to Integrate CP and MIP.

Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2006

MIPLIB 2003.

Tobias Achterberg, Thorsten Koch, Alexander Martin

Oper. Res. Lett., 2006

UMTS radio network evaluation and optimization beyond snapshots.

Andreas Eisenblätter, Hans-Florian Geerdes, Thorsten Koch, Alexander Martin, Roland Wessäly

Math. Methods Oper. Res., 2006

Integer Programming Approaches to Access and Backbone IP Network Planning.

Andreas Bley, Thorsten Koch

Proceedings of the Modeling, 2006

2005

Branching rules revisited.

Tobias Achterberg, Thorsten Koch, Alexander Martin

Oper. Res. Lett., 2005

Rapid Mathematical Programming or How to Solve Sudoku Puzzles in a Few Seconds.

Thorsten Koch

Proceedings of the Operations Research Proceedings 2005, 2005

2004

Rapid mathematical programming.

Thorsten Koch

PhD thesis, 2004

The final N_ETLIB-LP results.

Thorsten Koch

Oper. Res. Lett., 2004

2001

Creating the Architecture of a Translator Framework for Robot Programming Languages.

Eckhard Freund, Bernd Luedemann-Ravit, Oliver Stern, Thorsten Koch

Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

1998

Solving Steiner tree problems in graphs to optimality.

Thorsten Koch, Alexander Martin

Networks, 1998