George Assaf, Sven Löffler, Petra Hofstedt
Constraint-Based Optimization for Scheduling Medical Appointments.
17th International Conference on Agents and Artificial Intelligence - ICAART 2025 - Volume 3. SCITEPRESS 2025.

George Assaf, Sven Löffler, Petra Hofstedt
Optimized Scheduling of Medical Appointment Sequences Using Constraint
Programming.
22nd International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research - CPAIOR 2025. Part I. Lecture Notes in Computer Science 15762.

Adele Pißarek, Petra Hofstedt, Sven Löffler
Stockyard Planning and Optimization Using Intelligent Search.
5th International Conference on Innovative Intelligent Industrial Production and Logistics - IN4PL 2024. Part II.
Communication in Computer and Information Science 2373. Springer 2025.

Sven Löffler, Petra Hofstedt
A Constraint-Based Savings Algorithm for the Traveling Salesman
Problem.
10th International Conference on Machine Learning, Optimization, and
Data Science - LOD 2024, Revised Selected Papers,
Part II. Lecture Notes in Computer Science 15509, Springer 2025.

Sven Löffler, Petra Hofstedt
Greedy and Local Search-Based Constraint Optimization of the Travelling Salesman Problem. 
16th International Conference on Agents and Artificial Intelligence -
ICAART 2024, Revised Selected Papers, Part II.
Lecture Notes in Computer Science 15592, Springer 2025.

Sven Löffler, Ilja Becker, Petra Hofstedt
Enhancing Constraint Optimization Problems with Greedy Search and Clustering: A Focus on the Traveling Salesman Problem.
16th International Conference on Agents and Artificial Intelligence - ICAART 2024. Volume 3. 2024.

Sven Löffler, Petra Hofstedt
Automatic Placement of Digital Signals in Railway Digitalization: A Constraint Approach.
21st International Conference on Informatics in Control and Robotics - ICINCO 2024. Volume 1. 2024.

Sonja Breuß, Sven Löffler, Petra Hofstedt.
A Hybrid Constraint- and Search-Based Approach on the Stockyard Planning Problem.
21st International Conference on Informatics in Control and Robotics - ICINCO 2024. Volume 1. 2024.

Sven Löffler, Petra Hofstedt
A Constraint-Based Greedy-Local-Global Search for the Warehouse Locatio Problem.
Artificial Intelligence Applications and Innovations - 20th IFIP WG - AIAI 2024. IFIP Advances in Information and Communication Technology 713, Springer 2024.

Florian Frank, Peter Buckel, Ludwig Hoegner, Petra Hofstedt
A Landmark Selection Method for Object-Based Visual Outdoor Localization Approaches of Automated Ground Vehicles.
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences. 2024.

Sven Löffler, Ilja Becker, Petra Hofstedt
A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem.
Database and Expert Systems Applications - 34th International Conference, DEXA 2023. LNCS 14147, Springer 2023.

Sven Löffler, Ilja Becker, Petra Hofstedt, Andre Nitze, Silvia Hennig, Alexander Klinge
Planung des Ländlichen On-Demand-Verkehr - Probleme, Analyse und Algorithmen.
INFORMATIK 2023 - 52. Jahrestagung der Gesellschaft für Informatik (GI) LNI Vol. 337. 2023. 978-3-88579-731-9

Sven Löffler, Ilja Becker, Carlo Bückert, Petra Hofstedt
Enhanced Optimal Beacon Placement for Indoor Positioning: A Set Variable Based Constraint Programming Approach Informatics in Control,
Automation and Robotics - 20th International Conference, ICINCO 2023.

Maximilian Bels, Sven Löffler, Ilja Becker, Petra Hofstedt
Constraint-Based Filtering and Evaluation of CSP Search Trees.
15th International Conference on Agents and Artificial Intelligence -- ICAART Volume 3. 2023.

Sven Löffler, Franz Kroll, Ilja Becker, Petra Hofstedt
Optimal Beacon Placement for Indoor Positioning Using Constraint Programming.
19th IEEE/ACS International Conference on Computer Systems and Applications -- AICCSA. IEEE 2022.

Franz Kroll, Sven Löffler, Ilja Becker, Petra Hofstedt
Automatic Detection of Timed-up and Go Tests with IMU Sensor Data.
15th International Joint Conference on Biomedical Engineering Systems and Technologies -- BIODEVICES. 2022.

Ilja Becker, Sven Löffler, Petra Hofstedt
ML-Based Automation of Constraint Satisfaction Model Transformation and Solver Configuration.
Distributed Computing and Artificial Intelligence, Special Sessions, 19th International Conference -- DCAI. 2022.
Lecture Notes in Networks and Systems 585, Springer 2023.

Sven Löffler
Optimierung und Regularisierung von Constraint Satisfaction-Problemen (CSPs).
Brandenburg University of Technology Cottbus. PhD Thesis. 2022.

Sven Löffler, Ilja Becker, Franz Kroll, Petra Hofstedt.
A Survey of Constraint Transformation Methods. INFORMATIK 2021 - 51. Jahrestagung der Gesellschaft für Informatik (GI) LNI Vol. P-314. 2021. 978-3-88579-708-1

Petra Hofstedt, Sven Löffler.
Constraints. Book chapter in G. Görz, U. Schmid, Tanya Braun (Herausgeber): Handbuch der Künstlichen Intelligenz. De Gruyter. 2021.

Sven Löffler, Ilja Becker, Petra Hofstedt
ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints.
13th International Conference on Agents and Artificial Intelligence, ICAART 2021. SciTePress 2021. pages 974-981. (DOI: 10.5220/0010299109740981)

Ke Liu
Parallel Constraint Solving for Combinatorial Problems
Dissertation, 2021

Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel (Hrsg.):
Declarative Programming and Knowledge Management - DECLARE 2019, Unifying INAP, WLP, and WFLP. Revised Selected Papers.
Lecture Notes in Computer Science (LNCS) 12057, Springer 2020, ISBN 978-3-030-46713-5.

Ke Liu, Sven Löffler, Petra Hofstedt
Exploring Properties of Icosoku by Constraint Satisfaction Approach.
Declarative Programming and Knowledge Management - DECLARE 2019, Unifying INAP, WLP, and WFLP. Revised Selected Papers. Lecture Notes in Computer Science (LNCS) 12057, Springer 2020, ISBN 978-3-030-46713-5. pages 99-105.

Sven Löffler, Ke Liu, Petra Hofstedt
The Regularization of Small Sub-Constraint Satisfaction Problems.
Declarative Programming and Knowledge Management - DECLARE 2019, Unifying INAP, WLP, and WFLP. Revised Selected Papers. Lecture Notes in Computer Science (LNCS) 12057, Springer 2020, ISBN 978-3-030-46713-5. pages 106-115.

Sven Löffler, Ke Liu, Petra Hofstedt
Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach.
12th International Conference on Agents and Artificial Intelligence, ICAART 2020. SciTePress 2020. pages 331-338. (DOI: 10.5220/0008880403310338)

Sven Löffler, Ke Liu, Petra Hofstedt
An Introduction of FD-Complete Constraints. Artificial Intelligence Applications and Innovations
16th IFIP WG 12.5 International Conference, AIAI 2020. IFIP Advances in Information and Communication Technology 584, Springer 2020, ISBN 978-3-030-49185-7 pages 27-38.

Sven Löffler, Ke Liu, Petra Hofstedt
Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem.
In: Schmid U., Klügl F., Wolter D. (eds.) KI 2020: Advances in Artificial Intelligence. KI 2020. Lecture Notes in Computer Science (LNCS) Vol 12325. Springer 2020, ISBN 978-3-030-58284-5. pages 297-304.

Ke Liu, Sven Löffler, Petra Hofstedt
Parallel Stochastic Portfolio Search for Constraint Solving.
2019 IEEE International Conference on Parallel and Distributed Processing with Applications, Big Data and Cloud Computing. IEEE 2019.

Ke Liu, Sven Löffler, Petra Hofstedt
Solving the Social Golfers Problem by Constraint Programming in Sequential and Parallel
Proceedings of the 11th International Conference on Agents and Artificial Intelligence - ICAART 2019. SciTePress 2019. (DOI: 10.5220/0007252300290039)

Ulrich John, Petra Hofstedt, Armin Wolf (Hrsg.)
Deklarative Ansätze zur Künstlichen Intelligenz,
W(C)LP 2018, Post-Proceedings. HWTK Berlin 2019. ISBN 978-3-00-065784-9.

Sven Löffler, Ke Liu, Petra Hofstedt
Detecting Highly Overlapping Parts in Constraint Satisfaction Problems For Speed-Up
W(C)LP 2018 - 32nd Workshop on (Constraint) Logic Programming, Berlin 2018. HWTK Berlin 2019. ISBN 978-3-00-065784-9.

Sven Löffler, Ke Liu, Petra Hofstedt
Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems
Proceedings of the 11th International Conference on Agents and Artificial Intelligence - ICAART 2019. SciTePress 2019. (DOI: 10.5220/0007455907550761)

Sven Löffler, Ke Liu, Petra Hofstedt
A Meta Constraint Satisfaction Optimization Problem for the Optimization of Regular Constraint Satisfaction Problems
Proceedings of the 11th International Conference on Agents and Artificial Intelligence - ICAART 2019. SciTePress 2019. (DOI: 10.5220.0007260204350442)

Ilja Becker, Sven Löffler, Petra Hofstedt
Sharing Nogoods between Portfolio Instances in Choco Solver
20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019

Ke Liu, Sven Löffler, Petra Hofstedt
Solving the Talent Scheduling Problem by Parallel Constraint Programming
Artificial Intelligence Applications and Innovations - 15th IFIP WG 12.5 International Conference, AIAI 2019, Springer 2019.

Hrsg.: Abreu, Salvador, Hofstedt, Petra, John, Ulrich, Kuchen, Herbert, Seipel, Dietmar
Pre-proceedings of the DECLARE 2019 Conference (CoRR abs/1909.04870)

Ke Liu, Sven Löffler, Petra Hofstedt
Exploring Properties of Icosoku by Constraint Satisfaction Approach
Pre-proceedings of the DECLARE 2019 Conference (CoRR abs/1908.06003)

Sven Löffler, Ke Liu, Petra Hofstedt
The Regularization of Small Sub-Constraint Satisfaction Problems
Pre-proceedings of the DECLARE 2019 Conference (CoRR abs/1908.05907)

Ke Liu, Sven Löffler, Petra Hofstedt
Social Golfer Problem Revisited
Agents and Artificial Intelligence - 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers, Lecure Notes in Computer Science LNCS 11978, Springer 2019.

Petra Hofstedt, Walter Hower, Ulrich John, Armin Wolf
MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme
INFORMATIK 2019 - 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft. 49. Jahrestagung der GI, LNI P-295. GI 2019. ISBN 978-3-88579-689-3.

Ke Liu, Sven Löffler, Petra Hofstedt
Hypertree Decomposition: The First Step Towards Parallel Constraint Solving
Declarative Programming and Knowledge Management . Conference on Declarative Programming,
DECLARE 2017, Unifying INAP, WFLP and WLP, Germany 2017, Revised Selected Papers,
Lecture Notes in Computer Science, 10997, Springer, 2018

Ke Liu, Sven Löffler, Petra Hofstedt
Solving the Traveling Tournament Problem with Predefined Venues by Parallel Constraint Programming
Mining Intelligence and Knowledge Exploration - 6th International Conference MIKE, Romania 2018, Proceedings,
Lecture Notes in Computer Science, 11308, Springer, 2018

Klimczak, P.; Hofstedt, P.; Schmitt, I.; Petersen, C.
Computergestützte Methoden der Interpretation. Perspektiven einer digitalen Medienwissenschaft
Burghardt, M. & Müller-Birn, C. (Hrsg.) INF-DH-2018, Bonn: Gesellschaft für Informatik e.V. 2018

Anna Prenzel
Gestaltung der Mensch-Computer-Interaktion zur Entscheidungsunterstützung in Planungssystemen
Dissertation, 2018

Thilo Vörtler
Verification of software for Contiki-based low-power embedded systems using software model checking
Dissertation, 2018

Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz.
Formal Verification of Software for the Contiki Operating System Considering Interrupts.
18th Symposium on Design and Diagnostics of Electronic Circuits and Systems - DDECS 2015.

Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz.
Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015.

Denny Schneeweiss, Petra Hofstedt.
Configurable Domain Objects for Resource Modelling in Treatment Scheduling.
International Journal of Software Engineering and Knowledge Engineering 25(5): 871-886 (2015).

Douglas W. Cunningham, Petra Hofstedt, Klaus Meer, Ingo Schmitt (Hrsg.).
45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt,
28. September - 2. Oktober 2015 in Cottbus, Deutschland. LNI 246, GI 2015.

Peter Sauer, Denny Schneeweiß, Petra Hofstedt.
Divide & Conquer - Komplexe Constraint-Probleme durch Aufteilen lösen.
GI-Jahrestagung 2015: 1047-1060.

Petra Hofstedt, Walter Hower, Ulrich John, Andreas Kmoch, Armin Wolf.
Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgewählte Herausforderungen und Potenziale für die nächsten Jahre - zur Diskussion.
GI-Jahrestagung 2015: 1135-1138.

Petra Hofstedt, Ulrich John, Armin Wolf.
MOC 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme.
GI-Jahrestagung 2015: 1045-1046.

Denny Schneeweiss, Petra Hofstedt.
FdConfig: A Constraint-Based Interactive Configurator.
In 19th International Conference on Applications of Declarative Programming and Knowledge Management - INAP 2011, Revised Selected Papers. Lecture Notes in Computer Science Vol. 7773. Springer-Verlag. 2013.

Benny Höckner, Peter Sauer, Petra Hofstedt.
Functional Programming with Pros and Cons.
Haskell-Workshop - HaL8, Leipzig 2013.

Benny Höckner, Petra Hofstedt, Sascha Kaltschmidt, Peter. Sauer, Thilo Vörtler.
Design Space Exploration for Cyber Physical System Design using Constraint Solving.
Forum on specification and Design Languages (FDL).
ECSI, Electronic Chips & Systems design Initiative. 2013.

Benny Höckner, Petra Hofstedt, Thilo Vörtler, Peter Sauer, Thomas Hinze.
Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems.
20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013). Christian-Albrechts-Universtität zu Kiel, Institut für Informatik. Technical Report 1306. ISSN 2192-6247. 2013.

Thomas Hinze, Benjamin Schell, Mathias Schumann, Christian Bodenstein
Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency
In E. Csuhaj-Varju, M. Gheorghe, G. Paun, G. Rozenberg, A. Salomaa, G. Vaszil (Eds.), Membrane Computing. 13th International Conference. Series Lecture Notes in Computer Science, Vol. 7762, pp. 208-227, Springer Verlag, 2013

Petra Hofstedt (Gastherausgeber):
Themenband "AI Languages" der Zeitschrift "KI - Künstliche Intelligenz". ISSN: 0933-1875. Springer Verlag. 2012.

Thilo Vörtler, Steffen Rülke, Petra Hofstedt
Bounded Model Checking of Contiki Applications
15th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems - DDECS 2012, IEEE Computer Society. 2012.

Petra Hofstedt, Claus Lewerentz (Eds.)
Doktorandensymposium der SOFTWARE ENGINEERING 2012
Proceedings
Computer Science Report 01/12, BTU Cottbus, February 2012

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)

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

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

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.

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

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

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.

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.  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

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.  2008.

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

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,  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.

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.  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, 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  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 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 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, 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, 2003.

Frank, St., Grabmüller, M., Hofstedt, P., Metzner, A.
Constraints, Predicates, Functions, and a Turtle.
20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte". 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 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 2002.
 

Hofstedt, P.
Cooperation and Coordination of Constraint Solvers.
Dissertation.  Shaker Verlag. Aachen 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. 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. 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 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 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 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.: 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.