Task Parallel Skeletons for Irregularly Structured Programs. - Petra Hofstedt (Euro-Par, 1998)

Better Communication for Tighter Cooperation. - Petra Hofstedt (Computational Logic, 2000)

Cooperating Constraint Solvers. - Petra Hofstedt (CP, 2000)

Cooperation and coordination of constraint solvers. - Petra Hofstedt (Shaker, 2001)

A General Approach for Building Constraint Languages. - Petra Hofstedt (Australian Joint Conference on Artificial Intelligence, 2002)

Spatial Inference - Learning vs. Constraint Solving. - Carsten Gips; Petra Hofstedt; Fritz Wysotzki (KI, 2002)

Meta-S: A Strategy-Oriented Meta-Solver Framework. - Stephan Frank; Petra Hofstedt; Pierre R. Mai (FLAIRS, 2003)

A Flexible Meta-solver Framework for Constraint Solver Collaboration. - Stephan Frank; Petra Hofstedt; Pierre R. Mai (KI, 2003)

Turtle: A Constraint Imperative Programming Language. - Martin Grabmüller; Petra Hofstedt (SGAI Conf., 2003)

Strategies for the Efficient Solution of Hybrid Constraint Logic Programs. - Stephan Frank; Petra Hofstedt; Dirk Reckmann (WLPE, 2004)

TURTLE++ - A CIP-Library for C++. - Petra Hofstedt; Olaf Krzikalla (INAP, 2005)

Meta-S - Combining Solver Cooperation and Programming Languages. - Stephan Frank; Petra Hofstedt; Dirk Reckmann (W(C)LP, 2005)

Funktionale Programmierung - Sprachdesign und Programmiertechnik. - Peter Pepper; Petra Hofstedt (Springer, 2006)

Solution Strategies for Multi-domain Constraint Logic Programs. - Stephan Frank; Petra Hofstedt; Peter Pepper; Dirk Reckmann (Ershov Memorial Conference, 2006)

Einführung in die Constraint-Programmierung - Grundlagen, Methoden, Sprachen, Anwendungen. - Petra Hofstedt; Armin Wolf (Springer, 2007)

Integration of declarative and constraint programming. - Petra Hofstedt; Peter Pepper (Theory Pract. Log. Program., 2007)

Constraint Functional Multicore Programming. - Petra Hofstedt; Florian Lorenzen (GI Jahrestagung, 2009)

The Multiparadigm Programming Language CCFL. - Petra Hofstedt (GI Jahrestagung (2), 2010)

Realizing evaluation strategies by hierarchical graph rewriting - Petra Hofstedt (CoRR, 2010)

Constraint-Based Object-Oriented Programming. - Petra Hofstedt (IEEE Softw., 2010)

Multiparadigm Constraint Programming Languages. - Petra Hofstedt (Springer, 2011)

FdConfig: A Constraint-Based Interactive Product Configurator. - Denny Schneeweiss; Petra Hofstedt (INAP/WLP, 2011)

Formale Verifikation von Contiki-Anwendungen. - Thilo Vörtler; Thomas Klotz; Eva Fordran; Petra Hofstedt (MBMV, 2011)

Bounded model checking of Contiki applications. - Thilo Vörtler; Steffen Rülke; Petra Hofstedt (DDECS, 2012)

Themenschwerpunkt "Sprachen der KI". - Petra Hofstedt (Künstliche Intell., 2012)

Die Evolution der Programmiersprachen der KI. - Petra Hofstedt (Künstliche Intell., 2012)

Interview with Pascal Van Hentenryck on Constraint-Based Programming. - Petra Hofstedt; Thomas König (Künstliche Intell., 2012)

Constraint-basierte Programmiersprachen - Von den Ursprüngen in der logischen Programmierung bis zu heutigen Anwendungen. - Thomas König; Petra Hofstedt (Künstliche Intell., 2012)

Constraints. - Petra Hofstedt (Handbuch der Künstlichen Intelligenz, 2013)

Design space exploration for cyber physical system design using constraint solving. - Benny Höckner; Petra Hofstedt; Sascha Kaltschmidt; Peter Sauer; Thilo Vörtler (FDL, 2013)

Configurable Resource Models for Treatment Planning in the Medical Domain. - Denny Schneeweiss; Petra Hofstedt (BICT, 2014)

Formal Verification of Software for the Contiki Operating System Considering Interrupts. - Thilo Vörtler; Benny Höckner; Petra Hofstedt; Thomas Klotz (DDECS, 2015)

Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgewählte Herausforderungen und Potenziale für die nächsten Jahre - zur Diskussion. - Petra Hofstedt; Walter Hower; Ulrich John; Andreas Kmoch; Armin Wolf (GI-Jahrestagung, 2015)

MOC 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme. - Petra Hofstedt; Ulrich John; Armin Wolf (GI-Jahrestagung, 2015)

Divide & Conquer - Komplexe Constraint-Probleme durch Aufteilen lösen. - Peter Sauer; Denny Schneeweiß; Petra Hofstedt (GI-Jahrestagung, 2015)

Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts. - Thilo Vörtler; Benny Höckner; Petra Hofstedt; Thomas Klotz (MBMV, 2015)

Configurable Domain Objects for Resource Modelling in Treatment Scheduling. - Denny Schneeweiss; Petra Hofstedt (Int. J. Softw. Eng. Knowl. Eng., 2015)

Using internet of things technology to create a really platform independent robotics framework. - Peter Sauer; Tom Hausten; Petra Hofstedt (ISSE, 2016)

MOC 2017. - Petra Hofstedt; Ulrich John; Armin Wolf (GI-Jahrestagung, 2017)

Using Hypertree Decomposition for Parallel Constraint Solving. - Ke Liu 006; Sven Löffler; Petra Hofstedt (GI-Jahrestagung, 2017)

The Power of Regular Constraints in CSPs. - Sven Löffler; Ke Liu 006; Petra Hofstedt (GI-Jahrestagung, 2017)

Hypertree Decomposition: The First Step Towards Parallel Constraint Solving. - Ke Liu 006; Sven Löffler; Petra Hofstedt (DECLARE, 2017)

The Regularization of CSPs for Rostering, Planning and Resource Management Problems. - Sven Löffler; Ke Liu 006; Petra Hofstedt (AIAI, 2018)

Computergestützte Methoden der Interpretation. Perspektiven einer digitalen Medienwissenschaft. - Peter Klimczak; Petra Hofstedt; Ingo Schmitt; Christer Petersen (INF-DH, 2018)

Solving the Traveling Tournament Problem with Predefined Venues by Parallel Constraint Programming. - Ke Liu 006; Sven Löffler; Petra Hofstedt (MIKE, 2018)

MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme. - Petra Hofstedt; Walter Hower; Ulrich John; Armin Wolf (GI-Jahrestagung (Workshops), 2019)

Social Golfer Problem Revisited. - Ke Liu 006; Sven Löffler; Petra Hofstedt (ICAART (Revised Selected Papers), 2019)

Solving the Social Golfers Problems by Constraint Programming in Sequential and Parallel. - Ke Liu 006; Sven Löffler; Petra Hofstedt (ICAART (2), 2019)

A Meta Constraint Satisfaction Optimization Problem for the Optimization of Regular Constraint Satisfaction Problems. - Sven Löffler; Ke Liu 006; Petra Hofstedt (ICAART (2), 2019)

Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems. - Sven Löffler; Ke Liu 006; Petra Hofstedt (ICAART (2), 2019)

Solving the Talent Scheduling Problem by Parallel Constraint Programming. - Ke Liu 006; Sven Löffler; Petra Hofstedt (AIAI, 2019)

Exploring Properties of Icosoku by Constraint Satisfaction Approach. - Ke Liu 006; Sven Löffler; Petra Hofstedt (DECLARE, 2019)

The Regularization of Small Sub-Constraint Satisfaction Problems. - Sven Löffler; Ke Liu 006; Petra Hofstedt (DECLARE, 2019)

Parallel Stochastic Portfolio Search for Constraint Solving. - Ke Liu 006; Sven Löffler; Petra Hofstedt (ISPA/BDCloud/SocialCom/SustainCom, 2019)

Pre-proceedings of the DECLARE 2019 Conference. - Salvador Abreu; Petra Hofstedt; Ulrich John; Herbert Kuchen; Dietmar Seipel (CoRR, 2019)

Constraints. - Petra Hofstedt; Sven Löffler (Handbuch der Künstlichen Intelligenz, 2020)

Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach. - Sven Löffler; Ke Liu 006; Petra Hofstedt (ICAART (2), 2020)

An Introduction of FD-Complete Constraints. - Sven Löffler; Ke Liu 006; Petra Hofstedt (AIAI (2), 2020)

Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem. - Sven Löffler; Ke Liu 006; Petra Hofstedt (KI, 2020)

A Survey of Constraint Transformation Methods. - Sven Löffler; Ilja Becker; Franz Kroll; Petra Hofstedt (GI-Jahrestagung, 2021)

ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints. - Sven Löffler; Ilja Becker; Petra Hofstedt (ICAART (2), 2021)

Optimal Beacon Placement for Indoor Positioning Using Constraint Programming. - Sven Löffler; Franz Kroll; Ilja Becker; Petra Hofstedt (AICCSA, 2022)

Automatic Detection of Timed-up and Go Tests with IMU Sensor Data. - Franz Kroll; Sven Löffler; Ilja Becker; Petra Hofstedt (BIODEVICES, 2022)

ML-Based Automation of Constraint Satisfaction Model Transformation and Solver Configuration. - Ilja Becker; Sven Löffler; Petra Hofstedt (DCAI (2), 2022)

A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem. - Sven Löffler; Ilja Becker; Petra Hofstedt (DEXA (2), 2023)

Planung des Ländlichen On-Demand-Verkehr - Probleme, Analyse und Algorithmen. - Sven Löffler; Ilja Becker; Petra Hofstedt; André Nitze; Silvia Hennig; Alexander Klinge (GI-Jahrestagung, 2023)

Constraint-Based Filtering and Evaluation of CSP Search Trees. - Maximilian Bels; Sven Löffler; Ilja Becker; Petra Hofstedt (ICAART (3), 2023)

Enhanced Optimal Beacon Placement for Indoor Positioning: A Set Variable Based Constraint Programming Approach. - Sven Löffler; Ilja Becker; Carlo Bückert; Petra Hofstedt (ICINCO (1), 2023)

Enhancing Constraint Optimization Problems with Greedy Search and Clustering: A Focus on the Traveling Salesman Problem. - Sven Löffler; Ilja Becker; Petra Hofstedt (ICAART (3), 2024)

Greedy and Local Search-Based Constraint Optimization of the Travelling Salesman Problem. - Sven Löffler; Petra Hofstedt (ICAART (Revised Selected Paper, 2), 2024)

A Hybrid Constraint- and Search-Based Approach on the Stockyard Planning Problem. - Sonja Breuß; Sven Löffler; Petra Hofstedt (ICINCO (1), 2024)

Automatic Placement of Digital Signals in Railway Digitalization: A Constraint Approach. - Sven Löffler; Petra Hofstedt (ICINCO (1), 2024)

A Constraint-Based Greedy-Local-Global Search for the Warehouse Location Problem. - Sven Löffler; Petra Hofstedt (AIAI (3), 2024)

Stockyard Planning and Optimization Using Intelligent Search. - Adele Pißarek; Petra Hofstedt; Sven Löffler (IN4PL (2), 2024)

A Constraint-Based Savings Algorithm for the Traveling Salesman Problem. - Sven Löffler; Petra Hofstedt (LOD (2), 2024)

Optimized Scheduling of Medical Appointment Sequences Using Constraint Programming. - George Assaf; Sven Löffler; Petra Hofstedt (CPAIOR (1), 2025)

Constraint-Based Optimization for Scheduling Medical Appointments. - George Assaf; Sven Löffler; Petra Hofstedt (ICAART (3), 2025)

A Hybrid Constraint-Based, Greedy, and Local Search Approach for the Transshipment Problem. - Sven Löffler; Viktoria Abbenhaus; George Assaf; Petra Hofstedt (KI, 2025)