Hans-Joachim Goltz

26 papers A 1B 2C 1Misc 1Journal 5Unranked 16
YearRankTypeTitle / Venue / Authors
2015 J jnl
Building a medical research cloud in the EASI-CLOUDS project.
Concurr. Comput. Pract. Exp.
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
2015 — conf
Reservierungsmanager für Cloud-Ressourcen mittels constraintbasierter Programmierung.
GI-Jahrestagung
Hans-Joachim Goltz, Armin Wolf
2014 — conf
Building a Medical Research Cloud in the EASI-CLOUDS Project.
IWSG
Christoph Fiehe, Anna Litvina, Jakob Tonn, Jie Wu, Michael Scheel, André Brinkmann, Lars Nagel, Krishnaprasad Narayanan, Carsten Zoth, Hans-Joachim Goltz, Steffen Unger, Wolfgang Thronicke, Fabian Pursche
2011 — conf
Model-based generation of static schedules for safety critical multi-core systems in the avionics domain.
IWMSE@ICSE
Robert Hilbrich, Hans-Joachim Goltz
2011 — conf
Modellbasierte Generierung statischer Schedules für sicherheitskritische, eingebettete Systeme mit Multicore-Prozessoren und harten Echtzeitanforderungen.
Echtzeit
Robert Hilbrich, J. Reinier van Kampenhout, Hans-Joachim Goltz
2010 — conf
Interaktive Komponenten in constraint-basierten Planungssystemen.
GI Jahrestagung (2)
Hans-Joachim Goltz
2008 — conf
Representation and Processing of Preferential Rules.
GI Jahrestagung (2)
Ulrich Geske, Hans-Joachim Goltz, Armin Wolf
2007 — conf
A Guide for Manual Construction of Difference-List Procedures.
INAP/WLP
Ulrich Geske, Hans-Joachim Goltz
2004 J jnl
Automatische und interaktive Stundenplanung.
Inform. Forsch. Entwickl.
Ulrich Geske, Hans-Joachim Goltz
2001 B conf
TAME - Time Resourcing in Academic Medical Environments.
AIME
Hans Schlenker, Hans-Joachim Goltz, Joerg-Wilhelm Oestmann
2000 — conf
On Methods of Constraint-Based Timetabling.
PACPL
Hans-Joachim Goltz
2000 J jnl
Planungstechnik und Deklarative Programmierung.
Inform. Forsch. Entwickl.
Ulrich Geske, Hans-Joachim Goltz
2000 — conf
Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung.
WLP
Hans-Joachim Goltz
1999 C conf
University Timetabling Using Constraint Logic Programming.
PADL
Hans-Joachim Goltz, Dirk Matzke
1998 — conf
The constraint logic paradigm: declarativity, efficiency and flexibility.
Systems Implementation 2000
Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Armin Wolf
1997 — conf
Constraint-basierte Planung und Konfiguration (system description).
WLP
Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf
1997 — conf
Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP.
WLP
Hans-Joachim Goltz
1995 — conf
Ein effizientes constraint-logisches Verfahren zur Eingrenzung der optimalen Lösungen von Problemen der Ablaufplanung.
WLP
Hans-Joachim Goltz
1995 A conf
Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling.
CP
Hans-Joachim Goltz
1994 — conf
Logic Programming with Constructor-based Type Constraints.
ICLP Workshop: Integration of Declarative Paradigms
Hans-Joachim Goltz
1993 — conf
Funktional-logische Programmierung mittels Methoden der constraint-logischen Programmierung.
WLP
Hans-Joachim Goltz
1992 B conf
A Constructive Type System Based on Data Terms.
JELIA
Hans-Joachim Goltz
1991 J jnl
Ein praktischer Algorithmus für die E-Unifikation
IWBS Report
Hans-Joachim Goltz
1990 Misc conf
A Practicable Approach to Functional Logic Programming.
AIMSA
Hans-Joachim Goltz
1988 — conf
Functional Data Term Models and Semantic Unification.
ALP
Hans-Joachim Goltz
1985 J jnl
The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier.
Math. Log. Q.
Hans-Joachim Goltz