default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPetra Hofstedt
Person information
- affiliation: Brandenburg University of Technology, Cottbus, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c57]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: 1170-1178- [c56]Sven Löffler, Petra Hofstedt:
Automatic Placement of Digital Signals in Railway Digitalization: A Constraint Approach. ICINCO (1) 2024: 101-112 - [c55]Sonja Breuß, Sven Löffler, Petra Hofstedt:
A Hybrid Constraint- and Search-Based Approach on the Stockyard Planning Problem. ICINCO (1) 2024: 113-125 - [c54]Sven Löffler, Petra Hofstedt:
A Constraint-Based Greedy-Local-Global Search for the Warehouse Location Problem. AIAI (3) 2024: 291-304 - 2023
- [c53]Sven Löffler, Ilja Becker, Petra Hofstedt:
A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem. DEXA (2) 2023: 126-133 - [c52]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: 1739-1750 - [c51]Maximilian Bels, Sven Löffler, Ilja Becker, Petra Hofstedt:
Constraint-Based Filtering and Evaluation of CSP Search Trees. ICAART (3) 2023: 220-227 - [c50]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: 70-79 - 2022
- [c49]Sven Löffler, Franz Kroll, Ilja Becker, Petra Hofstedt:
Optimal Beacon Placement for Indoor Positioning Using Constraint Programming. AICCSA 2022: 1-8 - [c48]Franz Kroll, Sven Löffler, Ilja Becker, Petra Hofstedt:
Automatic Detection of Timed-up and Go Tests with IMU Sensor Data. BIODEVICES 2022: 15-24 - [c47]Ilja Becker
, Sven Löffler, Petra Hofstedt:
ML-Based Automation of Constraint Satisfaction Model Transformation and Solver Configuration. DCAI (2) 2022: 177-183 - 2021
- [c46]Sven Löffler, Ilja Becker, Franz Kroll, Petra Hofstedt:
A Survey of Constraint Transformation Methods. GI-Jahrestagung 2021: 1107-1120 - [c45]Sven Löffler, Ilja Becker, Petra Hofstedt:
ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints. ICAART (2) 2021: 974-981 - 2020
- [c44]Sven Löffler, Ke Liu, Petra Hofstedt:
Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach. ICAART (2) 2020: 331-338 - [c43]Sven Löffler, Ke Liu, Petra Hofstedt:
An Introduction of FD-Complete Constraints. AIAI (2) 2020: 27-38 - [c42]Sven Löffler, Ke Liu, Petra Hofstedt:
Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem. KI 2020: 297-304 - [p2]Petra Hofstedt, Sven Löffler:
Constraints. Handbuch der Künstlichen Intelligenz 2020: 713-754 - [e2]Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel:
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. Lecture Notes in Computer Science 12057, Springer 2020, ISBN 978-3-030-46713-5 [contents]
2010 – 2019
- 2019
- [c41]Petra Hofstedt, Walter Hower, Ulrich John, Armin Wolf:
MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme. GI-Jahrestagung (Workshops) 2019: 383 - [c40]Ke Liu, Sven Löffler, Petra Hofstedt:
Solving the Social Golfers Problems by Constraint Programming in Sequential and Parallel. ICAART (2) 2019: 29-39 - [c39]Ke Liu, Sven Löffler, Petra Hofstedt:
Social Golfer Problem Revisited. ICAART (Revised Selected Papers) 2019: 72-99 - [c38]Sven Löffler, Ke Liu, Petra Hofstedt:
A Meta Constraint Satisfaction Optimization Problem for the Optimization of Regular Constraint Satisfaction Problems. ICAART (2) 2019: 435-442 - [c37]Sven Löffler, Ke Liu, Petra Hofstedt:
Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems. ICAART (2) 2019: 755-761 - [c36]Ke Liu, Sven Löffler, Petra Hofstedt:
Solving the Talent Scheduling Problem by Parallel Constraint Programming. AIAI 2019: 236-244 - [c35]Ke Liu, Sven Löffler, Petra Hofstedt:
Exploring Properties of Icosoku by Constraint Satisfaction Approach. DECLARE 2019: 99-105 - [c34]Sven Löffler, Ke Liu, Petra Hofstedt:
The Regularization of Small Sub-Constraint Satisfaction Problems. DECLARE 2019: 106-115 - [c33]Ke Liu, Sven Löffler, Petra Hofstedt:
Parallel Stochastic Portfolio Search for Constraint Solving. ISPA/BDCloud/SocialCom/SustainCom 2019: 697-704 - [i6]Sven Löffler, Ke Liu, Petra Hofstedt:
The Regularization of Small Sub-Constraint Satisfaction Problems. CoRR abs/1908.05907 (2019) - [i5]Ke Liu, Sven Löffler, Petra Hofstedt:
Exploring Properties of Icosoku by Constraint Satisfaction Approach. CoRR abs/1908.06003 (2019) - [i4]Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel:
Pre-proceedings of the DECLARE 2019 Conference. CoRR abs/1909.04870 (2019) - 2018
- [c32]Sven Löffler, Ke Liu, Petra Hofstedt:
The Regularization of CSPs for Rostering, Planning and Resource Management Problems. AIAI 2018: 209-218 - [c31]Peter Klimczak, Petra Hofstedt, Ingo Schmitt, Christer Petersen:
Computergestützte Methoden der Interpretation. Perspektiven einer digitalen Medienwissenschaft. INF-DH 2018 - [c30]Ke Liu, Sven Löffler, Petra Hofstedt:
Solving the Traveling Tournament Problem with Predefined Venues by Parallel Constraint Programming. MIKE 2018: 64-79 - 2017
- [c29]Petra Hofstedt, Ulrich John, Armin Wolf:
MOC 2017. GI-Jahrestagung 2017: 601-602 - [c28]Sven Löffler, Ke Liu, Petra Hofstedt:
The Power of Regular Constraints in CSPs. GI-Jahrestagung 2017: 603-614 - [c27]Ke Liu, Sven Löffler, Petra Hofstedt:
Using Hypertree Decomposition for Parallel Constraint Solving. GI-Jahrestagung 2017: 615-622 - [c26]Ke Liu, Sven Löffler, Petra Hofstedt:
Hypertree Decomposition: The First Step Towards Parallel Constraint Solving. DECLARE 2017: 81-94 - 2016
- [c25]Peter Sauer, Tom Hausten, Petra Hofstedt:
Using internet of things technology to create a really platform independent robotics framework. ISSE 2016: 1-6 - 2015
- [j7]Denny Schneeweiss, Petra Hofstedt:
Configurable Domain Objects for Resource Modelling in Treatment Scheduling. Int. J. Softw. Eng. Knowl. Eng. 25(5): 871-886 (2015) - [c24]Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz:
Formal Verification of Software for the Contiki Operating System Considering Interrupts. DDECS 2015: 295-298 - [c23]Petra Hofstedt, Ulrich John, Armin Wolf:
MOC 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme. GI-Jahrestagung 2015: 1045-1046 - [c22]Peter Sauer, Denny Schneeweiß, Petra Hofstedt:
Divide & Conquer - Komplexe Constraint-Probleme durch Aufteilen lösen. GI-Jahrestagung 2015: 1047-1060 - [c21]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: 1135-1138 - [c20]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: 20-29 - [e1]Douglas W. Cunningham, Petra Hofstedt, Klaus Meer, Ingo Schmitt:
45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28 - October 2, 2015. LNI P-246, GI 2015, ISBN 978-3-88579-640-4 [contents] - 2014
- [c19]Denny Schneeweiss, Petra Hofstedt:
Configurable Resource Models for Treatment Planning in the Medical Domain. BICT 2014 - 2013
- [c18]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: 1-4 - [p1]Petra Hofstedt:
Constraints. Handbuch der Künstlichen Intelligenz 2013: 205-234 - 2012
- [j6]Petra Hofstedt:
Themenschwerpunkt "Sprachen der KI". Künstliche Intell. 26(1): 7-9 (2012) - [j5]Petra Hofstedt:
Die Evolution der Programmiersprachen der KI. Künstliche Intell. 26(1): 11-13 (2012) - [j4]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): 47-54 (2012) - [j3]Petra Hofstedt, Thomas König:
Interview with Pascal Van Hentenryck on Constraint-Based Programming. Künstliche Intell. 26(1): 75-77 (2012) - [c17]Thilo Vörtler, Steffen Rülke, Petra Hofstedt:
Bounded model checking of Contiki applications. DDECS 2012: 258-261 - 2011
- [b4]Petra Hofstedt:
Multiparadigm Constraint Programming Languages. Cognitive Technologies, Springer 2011, ISBN 978-3-642-17329-5, pp. 1-180 [contents] - [c16]Denny Schneeweiss, Petra Hofstedt:
FdConfig: A Constraint-Based Interactive Product Configurator. INAP/WLP 2011: 239-255 - [c15]Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt:
Formale Verifikation von Contiki-Anwendungen. MBMV 2011: 39-48 - [i3]Denny Schneeweiss, Petra Hofstedt:
FdConfig: A Constraint-Based Interactive Product Configurator. CoRR abs/1108.5586 (2011) - 2010
- [j2]Petra Hofstedt:
Constraint-Based Object-Oriented Programming. IEEE Softw. 27(5): 53-56 (2010) - [c14]Petra Hofstedt:
The Multiparadigm Programming Language CCFL. GI Jahrestagung (2) 2010: 699-704 - [i2]Petra Hofstedt:
Realizing evaluation strategies by hierarchical graph rewriting. CoRR abs/1009.3770 (2010)
2000 – 2009
- 2009
- [c13]Petra Hofstedt, Florian Lorenzen:
Constraint Functional Multicore Programming. GI Jahrestagung 2009: 2901-2915 - 2007
- [b3]Petra Hofstedt, Armin Wolf:
Einführung in die Constraint-Programmierung - Grundlagen, Methoden, Sprachen, Anwendungen. eXamen.press, Springer 2007, ISBN 978-3-540-23184-4, pp. I-XII, 1-388 - [j1]Petra Hofstedt, Peter Pepper:
Integration of declarative and constraint programming. Theory Pract. Log. Program. 7(1-2): 93-121 (2007) - 2006
- [b2]Peter Pepper, Petra Hofstedt:
Funktionale Programmierung - Sprachdesign und Programmiertechnik. eXamen.press, Springer 2006, ISBN 978-3-540-20959-1, pp. I-XVII, 1-492 - [c12]Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann:
Solution Strategies for Multi-domain Constraint Logic Programs. Ershov Memorial Conference 2006: 209-222 - 2005
- [c11]Petra Hofstedt, Olaf Krzikalla:
TURTLE++ - A CIP-Library for C++. INAP 2005: 12-24 - [c10]Stephan Frank, Petra Hofstedt, Dirk Reckmann:
Meta-S - Combining Solver Cooperation and Programming Languages. W(C)LP 2005: 159-162 - [i1]Petra Hofstedt, Peter Pepper:
Integration of Declarative and Constraint Programming. CoRR abs/cs/0511090 (2005) - 2004
- [c9]Stephan Frank, Petra Hofstedt, Dirk Reckmann:
Strategies for the Efficient Solution of Hybrid Constraint Logic Programs. WLPE 2004 - 2003
- [c8]Stephan Frank, Petra Hofstedt, Pierre R. Mai:
Meta-S: A Strategy-Oriented Meta-Solver Framework. FLAIRS 2003: 177-181 - [c7]Stephan Frank, Petra Hofstedt, Pierre R. Mai:
A Flexible Meta-solver Framework for Constraint Solver Collaboration. KI 2003: 520-534 - [c6]Martin Grabmüller, Petra Hofstedt:
Turtle: A Constraint Imperative Programming Language. SGAI Conf. 2003: 185-198 - 2002
- [c5]Petra Hofstedt:
A General Approach for Building Constraint Languages. Australian Joint Conference on Artificial Intelligence 2002: 431-442 - [c4]Carsten Gips, Petra Hofstedt, Fritz Wysotzki:
Spatial Inference - Learning vs. Constraint Solving. KI 2002: 299-316 - 2001
- [b1]Petra Hofstedt:
Cooperation and coordination of constraint solvers. Dresden University of Technology, Germany, Shaker 2001, ISBN 978-3-8265-9351-2, pp. 1-222 - 2000
- [c3]Petra Hofstedt:
Better Communication for Tighter Cooperation. Computational Logic 2000: 342-358 - [c2]Petra Hofstedt:
Cooperating Constraint Solvers. CP 2000: 520-524
1990 – 1999
- 1998
- [c1]Petra Hofstedt:
Task Parallel Skeletons for Irregularly Structured Programs. Euro-Par 1998: 676-681
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 19:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
