 | 2012 |
|---|
| 21 |       | Petra Hofstedt:
Die Evolution der Programmiersprachen der KI.
KI 26(1): 11-13 (2012) |
| 20 | | 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) |
| 19 | | Petra Hofstedt:
Themenschwerpunkt "Sprachen der KI".
KI 26(1): 7-9 (2012) |
| 18 | | Petra Hofstedt,
Thomas König:
Interview with Pascal Van Hentenryck on Constraint-Based Programming.
KI 26(1): 75-77 (2012) |
| 2011 |
|---|
| 17 | | Denny Schneeweiss,
Petra Hofstedt:
FdConfig: A Constraint-Based Interactive Product Configurator
CoRR abs/1108.5586: (2011) |
| 2010 |
|---|
| 16 | | Petra Hofstedt:
The Multiparadigm Programming Language CCFL.
GI Jahrestagung (2) 2010: 699-704 |
| 15 | | Petra Hofstedt:
Realizing evaluation strategies by hierarchical graph rewriting
CoRR abs/1009.3770: (2010) |
| 14 | | Petra Hofstedt:
Constraint-Based Object-Oriented Programming.
IEEE Software 27(5): 53-56 (2010) |
| 2009 |
|---|
| 13 | | Petra Hofstedt,
Florian Lorenzen:
Constraint Functional Multicore Programming.
GI Jahrestagung 2009: 2901-2915 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page