Hans-Joachim Goltz

According to our database, Hans-Joachim Goltz authored at least 25 papers between 1985 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Building a medical research cloud in the EASI-CLOUDS project.

Jie Wu, Krishnaprasad Narayanan, Lars Nagel, Christoph Fiehe, Anna Litvina, Jakob Tonn, Carsten Zoth, Hans-Joachim Goltz, Steffen Unger, Fabian Pursche, Michael Scheel, André Brinkmann, Wolfgang Thronicke

Concurr. Comput. Pract. Exp., 2015

Reservierungsmanager für Cloud-Ressourcen mittels constraintbasierter Programmierung.

Hans-Joachim Goltz, Armin Wolf

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

2011

Modellbasierte Generierung statischer Schedules für sicherheitskritische, eingebettete Systeme mit Multicore-Prozessoren und harten Echtzeitanforderungen.

Robert Hilbrich, J. Reinier van Kampenhout, Hans-Joachim Goltz

Proceedings of the Herausforderungen durch Echtzeitbetrieb, 2011

Model-based generation of static schedules for safety critical multi-core systems in the avionics domain.

Robert Hilbrich, Hans-Joachim Goltz

Proceedings of the 4th International Workshop on Multicore Software Engineering, 2011

2010

Interaktive Komponenten in constraint-basierten Planungssystemen.

Hans-Joachim Goltz

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

2008

Representation and Processing of Preferential Rules.

Ulrich Geske, Hans-Joachim Goltz, Armin Wolf

Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

2007

A Guide for Manual Construction of Difference-List Procedures.

Ulrich Geske, Hans-Joachim Goltz

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

2004

Automatische und interaktive Stundenplanung.

Ulrich Geske, Hans-Joachim Goltz

Inform. Forsch. Entwickl., 2004

2001

TAME - Time Resourcing in Academic Medical Environments.

Hans Schlenker, Hans-Joachim Goltz, Joerg-Wilhelm Oestmann

Proceedings of the Artificial Intelligence Medicine, 2001

2000

Planungstechnik und Deklarative Programmierung.

Ulrich Geske, Hans-Joachim Goltz

Inform. Forsch. Entwickl., 2000

Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung.

Hans-Joachim Goltz

Proceedings of the 14. Workshop Logische Programmierung, 2000

On Methods of Constraint-Based Timetabling.

Hans-Joachim Goltz

Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, 2000

1999

University Timetabling Using Constraint Logic Programming.

Hans-Joachim Goltz, Dirk Matzke

Proceedings of the Practical Aspects of Declarative Languages, 1999

1998

The constraint logic paradigm: declarativity, efficiency and flexibility.

Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Armin Wolf

Proceedings of the Systems Implementation 2000, 1998

1997

Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP.

Hans-Joachim Goltz

Proceedings of the Twelfth Workshop Logic Programming, 1997

Constraint-basierte Planung und Konfiguration (system description).

Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf

Proceedings of the Twelfth Workshop Logic Programming, 1997

1995

Ein effizientes constraint-logisches Verfahren zur Eingrenzung der optimalen Lösungen von Problemen der Ablaufplanung.

Hans-Joachim Goltz

Proceedings of the 11. Workshop Logische Programmierung, 1995

Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling.

Hans-Joachim Goltz

Proceedings of the Principles and Practice of Constraint Programming, 1995

1994

Logic Programming with Constructor-based Type Constraints.

Hans-Joachim Goltz

Proceedings of the Integration of Declarative Paradigms, 1994

1993

Funktional-logische Programmierung mittels Methoden der constraint-logischen Programmierung.

Hans-Joachim Goltz

Proceedings of the 9. Workshop Logische Programmierung, 1993

1992

A Constructive Type System Based on Data Terms.

Hans-Joachim Goltz

Proceedings of the Logics in AI, European Workshop, 1992

1991

Ein praktischer Algorithmus für die E-Unifikation

Hans-Joachim Goltz

IWBS Report, 1991

1990

A Practicable Approach to Functional Logic Programming.

Hans-Joachim Goltz

Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1988

Functional Data Term Models and Semantic Unification.

Hans-Joachim Goltz

Proceedings of the Algebraic and Logic Programming, 1988

1985

The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier.

Hans-Joachim Goltz

Math. Log. Q., 1985