 | 2007 |
|---|
| 12 |       | Petra Hofstedt,
Peter Pepper:
Integration of declarative and constraint programming.
TPLP 7(1-2): 93-121 (2007) |
| 2006 |
|---|
| 11 | | Stephan Frank,
Petra Hofstedt,
Peter Pepper,
Dirk Reckmann:
Solution Strategies for Multi-domain Constraint Logic Programs.
Ershov Memorial Conference 2006: 209-222 |
| 2005 |
|---|
| 10 | | Petra Hofstedt,
Olaf Krzikalla:
TURTLE++ - A CIP-Library for C++.
INAP 2005: 12-24 |
| 9 |  | Stephan Frank,
Petra Hofstedt,
Dirk Reckmann:
Meta-S - Combining Solver Cooperation and Programming Languages.
W(C)LP 2005: 159-162 |
| 8 | | Petra Hofstedt,
Peter Pepper:
Integration of Declarative and Constraint Programming
CoRR abs/cs/0511090: (2005) |
| 2003 |
|---|
| 7 | | Stephan Frank,
Petra Hofstedt,
Pierre R. Mai:
Meta-S: A Strategy-Oriented Meta-Solver Framework.
FLAIRS Conference 2003: 177-181 |
| 6 | | Stephan Frank,
Petra Hofstedt,
Pierre R. Mai:
A Flexible Meta-solver Framework for Constraint Solver Collaboration.
KI 2003: 520-534 |
| 2002 |
|---|
| 5 | | Petra Hofstedt:
A General Approach for Building Constraint Languages.
Australian Joint Conference on Artificial Intelligence 2002: 431-442 |
| 4 | | Carsten Gips,
Petra Hofstedt,
Fritz Wysotzki:
Spatial Inference - Learning vs. Constraint Solving.
KI 2002: 299-316 |
| 2000 |
|---|
| 3 | | Petra Hofstedt:
Cooperating Constraint Solvers.
CP 2000: 520-524 |
| 2 | | Petra Hofstedt:
Better Communication for Tighter Cooperation.
Computational Logic 2000: 342-358 |
| 1998 |
|---|
| 1 | | Petra Hofstedt:
Task Parallel Skeletons for Irregularly Structured Programs.
Euro-Par 1998: 676-681 |
