Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarPetra 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
- 2020
[c40]Sven Löffler, Ke Liu, Petra Hofstedt:
Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach. ICAART (2) 2020: 331-338- [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
- [c39]Petra Hofstedt, Walter Hower, Ulrich John, Armin Wolf:
MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme. GI-Jahrestagung (Workshops) 2019: 383 - [c38]Ke Liu, Sven Löffler, Petra Hofstedt:
Solving the Social Golfers Problems by Constraint Programming in Sequential and Parallel. ICAART (2) 2019: 29-39 - [c37]Ke Liu, Sven Löffler, Petra Hofstedt:
Social Golfer Problem Revisited. ICAART (Revised Selected Papers) 2019: 72-99 - [c36]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 - [c35]Sven Löffler, Ke Liu, Petra Hofstedt:
Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems. ICAART (2) 2019: 755-761 - [c34]Ke Liu, Sven Löffler, Petra Hofstedt:
Solving the Talent Scheduling Problem by Parallel Constraint Programming. AIAI 2019: 236-244 - [c33]Ke Liu, Sven Löffler, Petra Hofstedt:
Exploring Properties of Icosoku by Constraint Satisfaction Approach. DECLARE 2019: 99-105 - [c32]Sven Löffler, Ke Liu, Petra Hofstedt:
The Regularization of Small Sub-Constraint Satisfaction Problems. DECLARE 2019: 106-115 - [c31]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
- [c30]Sven Löffler, Ke Liu, Petra Hofstedt:
The Regularization of CSPs for Rostering, Planning and Resource Management Problems. AIAI 2018: 209-218 - [c29]Peter Klimczak, Petra Hofstedt, Ingo Schmitt, Christer Petersen:
Computergestützte Methoden der Interpretation. Perspektiven einer digitalen Medienwissenschaft. INF-DH 2018 - [c28]Ke Liu, Sven Löffler, Petra Hofstedt:
Solving the Traveling Tournament Problem with Predefined Venues by Parallel Constraint Programming. MIKE 2018: 64-79 - 2017
- [c27]Petra Hofstedt, Ulrich John, Armin Wolf:
MOC 2017. GI-Jahrestagung 2017: 601-602 - [c26]Sven Löffler, Ke Liu, Petra Hofstedt:
The Power of Regular Constraints in CSPs. GI-Jahrestagung 2017: 603-614 - [c25]Ke Liu, Sven Löffler, Petra Hofstedt:
Using Hypertree Decomposition for Parallel Constraint Solving. GI-Jahrestagung 2017: 615-622 - [c24]Ke Liu, Sven Löffler, Petra Hofstedt:
Hypertree Decomposition: The First Step Towards Parallel Constraint Solving. DECLARE 2017: 81-94 - 2015
- [j7]Denny Schneeweiss, Petra Hofstedt:
Configurable Domain Objects for Resource Modelling in Treatment Scheduling. International Journal of Software Engineering and Knowledge Engineering 25(5): 871-886 (2015) - [c23]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 - [c22]Petra Hofstedt, Ulrich John, Armin Wolf:
MOC 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme. GI-Jahrestagung 2015: 1045-1046 - [c21]Peter Sauer, Denny Schneeweiß, Petra Hofstedt:
Divide & Conquer - Komplexe Constraint-Probleme durch Aufteilen lösen. GI-Jahrestagung 2015: 1047-1060 - [c20]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 - [c19]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 2015, Informatik, Energie und Umwelt, 28. September - 2. Oktober 2015 in Cottbus, Deutschland. LNI P-246, GI 2015, ISBN 978-3-88579-640-4 [contents] - 2014
- [c18]Denny Schneeweiss, Petra Hofstedt:
Configurable Resource Models for Treatment Planning in the Medical Domain. BICT 2014 - 2013
- [c17]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 - 2012
- [j6]Petra Hofstedt:
Themenschwerpunkt "Sprachen der KI". KI 26(1): 7-9 (2012) - [j5]Petra Hofstedt:
Die Evolution der Programmiersprachen der KI. KI 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. KI 26(1): 47-54 (2012) - [j3]Petra Hofstedt, Thomas König:
Interview with Pascal Van Hentenryck on Constraint-Based Programming. KI 26(1): 75-77 (2012) - [c16]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] - [c15]Denny Schneeweiss, Petra Hofstedt:
FdConfig: A Constraint-Based Interactive Product Configurator. INAP/WLP 2011: 239-255 - [c14]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 Software 27(5): 53-56 (2010) - [c13]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
- [c12]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 - [c11]Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann:
Solution Strategies for Multi-domain Constraint Logic Programs. Ershov Memorial Conference 2006: 209-222 - 2005
- [c10]Petra Hofstedt, Olaf Krzikalla:
TURTLE++ - A CIP-Library for C++. INAP 2005: 12-24 - [c9]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) - 2003
- [c8]Stephan Frank, Petra Hofstedt, Pierre R. Mai:
Meta-S: A Strategy-Oriented Meta-Solver Framework. FLAIRS Conference 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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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 and opencitations.net 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 Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from 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 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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-05-24 00:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
