Petra Hofstedt

Publication Activity (10 Years)

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

Top Venues

GI-Jahrestagung

ICAART (2)

CoRR

DECLARE

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Sven Löffler, Ilja Becker, Petra Hofstedt
Enhancing Constraint Optimization Problems with Greedy Search and Clustering: A Focus on the Traveling Salesman Problem. ICAART (3) (2024)
Sven Löffler, Petra Hofstedt
A Constraint-Based Greedy-Local-Global Search for the Warehouse Location Problem. AIAI (3) (2024)
Maximilian Bels, Sven Löffler, Ilja Becker, Petra Hofstedt
Constraint-Based Filtering and Evaluation of CSP Search Trees. ICAART (3) (2023)
Sven Löffler, Ilja Becker, Petra Hofstedt
A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem. DEXA (2) (2023)
Sven Löffler, Ilja Becker, Carlo Bückert, Petra Hofstedt
Enhanced Optimal Beacon Placement for Indoor Positioning: A Set Variable Based Constraint Programming Approach. ICINCO (1) (2023)
Sven Löffler, Ilja Becker, Petra Hofstedt, André Nitze, Silvia Hennig, Alexander Klinge
Planung des Ländlichen On-Demand-Verkehr - Probleme, Analyse und Algorithmen. GI-Jahrestagung (2023)
Ilja Becker, Sven Löffler, Petra Hofstedt
ML-Based Automation of Constraint Satisfaction Model Transformation and Solver Configuration. DCAI (2) (2022)
Sven Löffler, Franz Kroll, Ilja Becker, Petra Hofstedt
Optimal Beacon Placement for Indoor Positioning Using Constraint Programming. AICCSA (2022)
Franz Kroll, Sven Löffler, Ilja Becker, Petra Hofstedt
Automatic Detection of Timed-up and Go Tests with IMU Sensor Data. BIODEVICES (2022)
Sven Löffler, Ilja Becker, Petra Hofstedt
ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints. ICAART (2) (2021)
Sven Löffler, Ilja Becker, Franz Kroll, Petra Hofstedt
A Survey of Constraint Transformation Methods. GI-Jahrestagung (2021)
Sven Löffler, Ke Liu, Petra Hofstedt
Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach. ICAART (2) (2020)
Sven Löffler, Ke Liu, Petra Hofstedt
An Introduction of FD-Complete Constraints. AIAI (2) (2020)
Sven Löffler, Ke Liu, Petra Hofstedt
Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem. KI (2020)
Ke Liu, Sven Löffler, Petra Hofstedt
Exploring Properties of Icosoku by Constraint Satisfaction Approach. DECLARE (2019)
Sven Löffler, Ke Liu, Petra Hofstedt
A Meta Constraint Satisfaction Optimization Problem for the Optimization of Regular Constraint Satisfaction Problems. ICAART (2) (2019)
Ke Liu, Sven Löffler, Petra Hofstedt
Exploring Properties of Icosoku by Constraint Satisfaction Approach. CoRR (2019)
Ke Liu, Sven Löffler, Petra Hofstedt
Parallel Stochastic Portfolio Search for Constraint Solving. ISPA/BDCloud/SocialCom/SustainCom (2019)
Ke Liu, Sven Löffler, Petra Hofstedt
Solving the Social Golfers Problems by Constraint Programming in Sequential and Parallel. ICAART (2) (2019)
Sven Löffler, Ke Liu, Petra Hofstedt
Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems. ICAART (2) (2019)
Ke Liu, Sven Löffler, Petra Hofstedt
Solving the Talent Scheduling Problem by Parallel Constraint Programming. AIAI (2019)
Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel
Pre-proceedings of the DECLARE 2019 Conference. CoRR (2019)
Sven Löffler, Ke Liu, Petra Hofstedt
The Regularization of Small Sub-Constraint Satisfaction Problems. DECLARE (2019)
Sven Löffler, Ke Liu, Petra Hofstedt
The Regularization of Small Sub-Constraint Satisfaction Problems. CoRR (2019)
Ke Liu, Sven Löffler, Petra Hofstedt
Social Golfer Problem Revisited. ICAART (Revised Selected Papers) (2019)
Petra Hofstedt, Walter Hower, Ulrich John, Armin Wolf
MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme. GI-Jahrestagung (Workshops) (2019)
Peter Klimczak, Petra Hofstedt, Ingo Schmitt, Christer Petersen
Computergestützte Methoden der Interpretation. Perspektiven einer digitalen Medienwissenschaft. INF-DH (2018)
Sven Löffler, Ke Liu, Petra Hofstedt
The Regularization of CSPs for Rostering, Planning and Resource Management Problems. AIAI (2018)
Ke Liu, Sven Löffler, Petra Hofstedt
Solving the Traveling Tournament Problem with Predefined Venues by Parallel Constraint Programming. MIKE (2018)
Ke Liu, Sven Löffler, Petra Hofstedt
Hypertree Decomposition: The First Step Towards Parallel Constraint Solving. DECLARE (2017)
Ke Liu, Sven Löffler, Petra Hofstedt
Using Hypertree Decomposition for Parallel Constraint Solving. GI-Jahrestagung (2017)
Sven Löffler, Ke Liu, Petra Hofstedt
The Power of Regular Constraints in CSPs. GI-Jahrestagung (2017)
Petra Hofstedt, Ulrich John, Armin Wolf
MOC 2017. GI-Jahrestagung (2017)
Peter Sauer, Tom Hausten, Petra Hofstedt
Using internet of things technology to create a really platform independent robotics framework. ISSE (2016)
Denny Schneeweiss, Petra Hofstedt
Configurable Domain Objects for Resource Modelling in Treatment Scheduling. Int. J. Softw. Eng. Knowl. Eng. 25 (5) (2015)
Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz
Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts. MBMV (2015)
Peter Sauer, Denny Schneeweiß, Petra Hofstedt
Divide & Conquer - Komplexe Constraint-Probleme durch Aufteilen lösen. GI-Jahrestagung (2015)
Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz
Formal Verification of Software for the Contiki Operating System Considering Interrupts. DDECS (2015)
Petra Hofstedt, Walter Hower, Ulrich John, Andreas Kmoch, Armin Wolf
Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgewählte Herausforderungen und Potenziale für die nächsten Jahre - zur Diskussion. GI-Jahrestagung (2015)
Petra Hofstedt, Ulrich John, Armin Wolf
MOC 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme. GI-Jahrestagung (2015)
Denny Schneeweiss, Petra Hofstedt
Configurable Resource Models for Treatment Planning in the Medical Domain. BICT (2014)
Benny Höckner, Petra Hofstedt, Sascha Kaltschmidt, Peter Sauer, Thilo Vörtler
Design space exploration for cyber physical system design using constraint solving. FDL (2013)
Thomas König, Petra Hofstedt
Constraint-basierte Programmiersprachen - Von den Ursprüngen in der logischen Programmierung bis zu heutigen Anwendungen. Künstliche Intell. 26 (1) (2012)
Petra Hofstedt
Themenschwerpunkt "Sprachen der KI". Künstliche Intell. 26 (1) (2012)
Petra Hofstedt, Thomas König
Interview with Pascal Van Hentenryck on Constraint-Based Programming. Künstliche Intell. 26 (1) (2012)
Thilo Vörtler, Steffen Rülke, Petra Hofstedt
Bounded model checking of Contiki applications. DDECS (2012)
Petra Hofstedt
Die Evolution der Programmiersprachen der KI. Künstliche Intell. 26 (1) (2012)
Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt
Formale Verifikation von Contiki-Anwendungen. MBMV (2011)
Denny Schneeweiss, Petra Hofstedt
FdConfig: A Constraint-Based Interactive Product Configurator. INAP/WLP (2011)
Denny Schneeweiss, Petra Hofstedt
FdConfig: A Constraint-Based Interactive Product Configurator CoRR (2011)
Petra Hofstedt
Constraint-Based Object-Oriented Programming. IEEE Softw. 27 (5) (2010)
Petra Hofstedt
The Multiparadigm Programming Language CCFL. GI Jahrestagung (2) (2010)
Petra Hofstedt
Realizing evaluation strategies by hierarchical graph rewriting CoRR (2010)
Petra Hofstedt, Florian Lorenzen
Constraint Functional Multicore Programming. GI Jahrestagung (2009)
Petra Hofstedt, Peter Pepper
Integration of declarative and constraint programming. Theory Pract. Log. Program. 7 (1-2) (2007)
Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann
Solution Strategies for Multi-domain Constraint Logic Programs. Ershov Memorial Conference (2006)
Stephan Frank, Petra Hofstedt, Dirk Reckmann
Meta-S - Combining Solver Cooperation and Programming Languages. W(C)LP (2005)
Petra Hofstedt, Olaf Krzikalla
TURTLE++ - A CIP-Library for C++. INAP (2005)
Petra Hofstedt, Peter Pepper
Integration of Declarative and Constraint Programming CoRR (2005)
Stephan Frank, Petra Hofstedt, Dirk Reckmann
Strategies for the Efficient Solution of Hybrid Constraint Logic Programs. WLPE (2004)
Stephan Frank, Petra Hofstedt, Pierre R. Mai
A Flexible Meta-solver Framework for Constraint Solver Collaboration. KI (2003)
Stephan Frank, Petra Hofstedt, Pierre R. Mai
Meta-S: A Strategy-Oriented Meta-Solver Framework. FLAIRS Conference (2003)
Martin Grabmüller, Petra Hofstedt
Turtle: A Constraint Imperative Programming Language. SGAI Conf. (2003)
Carsten Gips, Petra Hofstedt, Fritz Wysotzki
Spatial Inference - Learning vs. Constraint Solving. KI (2002)
Petra Hofstedt
A General Approach for Building Constraint Languages. Australian Joint Conference on Artificial Intelligence (2002)
Petra Hofstedt
Better Communication for Tighter Cooperation. Computational Logic (2000)
Petra Hofstedt
Cooperating Constraint Solvers. CP (2000)
Petra Hofstedt
Task Parallel Skeletons for Irregularly Structured Programs. Euro-Par (1998)

Petra Hofstedt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Petra Hofstedt