Petra Hofstedt
Die Evolution der Programmiersprachen der KI
Künstliche Intelligenz, Volume 26, Number 1, February 2012 ( link)

Thomas König, Petra Hofstedt
Constraint-basierte Programmiersprachen - Von den Ursprüngen in der logischen Programmierung bis zu heutigen Anwendungen
Künstliche Intelligenz, Volume 26, Number 1, February 2012 ( link)

Petra Hofstedt
Themenschwerpunkt "Sprachen der KI"
Künstliche Intelligenz, Volume 26, Number 1, February 2012 ( link)

Petra Hofstedt, Thomas König
Interview with Pascal Van Hentenryck on Constraint-Based Programming
Künstliche Intelligenz, Volume 26, Number 1, February 2012 ( link) 

Denny Schneeweiss, Petra Hofstedt
FdConfig: A Constraint-Based Interactive Configurator.
International Conference on Applications of Declarative Programming
and Knowledge Management - INAP 2011. to appear.

Petra Hofstedt, Wolfgang Jeltsch, Thomas König, Guangyun Xu
Monadische Constraint-Programmierung.
Haskell-Workshop --  HaL6. Leipzig 2011.( pdf)

Petra Hofstedt, Armin Wolf (Eds.)
Proceedings of the International Workshop on Innovative Scheduling and other Applications using CP-AI-OR (ISA 2011).
Computer Science Report 01/11, BTU Cottbus, May 2011. ( pdf)

Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt
Formale Verifikation von Contiki-Anwendungen.
Proceedings of the 14th GI/ITG/GMM Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV). Oldenburg. 2011.

Petra Hofstedt
Constraint-Based Object-Oriented Programming.
IEEE Software, Vol.27, No.5, pp. 53-56, IEEE Computer Society. September/October 2010. ( link)

Wolfgang Jeltsch
Generic Record Combinators with Static Type Checking
In: Maribel Fernández, Temur Kutsia, Wolfgang Schreiner Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP ’10) ACM 2010 ( pdf)

Petra Hofstedt
Realizing evaluation strategies by hierarchical graph rewriting.
In: Implementation of Constraint Logic Programming Systems, CICLOPS 2010. Proceedings. 2010. ( pdf)

Petra Hofstedt
The Multiparadigm Programming Language CCFL.
In: Klaus-Peter Fähnrich, Bogdan Franczyk (Eds.): Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 2.
LNI 176, GI 2010.( pdf)

König, Thomas
Interaktive Beweissysteme in verschiedenen Berechnungsmodellen.
Diplomarbeit, BTU Cottbus, Fak. f. Mathematik, Naturwissenschaften und Informatik, Februar 2010, ( pdf)

Wolfgang Jeltsch
Signals, Not Generators!
In: Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter Koopman (Hrsg.) Proceedings of the 10th Symposium on Trends in Functional Programming (TFP ’ 09)Intellect, Bristol 2010( pdf)

P. Hofstedt
Multiparadigm Constraint Programming Languages.
Habilitation thesis. Technical University Berlin. 2009.

P. Hofstedt
Implementing reduction strategies by hierarchical graph rewriting.
Maribel Fernandez (Ed.): 9th International Workshop on Reduction Strategies in Rewriting and Programming -- WRS 2009 (Pre-Proceedings). 2009. ( pdf)

P. Hofstedt, K. Ueda
Realizing Multiparadigm Programming based on Hierarchical Graph Rewriting.
In: Santiago Escobar (Ed.): Functional and (Constraint) Logic Programming 18th International Workshop WFLP 2009, pp. 95-109. 2009.

Petra Hofstedt, Florian Lorenzen
Constraint Functional Multicore Programming.
In: S. Fischer, E. Maehle, R. Reischuk (Eds.): Informatik 2009. Proceedings. LNI 154. ( pdf) 2009.

Wolfgang Jeltsch
Improving Push-Based FRP
In: Peter Achten, Pieter Koopman, Marco Morazán (Hrsg.) Draft Proceedings of the 9th Symposium on Trends in Functional Programming (TFP ’08) Technischer Bericht ICIS-R08007, Radboud Universiteit Nijmegen 2008 ( pdf)

S. Frank, M. Grabmüller, P. Hofstedt, D. Kleeblatt, P. R. Mai, P. Pepper, S.-A. Schneider.
Safety of Compilers and Translation Techniques -- Status quo of Technology and Science. Automotive -- Safety & Security: Sicherheit und Zuverlässigkeit für automobile Informationstechnik. ( pdf) 2008.

P. Hofstedt
CCFL - A Concurrent Constraint Functional Language.
Technical Report 2008-08. Technische Universität Berlin, 2008. ISSN 1436-9915 ( pdf)

Hofstedt, P., Pepper, P.
Integration of Declarative and Constraint Programming. Journal on Theory and Practice of Logic Programming -- TPLP. Special Issue on Multiparadigm Languages and Constraint Programming. 7(1&2) ( link) 2007.

S. Frank, P. Hofstedt, P. Pepper, D. Reckmann
Solution Strategies for Multi-domain
Constraint Logic Programs.
In I. Virbitskaite, A. Voronkov, editors, Perspectives of Systems
Informatics - PSI 2006, Revised Papers. Lecture Notes in Computer Science 4378. Springer Verlag, ( pdf) 2007.

Schölzel, M.
Time-Constrained Clustering for DSE of Clustered VLIW-ASP.
In: Proc. of the Design, Automation, and Test in Europe (DATE'07), akzeptiert.

Hofstedt, P., Krzikalla, O.
Turtle++ – A CIP-Library for C++.
16th International Conference on Applications of Declarative Programming and Knowledge Management -- INAP 2005.
Lecture Notes in Computer Science 4369. Springer Verlag. ( pdf) 2006.

Schölzel, M.
 Automatisierter Entwurf anwendungsspezifischer VLIW-Prozessoren.
Dissertation, BTU Cottbus, Fakultät für Mathematik und Naturwischenschaften und Informatik, Oktober 2006.

Pawlowski, P., Schölzel, M.
A Case-Study for Built-In-Self-Repair in Application Specific Processors By Decreasing the Arithmetic Accuracy.
In: Proc. of the IEEE Workshop Signal Processing'2006, Poznan, pp 77-82, 2006.

Bachmann, P.
 Formal Verification of Event Driven Systems.
In: BTU -Cottbus, Computer Science Reports 03/06, October 2006, pp 43-54.

Schölzel, M.
Synthesis of Application Specific Processors - A Look at High-Level-Approaches for Developing Application Specific Processors.
Invited Talk: 1st International Conference of Young Researchers, Zielona-Gora, 2006.

Schölzel, M., Bachmann, P., Vogel, M.
Durchgängiger automatisierter Entwurf von der Prozessor-Architektur bis zur Anwendungs-Software.
Dresdner Arbeitstagung Schaltungs- und Systementwurf, S. 19-24, 2006.

Heinig, Andy, Schölzel, Mario.
Zeitbeschränkte Clusterung zur Design-Space-Exploration geclusterter VLIW-Prozessoren.
9. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, S. 319-328, 2006.

Frank, St., Hofstedt, P.
CLFD: A Finite Domain Constraint Solver in Common Lisp.
International Lisp Conference -- ILC. Stanford University. Association of Lisp Users 2005.

Frank, St., Hofstedt, P., Reckmann D.
System Description: Meta-S. Combining Solver Cooperation and Programming Languages.
19th International Workshop on (Constraint) Logic Programming -- W(C)LP. Ulmer Informatik Berichte UIB-2005-01. ( pdf) 2005.

Scholz, Sebastian, Schölzel, Mario.
Design-Space-Exploration Using Simulated Annealing
In: Proc. of the IEEE Workshop Signal Processing'2005, pp. 165-170, 2005.

Schölzel, M., Bachmann, P.
DESCOMP: A New Design Space Exploration Approach.
In: Proc. of the 18th International Conference on Architecture of Computing Systems, LNCS 3432, pp. 178-192, 2005.

Frank, St., Hofstedt, P., Reckmann, D.
Strategies for the Efficient Solution of Hybrid Constraint Logic Programs.
In MultiCPL'04: Third Workshop on Multiparadigm Constraint Programming Languages. Saint-Malo, France, (pdf)2004.

Workshop Proceedings
Muñoz-Hernández, S., Gómez-Pérez, J.M., Hofstedt ,P. (Eds.),
WLPE 2004: 14th Workshop on Logic Programming Environments and
MultiCPL 2004: Third Workshop on Multiparadigm Constraint Programming Languages. Saint-Malo, France, ( pdf)2004.

Schölzel, M., Bachmann, P., Vierhaus, H.T.
Application Specific Processor Design for Digital Signal Processing
In: Proc. of the IEEE Workshop Signal Processing'2004, pp. 7-15, 2004.

Grabmüller, M., Hofstedt, P.
Turtle. A Constraint Imperative Programming Language.
Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Research and Development in Intelligent Systems XX. Springer-Verlag ( pdf) 2003.

Frank, St., Hofstedt, P., Mai, P.R.
Meta-S. A strategy-oriented Meta-Solver Framework.
In Russel, I., Haller, S.: Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference. AAAI Press ( pdf) 2003.

Frank, St., Hofstedt, P., Mai, P.R.
A Flexible Meta-solver Framework for Constraint Solver Collaboration.
In Günter, A., Kruse, R. and Neumann, B.: Proceedings of the 26th German Conference on Artificial Intelligence, KI'2003. Volume 2821 of LNCS. Springer-Verlag ( pdf)2003.

Frank, St., Hofstedt, P., Mai, P.R.
A Case Study on Termination.
In Albert Rubio (Ed.): Proceedings of the 6th International Workshop on Termination, WST'03. Technical Report DSIC-II/15/03, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, 2003.

Hofstedt, P., Metzner, A
Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks. In Germán Vidal (Ed.): Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP'03. Technical Report DSIC-II/13/03, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, ( pdf)2003.

Workshop Proceedings
Hanus, M., Hofstedt, P., Wolf, A., Abdennadher, S., Frühwirth, T., Lallouet, A. (Eds.), MultiCPL'03: Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP'03: Fifth International Workshop on Rule-Based Constraint Reasoning and Programming. Workshop Proceedings. Kinsale, Ireland, ( pdf)2003.

Frank, St., Grabmüller, M., Hofstedt, P., Metzner, A.
Constraints, Predicates, Functions, and a Turtle.
20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte". ( pdf)2003.

Workshop Proceedings
Hanus, M., Hofstedt, P., Abdennadher, S., Frühwirth, T., Wolf, A. (Eds.),
MultiCPL'02: Workshop on Multiparadigm Constraint Programming Languages and RCoRP'02: Fourth Workshop on Rule-Based Constraint Reasoning and Programming. Cornell University, Ithaca, NY, USA, ( pdf)2002.

Hofstedt, P.
A general Approach for Building Constraint Languages.
In B. McKay and J. Slaney (Eds.), AI 2002: Advances in Artificial Intelligence. 15th Australian Joint Conference on Artificial Intelligence. Canberra, Australia. Volume 2557 of LNCS. Springer-Verlag ( pdf)2002.

Gips, C., Hofstedt, P., Wysotzki, F.
Spatial Inference - Learning vs. Constraint Solving.
In M. Jarke, J. Köhler, G. Lakemeyer (Eds.), KI 2002: Advances in Artificial Intelligence. Volume 2479 of LNCS. Springer-Verlag ( pdf)2002.

Hofstedt, P.
Cooperation and Coordination of Constraint Solvers.
Dissertation.  Shaker Verlag. Aachen ( pdf) 2001.

Hofstedt, P.
Declarative Host Languages for Constraint Systems.
International Symposium on Artificial Intelligence. ISAI'2001.

Hofstedt, P., Seifert, D., Godehardt, E.
A Framework for Cooperating Constraint Solvers - A Prototypic Implementation. Workshop on Cooperative Solvers in Constraint Programming - CoSolv. At the Seventh International Conference on Principles and Practice of Constraint Programming. ( pdf)2001.

Hofstedt, P.
How to integrate Declarative Languages and Constraint Systems.
In: K.Indermark, Th.Noll (Eds.), Kolloquium Programmiersprachen. Technical Report AIB-2001-11. RWTH Aachen. ( pdf) 2001.

Schölzel, Mario
 Globale Registerallokation für irreguläre Registerarchitekturen durch Graphfärbung,
In: Informatiktage, Konradin-Verlag, 2001.

Müller, Matthias, Schölzel, Mario
 Methoden und Werkzeuge zur Entwicklung effizienter Programme für irreguläre Prozessorarchitekturen
Diplomarbeit, BTU Cottbus, Fak. f. Mathematik, Naturwissenschaften und Informatik, Juni 2001

Hofstedt, P.
Cooperating Constraint Solvers.
Sixth International Conference on Principles and Practice of Constraint Programming - CP 2000. Volume 1894 of LNCS. Springer-Verlag ( pdf)2000.

Hofstedt, P.
Better Communication for Tighter Cooperation.
Lloyd et al. (Eds.), First International Conference on Computational Logic - CL 2000. Volume 1861 of LNCS. Springer-Verlag ( pdf)2000.

Rülke, St., Schneider, J.,Bachmann, P.,Rogin, F.
Qualitätssicherung für wiederverwendbare Schaltungsbeschreibungen durch HDL-Code-Amalyse,In: Proc. IWK 2000 - 45th International Scientific Colloquium, October 4-6, 2000,Ilmenau, Germany, pp. 725-730.

Rülke, St., Schneider, J.,Bachmann, P.,Rogin, F.
 Quality guaranty of reusable circuit descriptions throught HDL-Source Code Analysis
Workshop on IP-based synthesis and system design, Grenoble 1999.

Hofstedt, P.
Task Parallel Skeletons for Irregularly Structured Problems.
In D.Pritchard and J.Reeve (Eds.), Euro-Par'98 - Parallel Processing, 4th International Euro-Par Conference, Southampton. Volume 1470 of LNCS. Springer-Verlag ( pdf) 1998.

Bachmann, Peter
 UPHA - eine Umgebung zur Programmierung hocheffizienter Anwendungen für Digitale Signalprozessoren,
DESIGN&ELEKTRONIK, DSP-Deutschland 1999, Seiten 207-214.Reihe Informatik I-09/1998, September 1998

Bachmann, Peter
 Programming by Information-Systems
BTU Cottbus, Fak. f. Mathematik, Naturwissenschaften und Informatik
Reihe Informatik I-09/1998, September 1998

Bachmann, Peter
 Objektorientierte Programmierung unter einer (anderen) konzeptuellen Sicht
BTU Cottbus, Fak. f. Mathematik, Naturwissenschaften und Informatik
Reihe Informatik I-04/1998, April 1998

Hofstedt, P., Schwigon, S.
Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme.
Technical Report TUD-FI97-08, Oktober 1997, Dresden University of Technology. (in german).

Hofstedt, P.: Taskparallele Skelette für irregulär strukturierte Probleme in deklarativen Sprachen. Aachener Informatik - Berichte AIB 97-7, RWTH Aachen, Fachgruppe Informatik. ( ps.gz).

Bachmann, Peter
 Lifting of L-Narrowing Derivations
Computers and Artificial Intelligence, Vol. 16, No. 3, 1997, pp. 309-334.

Bachmann, Peter
 Operational Semantics Oriented Specification
Kuwait Journal of Science & Engineering, Vol. 24, 1997, pp. 1-22.

Bachmann, Peter
 On the Power of Recursion in Dataflow Schemes
Springer Verlag, LNCS 1181, 1996, pp. 166-177.

Hofstedt, P.
Eine abstrakte Maschine für eine parallele logische Sprache.
1995. Diploma Thesis. Dresden University of Technology.