default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHans-Joachim Goltz
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
[j4]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:
Building a medical research cloud in the EASI-CLOUDS project. Concurr. Comput. Pract. Exp. 27(16): 4465-4477 (2015)- [c21]Hans-Joachim Goltz, Armin Wolf:
Reservierungsmanager für Cloud-Ressourcen mittels constraintbasierter Programmierung. GI-Jahrestagung 2015: 1097-1102 - 2014
- [c20]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:
Building a Medical Research Cloud in the EASI-CLOUDS Project. IWSG 2014: 36-41 - 2011
- [c19]Robert Hilbrich, Hans-Joachim Goltz:
Model-based generation of static schedules for safety critical multi-core systems in the avionics domain. IWMSE@ICSE 2011: 9-16 - [c18]Robert Hilbrich, J. Reinier van Kampenhout, Hans-Joachim Goltz:
Modellbasierte Generierung statischer Schedules für sicherheitskritische, eingebettete Systeme mit Multicore-Prozessoren und harten Echtzeitanforderungen. Echtzeit 2011: 29-38 - 2010
- [c17]Hans-Joachim Goltz:
Interaktive Komponenten in constraint-basierten Planungssystemen. GI Jahrestagung (2) 2010: 693-698
2000 – 2009
- 2008
- [c16]Ulrich Geske, Hans-Joachim Goltz, Armin Wolf:
Representation and Processing of Preferential Rules. GI Jahrestagung (2) 2008: 529-534 - 2007
- [c15]Ulrich Geske, Hans-Joachim Goltz:
A Guide for Manual Construction of Difference-List Procedures. INAP/WLP 2007: 1-20 - 2004
- [j3]Ulrich Geske, Hans-Joachim Goltz:
Automatische und interaktive Stundenplanung. Inform. Forsch. Entwickl. 19(2): 65-73 (2004) - 2001
- [c14]Hans Schlenker, Hans-Joachim Goltz, Joerg-Wilhelm Oestmann:
TAME - Time Resourcing in Academic Medical Environments. AIME 2001: 395-404 - 2000
- [j2]Ulrich Geske, Hans-Joachim Goltz:
Planungstechnik und Deklarative Programmierung. Inform. Forsch. Entwickl. 15(2): 110-113 (2000) - [c13]Hans-Joachim Goltz:
On Methods of Constraint-Based Timetabling. PACPL 2000: 167-178 - [c12]Hans-Joachim Goltz:
Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung. WLP 2000: 77-88
1990 – 1999
- 1999
- [c11]Hans-Joachim Goltz, Dirk Matzke:
University Timetabling Using Constraint Logic Programming. PADL 1999: 320-334 - 1998
- [c10]Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Armin Wolf:
The constraint logic paradigm: declarativity, efficiency and flexibility. Systems Implementation 2000 1998: 59-71 - 1997
- [c9]Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf:
Constraint-basierte Planung und Konfiguration (system description). WLP 1997 - [c8]Hans-Joachim Goltz:
Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP. WLP 1997 - 1995
- [c7]Hans-Joachim Goltz:
Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling. CP 1995: 549-562 - [c6]Hans-Joachim Goltz:
Ein effizientes constraint-logisches Verfahren zur Eingrenzung der optimalen Lösungen von Problemen der Ablaufplanung. WLP 1995: 49-57 - 1994
- [c5]Hans-Joachim Goltz:
Logic Programming with Constructor-based Type Constraints. ICLP Workshop: Integration of Declarative Paradigms 1994: 36-45 - 1993
- [c4]Hans-Joachim Goltz:
Funktional-logische Programmierung mittels Methoden der constraint-logischen Programmierung. WLP 1993: 32-35 - 1992
- [c3]Hans-Joachim Goltz:
A Constructive Type System Based on Data Terms. JELIA 1992: 279-303 - 1991
- [i1]Hans-Joachim Goltz:
Ein praktischer Algorithmus für die E-Unifikation. IWBS Report 166 (1991) - 1990
- [c2]Hans-Joachim Goltz:
A Practicable Approach to Functional Logic Programming. AIMSA 1990: 179-188
1980 – 1989
- 1988
- [c1]Hans-Joachim Goltz:
Functional Data Term Models and Semantic Unification. ALP 1988: 158-167 - 1985
- [j1]Hans-Joachim Goltz:
The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier. Math. Log. Q. 31(9-12): 131-162 (1985)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
