Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Hans-Joachim Goltz
@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} }
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.