Publications

Year 2023

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.

Year 2022

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.

Year 2021

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

Year 2020

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.

Year 2019

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.

Year 2018

Sven Löffler, Ke Liu, Petra Hofstedt
The Regularization of CSPs for Rostering, Planning and Resource Management Problems
Artificial Intelligence Applications and Innovations - 14th IFIP WG 12.5 International Conference,
AIAI 2018, IFIP Advances in Information and Communication Technology, 519, Springer, 2018

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

Year 2017

Sven Löffler, Ke Liu, Petra Hofstedt
Transformations of CSPs to Regular CSPs
Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, September 2017, Tagungsband

Sven Löffler, Ke Liu, Petra Hofstedt
Hypertree Decomposition for Constraint programming in Parallel
Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, September 2017, Tagungsband

Sven Löffler, Ke Liu, Petra Hofstedt
Hypertree Decomposition: The First Step Towards Parallel Constraint Solving
Declare 2017 - Conference on Declarative programming, Würzburg

Sven Löffler, Ke Liu, Petra Hofstedt
UsingHypertree Decomposition for Parallel Constraint Solving
Informatik 2017, September 2017 Chemnitz

Sven Löffler, Ke Liu, Petra Hofstedt
The Power of Regular Constraints in CSPs
Informatik 2017, September 2017 Chemnitz

Petra Hofstedt, Ulrich John, Armin Wolf
MOC 2017 – 9. Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme
47. Jahrestagung der Gesellschaft für Informatik, Informatik 2017 ,

Year 2016

Peter Sauer, Tom Hausten, Petra Hofsted
Using Internet of Things Technology to Create a Really Platform Independent Robotics Framework
International Symposium on Systems Engineering - ISSE, 3-5 Oct. 2016

Year 2015

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.

Year 2014

Denny Schneeweiss, Petra Hofstedt.
Configurable Resource Models for Treatment Planning in the Medical Domain.
International Conference on Bio-inspired Information and Communications Technologies (BICT). ACM. 2014.

Jacob Lorenz, Petra Hofstedt, Stefan-Alexander Schneider, Pierre R. Mai. Semi-Automatic Compliance Audits for Implementations of FMI for Co-Simulation.
ITI-Symposium. 2014.

Thomas Hinze, Jörn Behre, Christian Bodenstein, Gabi Escuela, Gerd Grünert, Petra Hofstedt, Peter Sauer, Sikander Hayat, Peter Dittrich.
Membrane Systems and Tools Combining Dynamical Structures with Reaction Kinetics for Applications in Chronobiology.
Book chapter in P. Frisco, M. Gheorghe, M.J. Perez-Jimenez (Eds.), Applications of Membrane Computing in Systems and Synthetic Biology, Series Emergence, Complexity, and Computation, Vol. 7, pp. 133-173, ISBN 978-3-319-03190-3, Springer Verlag, 2014 (DOI-Link)

Year 2013

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

Year 2012

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)

Year 2011

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

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

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.

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.

Year 2010

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

Year 2009

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.

Year 2008

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

Year 2007

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.

Year 2006

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

Year 2005

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.

Year 2004

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.

Year 2003

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.

Year 2002

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.
 

Year 2001

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

Year 2000

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.

Year 1999

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.

Year 1998

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

Year 1997

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.

Year 1996

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

Year 1995

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