Petra Hofstedt

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