| 2026 | ICAART | A Constraint Optimization Approach for Flexible and Preference-Aware Medical Appointment Scheduling. | George Assaf, Sven Lffler, Petra Hofstedt |
| 2026 | KI | A Constraint-Based Stockyard Planning Problem on a Realistic Time-Dependent Setting. | Viktoria Abbenhaus, Sven Lffler, Petra Hofstedt |
| 2026 | KI | Integrating Insertion Heuristics into the Miller-Tucker-Zemlin Constraint Model for the Traveling Salesman Problem. | Sven Lffler, Tristan Mark Nuck, Viktoria Abbenhaus, Petra Hofstedt |
| 2025 | CPAIOR | Optimized Scheduling of Medical Appointment Sequences Using Constraint Programming. | George Assaf, Sven Lffler, Petra Hofstedt |
| 2025 | ICAART | Constraint-Based Optimization for Scheduling Medical Appointments. | George Assaf, Sven Lffler, Petra Hofstedt |
| 2025 | ICINCO | Solving the Three-Dimensional Beacon Placement Problem Using Constraint-Based Methods, Large Neighborhood Search, and Evolutionary Algorithms. | Sven Lffler, Viktoria Abbenhaus, George Assaf, Petra Hofstedt |
| 2025 | KI | A Hybrid Constraint-Based, Greedy, and Local Search Approach for the Transshipment Problem. | Sven Lffler, Viktoria Abbenhaus, George Assaf, Petra Hofstedt |
| 2024 | ICAART | Enhancing Constraint Optimization Problems with Greedy Search and Clustering: A Focus on the Traveling Salesman Problem. | Sven Lffler, Ilja Becker, Petra Hofstedt |
| 2024 | ICAART | Greedy and Local Search-Based Constraint Optimization of the Travelling Salesman Problem. | Sven Lffler, Petra Hofstedt |
| 2024 | ICINCO | A Hybrid Constraint- and Search-Based Approach on the Stockyard Planning Problem. | Sonja Breu, Sven Lffler, Petra Hofstedt |
| 2024 | ICINCO | Automatic Placement of Digital Signals in Railway Digitalization: A Constraint Approach. | Sven Lffler, Petra Hofstedt |
| 2023 | DEXA | A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem. | Sven Lffler, Ilja Becker, Petra Hofstedt |
| 2023 | GI | Planung des Lndlichen On-Demand-Verkehr - Probleme, Analyse und Algorithmen. | Sven Lffler, Ilja Becker, Petra Hofstedt, Andr Nitze, Silvia Hennig, Alexander Klinge |
| 2023 | ICAART | Constraint-Based Filtering and Evaluation of CSP Search Trees. | Maximilian Bels, Sven Lffler, Ilja Becker, Petra Hofstedt |
| 2023 | ICINCO | Enhanced Optimal Beacon Placement for Indoor Positioning: A Set Variable Based Constraint Programming Approach. | Sven Lffler, Ilja Becker, Carlo Bckert, Petra Hofstedt |
| 2022 | AICCSA | Optimal Beacon Placement for Indoor Positioning Using Constraint Programming. | Sven Lffler, Franz Kroll, Ilja Becker, Petra Hofstedt |
| 2022 | DCAI | ML-Based Automation of Constraint Satisfaction Model Transformation and Solver Configuration. | Ilja Becker, Sven Lffler, Petra Hofstedt |
| 2021 | GI | A Survey of Constraint Transformation Methods. | Sven Lffler, Ilja Becker, Franz Kroll, Petra Hofstedt |
| 2021 | ICAART | ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints. | Sven Lffler, Ilja Becker, Petra Hofstedt |
| 2020 | ICAART | Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach. | Sven Lffler, Ke Liu, Petra Hofstedt |
| 2020 | KI | Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem. | Sven Lffler, Ke Liu, Petra Hofstedt |
| 2019 | GI | MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme. | Petra Hofstedt, Walter Hower, Ulrich John, Armin Wolf |
| 2019 | ICAART | Social Golfer Problem Revisited. | Ke Liu, Sven Lffler, Petra Hofstedt |
| 2019 | ICAART | Solving the Social Golfers Problems by Constraint Programming in Sequential and Parallel. | Ke Liu, Sven Lffler, Petra Hofstedt |
| 2019 | ICAART | A Meta Constraint Satisfaction Optimization Problem for the Optimization of Regular Constraint Satisfaction Problems. | Sven Lffler, Ke Liu, Petra Hofstedt |
| 2019 | ICAART | Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems. | Sven Lffler, Ke Liu, Petra Hofstedt |
| 2019 | ISPA | Parallel Stochastic Portfolio Search for Constraint Solving. | Ke Liu, Sven Lffler, Petra Hofstedt |
| 2017 | GI | MOC 2017. | Petra Hofstedt, Ulrich John, Armin Wolf |
| 2017 | GI | Using Hypertree Decomposition for Parallel Constraint Solving. | Ke Liu, Sven Lffler, Petra Hofstedt |
| 2017 | GI | The Power of Regular Constraints in CSPs. | Sven Lffler, Ke Liu, Petra Hofstedt |
| 2015 | DDECS | Formal Verification of Software for the Contiki Operating System Considering Interrupts. | Thilo Vrtler, Benny Hckner, Petra Hofstedt, Thomas Klotz |
| 2015 | GI | Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgewhlte Herausforderungen und Potenziale fr die nchsten Jahre - zur Diskussion. | Petra Hofstedt, Walter Hower, Ulrich John, Andreas Kmoch, Armin Wolf |
| 2015 | GI | MOC 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme. | Petra Hofstedt, Ulrich John, Armin Wolf |
| 2015 | GI | Divide & Conquer - Komplexe Constraint-Probleme durch Aufteilen lsen. | Peter Sauer, Denny Schneewei, Petra Hofstedt |
| 2013 | FDL | Design space exploration for cyber physical system design using constraint solving. | Benny Hckner, Petra Hofstedt, Sascha Kaltschmidt, Peter Sauer, Thilo Vrtler |
| 2012 | DDECS | Bounded model checking of Contiki applications. | Thilo Vrtler, Steffen Rlke, Petra Hofstedt |
| 2010 | GI | The Multiparadigm Programming Language CCFL. | Petra Hofstedt |
| 2009 | GI | Constraint Functional Multicore Programming. | Petra Hofstedt, Florian Lorenzen |
| 2003 | FlAIRS | Meta-S: A Strategy-Oriented Meta-Solver Framework. | Stephan Frank, Petra Hofstedt, Pierre R. Mai |
| 2003 | KI | A Flexible Meta-solver Framework for Constraint Solver Collaboration. | Stephan Frank, Petra Hofstedt, Pierre R. Mai |
| 2003 | SGAI | Turtle: A Constraint Imperative Programming Language. | Martin Grabmller, Petra Hofstedt |
| 2002 | KI | Spatial Inference - Learning vs. Constraint Solving. | Carsten Gips, Petra Hofstedt, Fritz Wysotzki |
| 2000 | CP | Cooperating Constraint Solvers. | Petra Hofstedt |
| 1998 | EuroPar | Task Parallel Skeletons for Irregularly Structured Programs. | Petra Hofstedt |