BibTeX records: Hans-Joachim Goltz

download as .bib file

@article{DBLP:journals/concurrency/0014NNFLTZGUPSB15,
  author       = {Jie Wu and
                  Krishnaprasad Narayanan and
                  Lars Nagel and
                  Christoph Fiehe and
                  Anna Litvina and
                  Jakob Tonn and
                  Carsten Zoth and
                  Hans{-}Joachim Goltz and
                  Steffen Unger and
                  Fabian Pursche and
                  Michael Scheel and
                  Andr{\'{e}} Brinkmann and
                  Wolfgang Thronicke},
  title        = {Building a medical research cloud in the {EASI-CLOUDS} project},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {27},
  number       = {16},
  pages        = {4465--4477},
  year         = {2015},
  url          = {https://doi.org/10.1002/cpe.3537},
  doi          = {10.1002/CPE.3537},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/0014NNFLTZGUPSB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GoltzW15,
  author       = {Hans{-}Joachim Goltz and
                  Armin Wolf},
  editor       = {Douglas W. Cunningham and
                  Petra Hofstedt and
                  Klaus Meer and
                  Ingo Schmitt},
  title        = {Reservierungsmanager f{\"{u}}r Cloud-Ressourcen mittels constraintbasierter
                  Programmierung},
  booktitle    = {45. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik,
                  Energie und Umwelt, {INFORMATIK} 2015, Cottbus, Germany, September
                  28 - October 2, 2015},
  series       = {{LNI}},
  volume       = {{P-246}},
  pages        = {1097--1102},
  publisher    = {{GI}},
  year         = {2015},
  url          = {https://dl.gi.de/handle/20.500.12116/2263},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/GoltzW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsg/FieheLTWSBNNZGUTP14,
  author       = {Christoph Fiehe and
                  Anna Litvina and
                  Jakob Tonn and
                  Jie Wu and
                  Michael Scheel and
                  Andr{\'{e}} Brinkmann and
                  Lars Nagel and
                  Krishnaprasad Narayanan and
                  Carsten Zoth and
                  Hans{-}Joachim Goltz and
                  Steffen Unger and
                  Wolfgang Thronicke and
                  Fabian Pursche},
  title        = {Building a Medical Research Cloud in the {EASI-CLOUDS} Project},
  booktitle    = {6th International Workshop on Science Gateways, {IWSG} 2014, Dublin,
                  Ireland, June 3-5, 2014},
  pages        = {36--41},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/IWSG.2014.13},
  doi          = {10.1109/IWSG.2014.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwsg/FieheLTWSBNNZGUTP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HilbrichG11,
  author       = {Robert Hilbrich and
                  Hans{-}Joachim Goltz},
  editor       = {Victor Pankratius and
                  Michael Philippsen},
  title        = {Model-based generation of static schedules for safety critical multi-core
                  systems in the avionics domain},
  booktitle    = {Proceedings of the 4th International Workshop on Multicore Software
                  Engineering, {IWMSE} '11, Waikiki, Honolulu, HI, USA, May 21, 2011},
  pages        = {9--16},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1984693.1984695},
  doi          = {10.1145/1984693.1984695},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/HilbrichG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pearl/HilbrichKG11,
  author       = {Robert Hilbrich and
                  J. Reinier van Kampenhout and
                  Hans{-}Joachim Goltz},
  editor       = {Wolfgang A. Halang},
  title        = {Modellbasierte Generierung statischer Schedules f{\"{u}}r sicherheitskritische,
                  eingebettete Systeme mit Multicore-Prozessoren und harten Echtzeitanforderungen},
  booktitle    = {Herausforderungen durch Echtzeitbetrieb - Echtzeit 2011, Fachtagung
                  des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft f{\"{u}}r
                  Informatik e.V. (GI), VDI/VDE-Gesellschaft f{\"{u}}r Mess- und
                  Automatisierungstechnik {(GMA)} und Informationstechnischer Gesellschaft
                  im {VDE} (ITG), Boppard, 3. und 4. November 2011},
  series       = {Informatik Aktuell},
  pages        = {29--38},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24658-6\_4},
  doi          = {10.1007/978-3-642-24658-6\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pearl/HilbrichKG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Goltz10,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Klaus{-}Peter F{\"{a}}hnrich and
                  Bogdan Franczyk},
  title        = {Interaktive Komponenten in constraint-basierten Planungssystemen},
  booktitle    = {40. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Service
                  Science - Neue Perspektiven f{\"{u}}r die Informatik, {INFORMATIK}
                  2010, Leipzig, Germany, September 27 - October 1, 2010, Band 2},
  series       = {{LNI}},
  volume       = {{P-176}},
  pages        = {693--698},
  publisher    = {{GI}},
  year         = {2010},
  url          = {https://dl.gi.de/handle/20.500.12116/19306},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Goltz10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GeskeGW07,
  author       = {Ulrich Geske and
                  Hans{-}Joachim Goltz and
                  Armin Wolf},
  editor       = {Heinz{-}Gerd Hegering and
                  Axel Lehmann and
                  Hans J{\"{u}}rgen Ohlbach and
                  Christian Scheideler},
  title        = {Representation and Processing of Preferential Rules},
  booktitle    = {38. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Beherrschbare
                  Systeme - dank Informatik, {INFORMATIK} 2008, Munich, Germany, September
                  8-13, 2008, Band 2},
  series       = {{LNI}},
  volume       = {{P-134}},
  pages        = {529--534},
  publisher    = {{GI}},
  year         = {2008},
  url          = {https://dl.gi.de/handle/20.500.12116/21280},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/GeskeGW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/GeskeG07,
  author       = {Ulrich Geske and
                  Hans{-}Joachim Goltz},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Armin Wolf},
  title        = {A Guide for Manual Construction of Difference-List Procedures},
  booktitle    = {Applications of Declarative Programming and Knowledge Management,
                  17th International Conference, {INAP} 2007, and 21st Workshop on Logic
                  Programming, {WLP} 2007, W{\"{u}}rzburg, Germany, October 4-6,
                  2007, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5437},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-642-00675-3\_1},
  doi          = {10.1007/978-3-642-00675-3\_1},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/GeskeG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/GeskeG04,
  author       = {Ulrich Geske and
                  Hans{-}Joachim Goltz},
  title        = {Automatische und interaktive Stundenplanung},
  journal      = {Inform. Forsch. Entwickl.},
  volume       = {19},
  number       = {2},
  pages        = {65--73},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00450-004-0160-x},
  doi          = {10.1007/S00450-004-0160-X},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ife/GeskeG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/SchlenkerGO01,
  author       = {Hans Schlenker and
                  Hans{-}Joachim Goltz and
                  Joerg{-}Wilhelm Oestmann},
  editor       = {Silvana Quaglini and
                  Pedro Barahona and
                  Steen Andreassen},
  title        = {{TAME} - Time Resourcing in Academic Medical Environments},
  booktitle    = {Artificial Intelligence Medicine, 8th Conference on {AI} in Medicine
                  in Europe, {AIME} 2001, Cascais, Portugal, July 1-4, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2101},
  pages        = {395--404},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-48229-6\_53},
  doi          = {10.1007/3-540-48229-6\_53},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/aime/SchlenkerGO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/GeskeG00,
  author       = {Ulrich Geske and
                  Hans{-}Joachim Goltz},
  title        = {Planungstechnik und Deklarative Programmierung},
  journal      = {Inform. Forsch. Entwickl.},
  volume       = {15},
  number       = {2},
  pages        = {110--113},
  year         = {2000},
  url          = {https://doi.org/10.1007/s004500000046},
  doi          = {10.1007/S004500000046},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ife/GeskeG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacpl/Goltz00,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Carmen Gervet},
  title        = {On Methods of Constraint-Based Timetabling},
  booktitle    = {Proceedings of the Second International Conference on the Practical
                  Application of Constraint Technologies and Logic Programming, {PACPL}
                  2000, Crowne Plaza Midland Hotel, Manchester, UK, April 10-12, 2000},
  pages        = {167--178},
  publisher    = {Practical Application Company Ltd.},
  year         = {2000},
  timestamp    = {Thu, 01 Dec 2022 14:47:56 +0100},
  biburl       = {https://dblp.org/rec/conf/pacpl/Goltz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Goltz00,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Fran{\c{c}}ois Bry and
                  Ulrich Geske and
                  Dietmar Seipel},
  title        = {{\"{U}}ber Methoden des constrainbasierten L{\"{o}}sens
                  von Problemen der Stundenplanung},
  booktitle    = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
                  26.-28. Januar 2000},
  series       = {{GMD} Report},
  volume       = {90},
  pages        = {77--88},
  year         = {2000},
  timestamp    = {Sat, 07 Sep 2019 11:59:25 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Goltz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GoltzM99,
  author       = {Hans{-}Joachim Goltz and
                  Dirk Matzke},
  editor       = {Gopal Gupta},
  title        = {University Timetabling Using Constraint Logic Programming},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {320--334},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_22},
  doi          = {10.1007/3-540-49201-1\_22},
  timestamp    = {Wed, 26 Oct 2022 11:14:38 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/GoltzM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-4/GeskeGJW98,
  author       = {Ulrich Geske and
                  Hans{-}Joachim Goltz and
                  Ulrich John and
                  Armin Wolf},
  editor       = {R. Nigel Horspool},
  title        = {The constraint logic paradigm: declarativity, efficiency and flexibility},
  booktitle    = {Systems Implementation 2000, {IFIP} {TC2} {WG2.4} Working Conference
                  on Systems Implementation 2000: Languages, methods and tools, 23-26
                  February 1998, Berlin, Germany},
  series       = {{IFIP} Conference Proceedings},
  volume       = {117},
  pages        = {59--71},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Tue, 19 Jun 2018 07:59:20 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-4/GeskeGJW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/BoulangerFGGJNSW97,
  author       = {Dmitri Boulanger and
                  Andreas Fordan and
                  Ulrich Geske and
                  Hans{-}Joachim Goltz and
                  Ulrich John and
                  Alexander Nareyek and
                  Andr{\'{e}} Schiemann and
                  Armin Wolf},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Constraint-basierte Planung und Konfiguration (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/BoulangerFGGJNSW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Goltz97,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Redundante Constraints und Heuristiken zum effizienten L{\"{o}}sen
                  von Problemen der Ablaufplanung mit {CHIP}},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Goltz97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Goltz95,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Ugo Montanari and
                  Francesca Rossi},
  title        = {Reducing Domains for Search in {CLP(FD)} and Its Application to Job-Shop
                  Scheduling},
  booktitle    = {Principles and Practice of Constraint Programming - CP'95, First International
                  Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {976},
  pages        = {549--562},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60299-2\_33},
  doi          = {10.1007/3-540-60299-2\_33},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/Goltz95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Goltz95,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Andreas Krall and
                  Ulrich Geske},
  title        = {Ein effizientes constraint-logisches Verfahren zur Eingrenzung der
                  optimalen L{\"{o}}sungen von Problemen der Ablaufplanung},
  booktitle    = {11. Workshop Logische Programmierung, Technische Universit{\"{a}}t
                  Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270},
  pages        = {49--57},
  year         = {1995},
  timestamp    = {Thu, 21 Mar 2019 11:27:24 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Goltz95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Goltz94,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {Logic Programming with Constructor-based Type Constraints},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  pages        = {36--45},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper04.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Goltz94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Goltz93,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Christoph Beierle},
  title        = {Funktional-logische Programmierung mittels Methoden der constraint-logischen
                  Programmierung},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {32--35},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 11:19:43 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Goltz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Goltz92,
  author       = {Hans{-}Joachim Goltz},
  editor       = {David Pearce and
                  Gerd Wagner},
  title        = {A Constructive Type System Based on Data Terms},
  booktitle    = {Logics in AI, European Workshop, {JELIA} '92, Berlin, Germany, September
                  7-10, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {633},
  pages        = {279--303},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0023434},
  doi          = {10.1007/BFB0023434},
  timestamp    = {Wed, 06 Nov 2019 16:45:49 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/Goltz92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS166,
  author       = {Hans{-}Joachim Goltz},
  title        = {Ein praktischer Algorithmus f{\"{u}}r die E-Unifikation},
  journal      = {{IWBS} Report},
  volume       = {166},
  year         = {1991},
  timestamp    = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/tr/ibm/IWBS166.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Goltz90,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Philippe Jorrand and
                  Vassil Stoyanov Sgurev},
  title        = {A Practicable Approach to Functional Logic Programming},
  booktitle    = {Artificial Intelligence {IV:} Methodology, Systems, Applications -
                  Proceedings of the Fourth International Conference on Artificial Intelligence:
                  Methodology, Systems, Applications, {AIMSA} 1990, Albena, Bulgaria,
                  September 19-22, 1990},
  pages        = {179--188},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 16 Mar 2017 14:36:15 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/Goltz90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Goltz88,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Jan Grabowski and
                  Pierre Lescanne and
                  Wolfgang Wechler},
  title        = {Functional Data Term Models and Semantic Unification},
  booktitle    = {Algebraic and Logic Programming, International Workshop, Gaussig,
                  GDR, November 14-18, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {343},
  pages        = {158--167},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50667-5\_68},
  doi          = {10.1007/3-540-50667-5\_68},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Goltz88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Goltz85,
  author       = {Hans{-}Joachim Goltz},
  title        = {The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic
                  with Respect to Logics with a Malitz Quantifier},
  journal      = {Math. Log. Q.},
  volume       = {31},
  number       = {9-12},
  pages        = {131--162},
  year         = {1985},
  url          = {https://doi.org/10.1002/malq.19850310902},
  doi          = {10.1002/MALQ.19850310902},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Goltz85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics