Hans-Joachim Goltz

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
Building a medical research cloud in the EASI-CLOUDS project.
Concurrency and Computation: Practice and Experience, 2015

Reservierungsmanager für Cloud-Ressourcen mittels constraintbasierter Programmierung.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt, 28. September, 2015

2014
Building a Medical Research Cloud in the EASI-CLOUDS Project.
Proceedings of the 6th International Workshop on Science Gateways, 2014

2011
Modellbasierte Generierung statischer Schedules für sicherheitskritische, eingebettete Systeme mit Multicore-Prozessoren und harten Echtzeitanforderungen.
Proceedings of the Herausforderungen durch Echtzeitbetrieb, 2011

2010
Interaktive Komponenten in constraint-basierten Planungssystemen.
Proceedings of the 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, 27.09., 2010

2008
Representation and Processing of Preferential Rules.
Proceedings of the INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 2, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8., 2008

2007
A Guide for Manual Construction of Difference-List Procedures.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

2004
Automatische und interaktive Stundenplanung.
Inform., Forsch. Entwickl., 2004

2001
TAME - Time Resourcing in Academic Medical Environments.
Proceedings of the Artificial Intelligence Medicine, 2001

2000
Planungstechnik und Deklarative Programmierung.
Inform., Forsch. Entwickl., 2000

Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung.
Proceedings of the 14. Workshop Logische Programmierung, 2000

1999
University Timetabling Using Constraint Logic Programming.
Proceedings of the Practical Aspects of Declarative Languages, 1999

1998
The constraint logic paradigm: declarativity, efficiency and flexibility.
Proceedings of the Systems Implementation 2000, 1998

1997
Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP.
Proceedings of the Twelfth Workshop Logic Programming, 1997

Constraint-basierte Planung und Konfiguration (system description).
Proceedings of the Twelfth Workshop Logic Programming, 1997

1995
Ein effizientes constraint-logisches Verfahren zur Eingrenzung der optimalen Lösungen von Problemen der Ablaufplanung.
Proceedings of the 11. Workshop Logische Programmierung, 1995

Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling.
Proceedings of the Principles and Practice of Constraint Programming, 1995

1994
Logic Programming with Constructor-based Type Constraints.
Proceedings of the Integration of Declarative Paradigms, 1994

1993
Funktional-logische Programmierung mittels Methoden der constraint-logischen Programmierung.
Proceedings of the 9. Workshop Logische Programmierung, 1993

1992
A Constructive Type System Based on Data Terms.
Proceedings of the Logics in AI, European Workshop, 1992

1991
Ein praktischer Algorithmus für die E-Unifikation
IWBS Report, 1991

1990
A Practicable Approach to Functional Logic Programming.
Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1988
Functional Data Term Models and Semantic Unification.
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.
Math. Log. Q., 1985


  Loading...