2007 |
12 | EE | Petra Hofstedt,
Peter Pepper:
Integration of declarative and constraint programming.
TPLP 7(1-2): 93-121 (2007) |
2006 |
11 | EE | Stephan Frank,
Petra Hofstedt,
Peter Pepper,
Dirk Reckmann:
Solution Strategies for Multi-domain Constraint Logic Programs.
Ershov Memorial Conference 2006: 209-222 |
2005 |
10 | EE | 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 | EE | 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 | EE | Stephan Frank,
Petra Hofstedt,
Pierre R. Mai:
A Flexible Meta-solver Framework for Constraint Solver Collaboration.
KI 2003: 520-534 |
2002 |
5 | EE | Petra Hofstedt:
A General Approach for Building Constraint Languages.
Australian Joint Conference on Artificial Intelligence 2002: 431-442 |
4 | EE | Carsten Gips,
Petra Hofstedt,
Fritz Wysotzki:
Spatial Inference - Learning vs. Constraint Solving.
KI 2002: 299-316 |
2000 |
3 | EE | Petra Hofstedt:
Cooperating Constraint Solvers.
CP 2000: 520-524 |
2 | EE | Petra Hofstedt:
Better Communication for Tighter Cooperation.
Computational Logic 2000: 342-358 |
1998 |
1 | EE | Petra Hofstedt:
Task Parallel Skeletons for Irregularly Structured Programs.
Euro-Par 1998: 676-681 |