Hans-Joachim Goltz

Publications

• C.Fiehe, A.Litvina, J.Tonn, J.Wu, M.Scheel, A.Brinkmann, L.Nagel, K.Narayanan, C.Zoth, H.-J.Goltz, S.Unger, W.Thronicke, and F.Pursche: Building a Medical Research Cloud in the EASI-CLOUDS Project
  in: Proceedings 6th International Workshop on Science Gateways, IWSG 2014, IEEE Xplore Digital library.

• Robert Hilbrich, J.Reinier van Kampenhout, Hans-Joachim Goltz: Modellbasierte Generierung statischer Schedules für sicherheitskritische, eingebettete Systeme mit Multicore-Prozessoren und harten Echtzeitanforderungen
  in: W.A.Halang (ed.), Herausforderungen durch Echtzeitbetrieb, Springer 2012, pp. 29-38.

• Robert Hilbrich, Hans-Joachim Goltz: Model-based Generation of Static Schedules for Safety Critical Multi-Core Systemes in the Avionics Domain
  in: Proceedings of the 4th international workshop on Multicore software engineering, IWMSE'11, Honolulu, May 2011; Publisher: ACM, New York 2011.

• Hans-Joachim Goltz: An Interactive Scheduling Tool for Multi-Core Processor Systems
  in: Proceedings ''embedded world Conference'', 1.-3.3.2011; Nürnberg, Germany.

• Hans-Joachim Goltz: Interaktive Komponenten in constraint-basierten Planungssystemen
  in: INFORMATIK 2010, Band 2, Lecture Notes in Informatics-Proceedings, Vol. P-176,
  Series of the Gesellschaft für Informatik (GI), Bonn 2010; pp.693-698. (in German)
• Hans-Joachim Goltz, Norbert Pieth: A tool for generating partition schedules of multiprocessor systems
  in: Proc. of the 23rd Workshop on (Constraint) Logic Programming 2009; U. Geske, A. Wolf (eds.), Universitätsverlag Potsdam, 2010, pp. 167-176.
• Ulrich Geske, Hans-Joachim Goltz: Efficiency of Difference-List Programming
  in: Proc. of the 23rd Workshop on (Constraint) Logic Programming 2009; U. Geske, A. Wolf (eds.), Universitätsverlag Potsdam, 2010, pp. 177-186.
• Ulrich Geske, Hans-Joachim Goltz, Armin Wolf: Representation and Processing of Prefential Rules
  in: INFORMATIK 2008, Band 2, Lecture Notes in Informatics-Proceedings, Vol. P-134,
  Series of the Gesellschaft für Informatik (GI), Bonn 2008; pp.529-534.
• Ulrich Geske, Hans-Joachim Goltz: A Guide for Manual Construction of Difference-List Procedure
  in: Applications of Declarative Programming and Knowledge Management;
  D. Seipel, M. Hanus and A. Wolf (eds.), LNAI 5437, Springer Verlag Berlin Heidelberg, 2009, pp. 1-20.
• Hans-Joachim Goltz, Ulrich Geske: Representation and Processing of Rules with Preferences: Wishes in Timetabling Problem
  Knowledge Engineering and Software Engineering; J.Baumeister and D.Seipel (eds.),
  Workshop, German Conference on Artificial Intelligence, Bremen 2006.
• Ulrich Geske, Hans-Joachim Goltz, Rainer Mylius: Das Modell der computerintegrierten Dialyse
  Dialyse aktuell 2006; 10 (4), 18--22, Thieme Verlag, (in German).

• Hans-Joachim Goltz: Course Timetabling and Automatic Assignments of Students to Courses
  Proc. CHIP User Club Meeting, Paris, April 2006.
• Ulrich Geske, Hans-Joachim Goltz: Automatische und interaktive Stundenplanung
  Inform. Forsch. Entw. (2004) 19: 65-73, Springer-Verlag.
  [ Artikel im pdf-Format; Copyrightinhaber: Springer-Verlag,
  Die Orginalpublikation ist unter springerlink.com verfügbar]
• Hans-Joachim Goltz: How should propagation and search combined in complex applications
  Proc. CHIP User Club Meeting, Paris, Nov. 2003.
• Ulrich Geske, Hans-Joachim Goltz, Dirk Matzke: A technology for avoiding conflicts in multitrain simulation
  in: Computers in Railways VII; WIT Press Series: Advances in Transport Volume 13, Southampton 2002.

• Ulrich Geske, Hans-Joachim Goltz: Using CHIP for multi train simulation
  Proc. CHIP User Club Meeting, Paris, Nov. 2002.
• Hans Schlenker, Hans-Joachim Goltz, J.-Wilhelm Oestmann: TAME -- Time Resourcing in Academic Medical Environments
  AIME 2001, Proceedings Int. Conf., S. Quaglini, P. Barahona and S. Andreassen (eds.),
  LNAI 2101, Springer Verlag Berlin Heidelberg, pp. 395-404.
• Ulrich Geske, Hans-Joachim Goltz: Konfliktvermeidung statt Konfliktauflösung
  Simulationstechnik ASIM 2001. Frontiers in Simulation, SCS-The Society for Modeling and Simulation International, 2001,
  ISBN 1-56555-229-6; pp. 349-354. (in German)
• Hans-Joachim Goltz: Personnel Planning for working places with determined qualifications
  Proc. CHIP User Club Meeting, Paris, Nov. 2001.
• Hans-Joachim Goltz: Combined Automatic and Interactive Timetabling Using Constraint Logic Programming
  PATAT 2000, Proceedings Int. Conf. on the Practice and Theory of Automated Timetabling, E. Burke and W. Erben (eds.),
  Konstanz 2000, ISBN 3-00-003866-3, pp. 78-95. [ *.pdf ]
• Ulrich Geske, Hans-Joachim Goltz: Planungstechnik und Deklarative Programmierung
  Inform. Forsch. Entw. (2000) 15: 110-115.

• Hans-Joachim Goltz: On Methods of Constraint-Based Timetabling
  Proceedings PACLP 2000, C.Gervat (ed.),
  Manchester 2000, ISBN 1-902426-06-1, pp. 167-177. [ *.pdf ]

• Hans-Joachim Goltz: ConBaTT - Constraint based timetabling
  Proc. CHIP User Club Meeting, Paris, Nov. 2000.

• Hans-Joachim Goltz, Dirk Matzke: On Modelling and Solving Timetabling Problems Using Constraint Logic Programming
  Proc. ECAI-Workshop Modelling and Solving Problems with Constrains,
  P. Meseguer and C. Bessiere (eds.), ECAI 2000, Berlin.

• Hans-Joachim Goltz, Dirk Matzke: Constrained Based Timetabling
  Proc. ERCIM-Workshop on Constraints; K.R. Apt, E. Monfroy and F. Rossi (eds), Padova, Italy, June 2000.

• Hans-Joachim Goltz: Über Methoden des constraintbasierten Lösens von Problemen der Stundenplanung
  14. Workshop Logische Programmierung, F.Bry, U.Geske, D.Seipel (eds.),
  GMD Report 90, ISBN 3-88457-971-1, Januar 2000, pp. 77--88. (in German) [ *.pdf ]

• Hans-Joachim Goltz, Dirk Matzke: University Timetabling Using Constraint Logic Programming
  Proceedings PACLP'99, London 1999, ISBN 1-902426-01-0, pp. 529--535.

• Hans-Joachim Goltz, Dirk Matzke: University Timetabling Using Constraint Logic Programming
  Practical Aspects of Declarative Languages, G.Gupta (ed.),
  Lecture Notes in Computer Science, vol. 1551, Springer-Verlag 1999, pp. 320-334. [ *.pdf ]

• Hans-Joachim Goltz, Georg Küchler, Dirk Matzke: Constraint-Based Timetabling for Universities
  Proc. INAP'98, 11th Int. Conf. on Applications of Prolog, Tokyo, Sept. 1998, pp. 75-80.

• Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Armin Wolf: The constraint logic paradigm: declarativity, efficiency, and flexibility.
  Systems Immplementation 2000, R.N.Horspool (ed.), Chapman & Hall, 1998, pp. 59 - 71.

• Hans-Joachim Goltz: Interaktive, automatische Stundenplanung mittels constraintlogischer Programmierung
  12.Workshop "Planen und Konfigurieren" (PUK'98), J.Sauer, B.Stein (eds.),
  Bericht tr-ri-98-193, Reihe Informatik, Universität-GH-Paderborn, 1998, pp. 77 - 82. (in German) [ *.pdf ]

• Ulrich Geske, Hans-Joachim Goltz, Ulrich John: Industrielle Anwendungen constraintbasierter Planung und Konfiguration
  Industrie Management Vol.13 (6), pp. 38-42. (in German)

• Ulrich Geske, Hans-Joachim Goltz, Armin Wolf: Constrained-based processing of workflow problems
  Proc. Symp. on Industrial Applications of PROLOG (INAP'97), Kobe, Japan, 1997.

• Hans-Joachim Goltz: Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP
  12. Workshop on Logic Programming (WLP'97), F.Bry, B.Freitag, D.Seipel (eds.),
  Forschungsbericht PMS-FB-1997-10, LMU München, 1997, pp. 6--15. (in German)

• Hans-Joachim Goltz: Problemlösen mit constraintbasierter Programmierung
  Arbeitspapiere der GMD No. 1062, April 1997; GMD-Forschungszentrum Informationstechnik GmbH, D-53754 Sankt Augustin. (in German)
  [ überarbeitete pdf-Version ]

• Ulrich Geske, Hans-Joachim Goltz, Ulrich John: Planung ressourcenschonender Produktionsprozesse
  Arbeitspapiere der GMD No. 1084, April 1997; GMD-Forschungszentrum Informationstechnik GmbH, D-53754 Sankt Augustin. (in German)

• Hans-Joachim Goltz, Ulrich John: Methods for Solving Practical Problems of Job-Shop Scheduling Modelled in CLP(FD).
  PACT 96 - Practical Application of Constraint Technology, London 1996, pp. 73-92.

• Hans-Joachim Goltz: Anwendung heuristischer Verfahren zur Suchraumeinschränkung beim Lösen von Problemen der Ablaufplanung.
  Planen und Konfigurieren 96, Infix, Sankt Augustin, 1996. (in German)

• Hans-Joachim Goltz: Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling.
  Principles and Practice of Constraint Programming - CP'95, Lecture Notes in Computer Science, vol. 976, Springer-Verlag, 1995, pp. 549-562.

• Hans-Joachim Goltz, Ulrich John: Untersuchungen zur Modellierung wissensbasierter Systeme der Produktionsplanung.
  Arbeitspapiere der GMD No. 898, Februar 1995; GMD-Forschungszentrum Informationstechnik GmbH, D-53754 Sankt Augustin. (in German)

• Hans-Joachim Goltz: Types as Constraints in Logic Programming and Type Constraint Processing.
  Proc. of Joint Conference on Declarative Programming GULP-PRODE'94, Peñiscola, Spain, September 1994.

• Hans-Joachim Goltz: Logic Programming with Constructor-Based Type Constraints.
  Proc. Workshop on Integration of Declarative Paradigms (held in conjunction with ICLP'94), Santa Margherita Ligure, Italy, June 1994.

• Hans-Joachim Goltz: Types as Constraints in Logic Programming and Type Constraint Processing.
  Arbeitspapiere der GMD No. 870, October 1994.

• Hans-Joachim Goltz, Ulrich Geske: Verallgemeinerte Behandlung von Constraints in einem CLP-System.
  Proc. Neuere Entwicklungen der deklarativen KI-Programmierung, 17. Fachtagung für Künstliche Intelligenz, Sept. 1993. (in German)

• Ulrich Geske, Hans-Joachim Goltz, Mario Lenz: Composing Type-Checked Programs.
  Proc. of the International Logic Programming Symposium, ILPS'93, Vancouver (Canada), 1993.

• Hans-Joachim Goltz: Controlling Deduction Through Declarative Constructs.
  Arbeitspapiere der GMD No. 751, May 1993.

• Hans-Joachim Goltz: Funktional-logische Programmierung mittels Methoden der constraint-logischen Programmierung.
  Proc. 9th Logic Programming Workshop, WLP 93, FernUniversität Hagen, October 1993. (in German)

• Hans-Joachim Goltz: A Constructive Type System Based on Data Terms.
  Logics in AI - JELIA'92, Lecture Notes in Artificial Intelligence, vol. 633, Springer-Verlag, 1992.

• Hans-Joachim Goltz: Praktikable E-Unifikation für funktional logische Programmierung.
  Proc. 8th Logic Programming Workshop, WLP 92, TH Darmstadt, October 1992. (in German)

• Hans-Joachim Goltz: Functional Extension of Logic Programming.
  In: Contributions to Artificial Intelligence, U. Geske and D. Koch (eds.), Akademie Verlag, Berlin, 1991.

• Hans-Joachim Goltz: A Practicable Approach to Functional Logic Programming.
  In: Artificial Intelligence IV: Methodology, Systems, Applications, P. Jorrand and V. Sgurev (eds.), North-Holland, Amsterdam, 1990.

• Hans-Joachim Goltz, Heinrich Herre: Grundlagen der logischen Programmierung.
  Akademie-Verlag, Berlin, 1990. (in German)

• Hans-Joachim Goltz: Unifikationstheorie.
  In: Grundlagen der Künstlichen Intelligenz. Eine Einführung in Einzelbeiträgen, J. Grabowski, K.-P. Jantke, and H. Thiele (eds.), Akademie-Verlag, Berlin, 1989. (in German)

• Hans-Joachim Goltz, Ulrich Geske, Fritz Wysotzki: The Rewrite Approach to Combined Logic and Functional Programming.
  J. New Gener. Comput. Syst., 1:49--62, 1988.

• Hans-Joachim Goltz: Functional Data Term Models and Semantic Unification.
  Proc. Algebraic and Logic Programming, Lecture Notes in Computer Sciences 343, Springer-Verlag, 1988.