Petra 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
showing all ?? records
2010 – today
- 2018
- [c28]Sven Löffler, Ke Liu, Petra Hofstedt:
The Regularization of CSPs for Rostering, Planning and Resource Management Problems. AIAI 2018: 209-218 - [c27]Ke Liu, Sven Löffler, Petra Hofstedt:
Solving the Traveling Tournament Problem with Predefined Venues by Parallel Constraint Programming. MIKE 2018: 64-79 - 2017
- [c26]
- [c25]Sven Löffler, Ke Liu, Petra Hofstedt:
The Power of Regular Constraints in CSPs. GI-Jahrestagung 2017: 603-614 - [c24]Ke Liu, Sven Löffler, Petra Hofstedt:
Using Hypertree Decomposition for Parallel Constraint Solving. GI-Jahrestagung 2017: 615-622 - [c23]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) - [c22]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 - [c21]Petra Hofstedt, Ulrich John, Armin Wolf:
MOC 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme. GI-Jahrestagung 2015: 1045-1046 - [c20]Peter Sauer, Denny Schneeweiß, Petra Hofstedt:
Divide & Conquer - Komplexe Constraint-Probleme durch Aufteilen lösen. GI-Jahrestagung 2015: 1047-1060 - [c19]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 - [c18]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 246, GI 2015, ISBN 978-3-88579-640-4 [contents] - 2014
- [c17]Denny Schneeweiss, Petra Hofstedt:
Configurable Resource Models for Treatment Planning in the Medical Domain. BICT 2014 - 2013
- [c16]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]
- [j5]
- [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) - [c15]Thilo Vörtler, Steffen Rülke, Petra Hofstedt:
Bounded model checking of Contiki applications. DDECS 2012: 258-261 - 2011
- [b3]Petra Hofstedt:
Multiparadigm Constraint Programming Languages. Cognitive Technologies, Springer 2011, ISBN 978-3-642-17329-5, pp. 1-180 [contents] - [c14]Denny Schneeweiss, Petra Hofstedt:
FdConfig: A Constraint-Based Interactive Product Configurator. INAP/WLP 2011: 239-255 - [c13]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]
- [c12]
- [i2]Petra Hofstedt:
Realizing evaluation strategies by hierarchical graph rewriting. CoRR abs/1009.3770 (2010)
2000 – 2009
- 2009
- [c11]Petra Hofstedt, Florian Lorenzen:
Constraint Functional Multicore Programming. GI Jahrestagung 2009: 2901-2915 - 2007
- [b2]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. TPLP 7(1-2): 93-121 (2007) - 2006
- [c10]Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann:
Solution Strategies for Multi-domain Constraint Logic Programs. Ershov Memorial Conference 2006: 209-222 - 2005
- [c9]
- [c8]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
- [c7]Stephan Frank, Petra Hofstedt, Pierre R. Mai:
Meta-S: A Strategy-Oriented Meta-Solver Framework. FLAIRS Conference 2003: 177-181 - [c6]Stephan Frank, Petra Hofstedt, Pierre R. Mai:
A Flexible Meta-solver Framework for Constraint Solver Collaboration. KI 2003: 520-534 - 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. Shaker 2001, ISBN 978-3-8265-9351-2, pp. 1-222 - 2000
- [c3]
- [c2]
1990 – 1999
- 1998
- [c1]
Coauthor Index
last updated on 2019-02-08 22:50 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint