Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Petra Hofstedt
2010 – today
- 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)
- [c14]Thilo Vörtler, Steffen Rülke, Petra Hofstedt: Bounded model checking of Contiki applications. DDECS 2012: 258-261
- 2011
- [b1]Petra Hofstedt: Multiparadigm Constraint Programming Languages. Cognitive Technologies, Springer 2011, ISBN 978-3-642-17329-5, pp. 1-180
- [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
- [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
- 2000
- [c3]
- [c2]
1990 – 1999
- 1998
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:11 CEST by the dblp team