Thorsten Koch
Orcid: 0000-0002-1967-0077
According to our database1,
Thorsten Koch
authored at least 79 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
OR Spectr., December, 2024
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
PhD thesis, 2024
Oper. Res. Lett., 2024
Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of their Product - An Experience Report.
Proceedings of the 30th Americas Conference on Information Systems: Elevating Life through Digital Social Entrepreneurship, 2024
2023
Math. Program. Comput., September, 2023
ACM Trans. Math. Softw., June, 2023
Math. Program., February, 2023
Article's scientific prestige: Measuring the impact of individual articles in the web of science.
J. Informetrics, February, 2023
Open J. Math. Optim., January, 2023
CoRR, 2023
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023
2022
Optim. Methods Softw., 2022
Networks, 2022
Math. Methods Oper. Res., 2022
INFORMS J. Comput., 2022
A massively parallel interior-point solver for LPs with generalized arrowhead structure, and applications to energy system models.
Eur. J. Oper. Res., 2022
EURO J. Comput. Optim., 2022
Comput. Stat. Data Anal., 2022
How far are German companies in improving security through static program analysis tools?
Proceedings of the IEEE Secure Development Conference, 2022
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022
2021
Math. Program. Comput., 2021
Blending Hydrogen into Natural Gas: An Assessment of the Capacity of the German Gas Grid.
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
Proceedings of the Software Engineering 2020, 2020
Scenario-based specification of security protocols and transformation to security model checkers.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
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.
SIAM J. Optim., 2019
Reduction techniques for the prize collecting Steiner tree problem and the maximum-weight connected subgraph problem.
Networks, 2019
Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design.
Proceedings of the Projektmanagement und Vorgehensmodelle 2019 - Neue Vorgehensmodelle in Projekten, 2019
First Experiments with Structure-Aware Presolving for a Parallel Interior-Point Method.
Proceedings of the Operations Research Proceedings 2019, 2019
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.
Optim. Methods Softw., 2018
Eur. J. Oper. Res., 2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2017
Math. Program. Comput., 2017
SCIP-Jack - A Solver for STP and Variants with Parallelization Extensions: An Update.
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.
Proceedings of the Operations Research Proceedings 2017, 2017
Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information.
Proceedings of the Model-Driven Engineering and Software Development, 2017
Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
Proceedings of the Machine Learning, Optimization, and Big Data, 2017
2016
OR Spectr., 2016
Solving Open MIP Instances with ParaSCIP on Supercomputers Using up to 80, 000 Cores.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016
2015
Validation of nominations in gas network optimization: models, methods, and solutions.
Optim. Methods Softw., 2015
Proceedings of the Evaluating Gas Network Capacities, 2015
Proceedings of the Evaluating Gas Network Capacities, 2015
Proceedings of the Evaluating Gas Network Capacities, 2015
Proceedings of the Evaluating Gas Network Capacities, 2015
2014
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014
Proceedings of the Software Architecture - 8th European Conference, 2014
2013
Math. Program. Comput., 2013
2012
Math. Methods Oper. Res., 2012
2011
Proceedings of the Integer Programming and Combinatoral Optimization, 2011
2010
Proceedings of the Competence in High Performance Computing 2010, 2010
2009
Proceedings of the Modeling, 2009
2008
OR Spectr., 2008
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
2006
Math. Methods Oper. Res., 2006
Proceedings of the Modeling, 2006
2005
Proceedings of the Operations Research Proceedings 2005, 2005
2004
2001
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001
1998