Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Herbert Kuchen
@article{DBLP:journals/ijpp/HerrmannK23,
author = {Nina Herrmann and
Herbert Kuchen},
title = {Distributed Calculations with Algorithmic Skeletons for Heterogeneous
Computing Environments},
journal = {Int. J. Parallel Program.},
volume = {51},
number = {2-3},
pages = {172--185},
year = {2023},
url = {https://doi.org/10.1007/s10766-022-00742-5},
doi = {10.1007/S10766-022-00742-5},
timestamp = {Fri, 28 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/HerrmannK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/swarm/LacerdaNLK23,
author = {Marcelo Gomes Pereira de Lacerda and
Fernando Buarque de Lima Neto and
Teresa Bernarda Ludermir and
Herbert Kuchen},
title = {Out-of-the-box parameter control for evolutionary and swarm-based
algorithms with distributed reinforcement learning},
journal = {Swarm Intell.},
volume = {17},
number = {3},
pages = {173--217},
year = {2023},
url = {https://doi.org/10.1007/s11721-022-00222-z},
doi = {10.1007/S11721-022-00222-Z},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/swarm/LacerdaNLK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DagefordeK23,
author = {Jan C. Dagef{\"{o}}rde and
Herbert Kuchen},
editor = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Roberto Giacobazzi},
title = {Applications of Muli: Solving Practical Problems with Constraint-Logic
Object-Oriented Programming},
booktitle = {Analysis, Verification and Transformation for Declarative Programming
and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13160},
pages = {97--112},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-31476-6\_5},
doi = {10.1007/978-3-031-31476-6\_5},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DagefordeK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/NeugebauerHSSK23,
author = {Jonathan Neugebauer and
Jonas Hochstrat and
Konrad Schneid and
Daniel Sigge and
Herbert Kuchen},
editor = {Henderik A. Proper and
Luise Pufahl and
Dimka Karastoyanova and
Marten van Sinderen and
Jo{\~{a}}o L. R. Moreira},
title = {A Model-Driven Approach to {SAP} {S/4HANA} Development},
booktitle = {Enterprise Design, Operations, and Computing - 27th International
Conference, {EDOC} 2023, Groningen, The Netherlands, October 30 -
November 3, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14367},
pages = {97--113},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46587-1\_6},
doi = {10.1007/978-3-031-46587-1\_6},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edoc/NeugebauerHSSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/TroostNK23,
author = {Laura Troost and
Jonathan Neugebauer and
Herbert Kuchen},
editor = {Hermann Kaindl and
Mike Mannion and
Leszek A. Maciaszek},
title = {Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs
Based on the Language Server Protocol},
booktitle = {Proceedings of the 18th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2023, Prague, Czech
Republic, April 24-25, 2023},
pages = {77--88},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011743500003464},
doi = {10.5220/0011743500003464},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/TroostNK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/WinkelmannK23,
author = {Hendrik Winkelmann and
Herbert Kuchen},
editor = {Hermann Kaindl and
Mike Mannion and
Leszek A. Maciaszek},
title = {Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed
Elements via Symbolic Aliasing},
booktitle = {Proceedings of the 18th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2023, Prague, Czech
Republic, April 24-25, 2023},
pages = {412--419},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011849200003464},
doi = {10.5220/0011849200003464},
timestamp = {Tue, 23 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/WinkelmannK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SchneidTK23,
author = {Konrad Schneid and
Sebastian Th{\"{o}}ne and
Herbert Kuchen},
title = {Modification-Impact based Test Prioritization for Process-Driven Applications},
booktitle = {{IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2023 - Workshops, Dublin, Ireland, April 16-20,
2023},
pages = {365--372},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSTW58534.2023.00068},
doi = {10.1109/ICSTW58534.2023.00068},
timestamp = {Wed, 07 Jun 2023 22:08:04 +0200},
biburl = {https://dblp.org/rec/conf/icst/SchneidTK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/LacerdaNLKN22,
author = {Marcelo Gomes Pereira de Lacerda and
Hugo de Andrade Amorim Neto and
Teresa Bernarda Ludermir and
Herbert Kuchen and
Fernando Buarque de Lima Neto},
title = {Towards a parameterless out-of-the-box population size control for
evolutionary and swarm-based algorithms for single objective bound
constrained real-parameter numerical optimization},
journal = {Appl. Soft Comput.},
volume = {123},
pages = {108920},
year = {2022},
url = {https://doi.org/10.1016/j.asoc.2022.108920},
doi = {10.1016/J.ASOC.2022.108920},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/LacerdaNLKN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/HerrmannMK22,
author = {Nina Herrmann and
Breno Augusto De Melo Menezes and
Herbert Kuchen},
title = {Stencil Calculations with Algorithmic Skeletons for Heterogeneous
Computing Environments},
journal = {Int. J. Parallel Program.},
volume = {50},
number = {5-6},
pages = {433--453},
year = {2022},
url = {https://doi.org/10.1007/s10766-022-00735-4},
doi = {10.1007/S10766-022-00735-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/HerrmannMK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/MenezesKN22,
author = {Breno Augusto De Melo Menezes and
Herbert Kuchen and
Fernando Buarque de Lima Neto},
title = {Parallelization of Swarm Intelligence Algorithms: Literature Review},
journal = {Int. J. Parallel Program.},
volume = {50},
number = {5-6},
pages = {486--514},
year = {2022},
url = {https://doi.org/10.1007/s10766-022-00736-3},
doi = {10.1007/S10766-022-00736-3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/MenezesKN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/SchneidTK22,
author = {Konrad Schneid and
Sebastian Th{\"{o}}ne and
Herbert Kuchen},
editor = {Jo{\~{a}}o Paulo A. Almeida and
Dimka Karastoyanova and
Giancarlo Guizzardi and
Marco Montali and
Fabrizio Maria Maggi and
Claudenir M. Fonseca},
title = {Semi-automated Test Migration for BPMN-Based Process-Driven Applications},
booktitle = {Enterprise Design, Operations, and Computing - 26th International
Conference, {EDOC} 2022, Bozen-Bolzano, Italy, October 3-7, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13585},
pages = {237--254},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17604-3\_14},
doi = {10.1007/978-3-031-17604-3\_14},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edoc/SchneidTK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/TroostK22,
author = {Laura Troost and
Herbert Kuchen},
editor = {Hermann Kaindl and
Mike Mannion and
Leszek A. Maciaszek},
title = {A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs},
booktitle = {Proceedings of the 17th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2022, Online Streaming,
April 25-26, 2022},
pages = {267--274},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010984800003176},
doi = {10.5220/0010984800003176},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/TroostK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/NeugebauerDPBGL22,
author = {Jonathan Neugebauer and
Rosemary Dubbeldam and
My Linh Pham and
Lokman Beser and
Luka Gerlach and
Yu Yuan Lee and
Herbert Kuchen},
editor = {Hans{-}Georg Fill and
Marten van Sinderen and
Leszek A. Maciaszek},
title = {A Medical Information System for Personalized Rehabilitation after
Ankle Inversion Trauma},
booktitle = {Proceedings of the 17th International Conference on Software Technologies,
{ICSOFT} 2022, Lisbon, Portugal, July 11-13, 2022},
pages = {319--330},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011295800003266},
doi = {10.5220/0011295800003266},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/NeugebauerDPBGL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/WinkelmannK22,
author = {Hendrik Winkelmann and
Herbert Kuchen},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {Constraint-logic object-oriented programming on the Java virtual machine},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {1258--1267},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507058},
doi = {10.1145/3477314.3507058},
timestamp = {Wed, 11 May 2022 08:59:01 +0200},
biburl = {https://dblp.org/rec/conf/sac/WinkelmannK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/NeugebauerK22,
author = {Jonathan Neugebauer and
Herbert Kuchen},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {Model-driven customizing of {ERP} systems: a case study},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {1276--1279},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507166},
doi = {10.1145/3477314.3507166},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/NeugebauerK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/WinkelmannTK22,
author = {Hendrik Winkelmann and
Laura Troost and
Herbert Kuchen},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {Constraint-logic object-oriented programming for test case generation},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {1499--1508},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507015},
doi = {10.1145/3477314.3507015},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/WinkelmannTK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/MenezesHKN21,
author = {Breno Augusto De Melo Menezes and
Nina Herrmann and
Herbert Kuchen and
Fernando Buarque de Lima Neto},
title = {High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons},
journal = {Int. J. Parallel Program.},
volume = {49},
number = {6},
pages = {776--801},
year = {2021},
url = {https://doi.org/10.1007/s10766-021-00714-1},
doi = {10.1007/S10766-021-00714-1},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijpp/MenezesHKN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/swevo/LacerdaPNLK21,
author = {Marcelo Gomes Pereira de Lacerda and
Luis Filipe de Araujo Pessoa and
Fernando Buarque de Lima Neto and
Teresa Bernarda Ludermir and
Herbert Kuchen},
title = {A systematic literature review on general parameter control for evolutionary
and swarm-based algorithms},
journal = {Swarm Evol. Comput.},
volume = {60},
pages = {100777},
year = {2021},
url = {https://doi.org/10.1016/j.swevo.2020.100777},
doi = {10.1016/J.SWEVO.2020.100777},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/swevo/LacerdaPNLK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/SchneidSTK21,
author = {Konrad Schneid and
Leon Stapper and
Sebastian Th{\"{o}}ne and
Herbert Kuchen},
title = {Automated Regression Tests: {A} No-Code Approach for BPMN-based Process-Driven
Applications},
booktitle = {25th {IEEE} International Enterprise Distributed Object Computing
Conference, {EDOC} 2021, Gold Coast, Australia, October 25-29, 2021},
pages = {31--40},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/EDOC52215.2021.00014},
doi = {10.1109/EDOC52215.2021.00014},
timestamp = {Fri, 03 Dec 2021 09:00:54 +0100},
biburl = {https://dblp.org/rec/conf/edoc/SchneidSTK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DagefordeWK21,
author = {Jan C. Dagef{\"{o}}rde and
Hendrik Winkelmann and
Herbert Kuchen},
editor = {Niccol{\`{o}} Veltri and
Nick Benton and
Silvia Ghilezan},
title = {Free Objects in Constraint-logic Object-oriented Programming},
booktitle = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
pages = {14:1--14:13},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3479394.3479409},
doi = {10.1145/3479394.3479409},
timestamp = {Tue, 21 Mar 2023 21:03:02 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/DagefordeWK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SchneidKTB21,
author = {Konrad Schneid and
Herbert Kuchen and
Sebastian Th{\"{o}}ne and
Sascha Di Bernardo},
editor = {Chih{-}Cheng Hung and
Jiman Hong and
Alessio Bechini and
Eunjee Song},
title = {Uncovering data-flow anomalies in BPMN-based process-driven applications},
booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, Republic of Korea, March 22-26, 2021},
pages = {1504--1512},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3412841.3442025},
doi = {10.1145/3412841.3442025},
timestamp = {Mon, 03 May 2021 14:34:56 +0200},
biburl = {https://dblp.org/rec/conf/sac/SchneidKTB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/WinkelmannK21,
author = {Hendrik Winkelmann and
Herbert Kuchen},
editor = {Chih{-}Cheng Hung and
Jiman Hong and
Alessio Bechini and
Eunjee Song},
title = {Symbolic execution of NoSQL applications using versioned schemas},
booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, Republic of Korea, March 22-26, 2021},
pages = {1778--1787},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3412841.3442050},
doi = {10.1145/3412841.3442050},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/WinkelmannK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pppj/2021,
editor = {Herbert Kuchen and
Jeremy Singer},
title = {{MPLR} '21: 18th {ACM} {SIGPLAN} International Conference on Managed
Programming Languages and Runtimes, M{\"{u}}nster, Germany, September
29-30, 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3475738},
doi = {10.1145/3475738},
isbn = {978-1-4503-8675-3},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/WredeK20,
author = {Fabian Wrede and
Herbert Kuchen},
title = {Towards High-Performance Code Generation for Multi-GPU Clusters Based
on a Domain-Specific Language for Algorithmic Skeletons},
journal = {Int. J. Parallel Program.},
volume = {48},
number = {4},
pages = {713--728},
year = {2020},
url = {https://doi.org/10.1007/s10766-020-00659-x},
doi = {10.1007/S10766-020-00659-X},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/WredeK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/WredeRK20,
author = {Fabian Wrede and
Christoph Rieger and
Herbert Kuchen},
title = {Generation of high-performance code based on a domain-specific language
for algorithmic skeletons},
journal = {J. Supercomput.},
volume = {76},
number = {7},
pages = {5098--5116},
year = {2020},
url = {https://doi.org/10.1007/s11227-019-02825-6},
doi = {10.1007/S11227-019-02825-6},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/WredeRK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/SchneidTK20,
author = {Konrad Schneid and
Sebastian Th{\"{o}}ne and
Herbert Kuchen},
editor = {Dirk Fahland and
Chiara Ghidini and
J{\"{o}}rg Becker and
Marlon Dumas},
title = {Feature Development in BPMN-Based Process-Driven Applications},
booktitle = {Business Process Management Forum - {BPM} Forum 2020, Seville, Spain,
September 13-18, 2020, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {392},
pages = {35--50},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58638-6\_3},
doi = {10.1007/978-3-030-58638-6\_3},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/SchneidTK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RiegerLFKDD20,
author = {Christoph Rieger and
Daniel Lucr{\'{e}}dio and
Renata P. M. Fortes and
Herbert Kuchen and
Felipe Dias and
Lianna Duarte},
editor = {Chih{-}Cheng Hung and
Tom{\'{a}}s Cern{\'{y}} and
Dongwan Shin and
Alessio Bechini},
title = {A model-driven approach to cross-platform development of accessible
business apps},
booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
event, [Brno, Czech Republic], March 30 - April 3, 2020},
pages = {984--993},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341105.3375765},
doi = {10.1145/3341105.3375765},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/RiegerLFKDD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/WinkelmannDK20,
author = {Hendrik Winkelmann and
Jan C. Dagef{\"{o}}rde and
Herbert Kuchen},
editor = {Michael Hanus and
Claudio Sacerdoti Coen},
title = {Constraint-Logic Object-Oriented Programming with Free Arrays},
booktitle = {Functional and Constraint Logic Programming - 28th International Workshop,
{WFLP} 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12560},
pages = {129--144},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-75333-7\_8},
doi = {10.1007/978-3-030-75333-7\_8},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/WinkelmannDK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/inap/2019,
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-46714-2},
doi = {10.1007/978-3-030-46714-2},
isbn = {978-3-030-46713-5},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-13460,
author = {Jan C. Dagef{\"{o}}rde and
Herbert Kuchen},
title = {Constraint-Logic Object-Oriented Programming with Free Arrays},
journal = {CoRR},
volume = {abs/2008.13460},
year = {2020},
url = {https://arxiv.org/abs/2008.13460},
eprinttype = {arXiv},
eprint = {2008.13460},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13460.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/WredeMK19,
author = {Fabian Wrede and
Breno Augusto De Melo Menezes and
Herbert Kuchen},
title = {Fish School Search with Algorithmic Skeletons},
journal = {Int. J. Parallel Program.},
volume = {47},
number = {2},
pages = {234--252},
year = {2019},
url = {https://doi.org/10.1007/s10766-018-0564-z},
doi = {10.1007/S10766-018-0564-Z},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/WredeMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/DagefordeK19,
author = {Jan C. Dagef{\"{o}}rde and
Herbert Kuchen},
title = {A compiler and virtual machine for constraint-logic object-oriented
programming with Muli},
journal = {J. Comput. Lang.},
volume = {53},
pages = {63--78},
year = {2019},
url = {https://doi.org/10.1016/j.cola.2019.05.001},
doi = {10.1016/J.COLA.2019.05.001},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/DagefordeK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/MenezesKNN19,
author = {Breno Augusto De Melo Menezes and
Herbert Kuchen and
Hugo de Andrade Amorim Neto and
Fernando Buarque de Lima Neto},
title = {Parallelization Strategies for GPU-Based Ant Colony Optimization Solving
the Traveling Salesman Problem},
booktitle = {{IEEE} Congress on Evolutionary Computation, {CEC} 2019, Wellington,
New Zealand, June 10-13, 2019},
pages = {3094--3101},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CEC.2019.8790073},
doi = {10.1109/CEC.2019.8790073},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/MenezesKNN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/RiegerK19,
author = {Christoph Rieger and
Herbert Kuchen},
editor = {Tung Bui},
title = {A Model-Driven Cross-Platform App Development Process for Heterogeneous
Device Classes},
booktitle = {52nd Hawaii International Conference on System Sciences, {HICSS} 2019,
Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019},
pages = {1--10},
publisher = {ScholarSpace},
year = {2019},
url = {https://hdl.handle.net/10125/60180},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/RiegerK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lacci/LacerdaNNKL19,
author = {Marcelo Gomes Pereira de Lacerda and
Fernando Buarque de Lima Neto and
Hugo de Andrade Amorim Neto and
Herbert Kuchen and
Teresa Bernarda Ludermir},
title = {On the Learning Properties of Dueling {DDQN} in Parameter Control
for Evolutionary and Swarm-based Algorithms},
booktitle = {{IEEE} Latin American Conference on Computational Intelligence, {LA-CCI}
2019, Guayaquil, Ecuador, November 11-15, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LA-CCI47412.2019.9036764},
doi = {10.1109/LA-CCI47412.2019.9036764},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lacci/LacerdaNNKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/BunderK19,
author = {Hendrik B{\"{u}}nder and
Herbert Kuchen},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Towards Multi-editor Support for Domain-Specific Languages Utilizing
the Language Server Protocol},
booktitle = {Model-Driven Engineering and Software Development - 7th International
Conference, {MODELSWARD} 2019, Prague, Czech Republic, February 20-22,
2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1161},
pages = {225--245},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37873-8\_10},
doi = {10.1007/978-3-030-37873-8\_10},
timestamp = {Thu, 23 Jan 2020 13:15:16 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/BunderK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/MenezesPKN19,
author = {Breno Augusto De Melo Menezes and
Luis Filipe de Araujo Pessoa and
Herbert Kuchen and
Fernando Buarque de Lima Neto},
editor = {Ian T. Foster and
Gerhard R. Joubert and
Ludek Kucera and
Wolfgang E. Nagel and
Frans J. Peters},
title = {Parallelization Strategies for GPU-Based Ant Colony Optimization Applied
to {TSP}},
booktitle = {Parallel Computing: Technology Trends, Proceedings of the International
Conference on Parallel Computing, {PARCO} 2019, Prague, Czech Republic,
September 10-13, 2019},
series = {Advances in Parallel Computing},
volume = {36},
pages = {321--330},
publisher = {{IOS} Press},
year = {2019},
url = {https://doi.org/10.3233/APC200057},
doi = {10.3233/APC200057},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parco/MenezesPKN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SchneidUTKT19,
author = {Konrad Schneid and
Claus A. Usener and
Sebastian Th{\"{o}}ne and
Herbert Kuchen and
Christian Tophinke},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Static analysis of BPMN-based process-driven applications},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {66--74},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297289},
doi = {10.1145/3297280.3297289},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/SchneidUTKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RiegerWK19,
author = {Christoph Rieger and
Fabian Wrede and
Herbert Kuchen},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Musket: a domain-specific language for high-level parallel programming
with algorithmic skeletons},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {1534--1543},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297434},
doi = {10.1145/3297280.3297434},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/RiegerWK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DagefordeK19,
author = {Jan C. Dagef{\"{o}}rde and
Herbert Kuchen},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Retrieval of individual solutions from encapsulated search with a
potentially infinite search space},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {1552--1561},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3298912},
doi = {10.1145/3297280.3298912},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/DagefordeK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BunderK19,
author = {Hendrik B{\"{u}}nder and
Herbert Kuchen},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {A model-driven approach for behavior-driven {GUI} testing},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {1742--1751},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297450},
doi = {10.1145/3297280.3297450},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BunderK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ReischmannK19,
author = {Tobias Reischmann and
Herbert Kuchen},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {A web-based e-assessment tool for design patterns in {UML} class diagrams},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {2435--2444},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297520},
doi = {10.1145/3297280.3297520},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/ReischmannK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/BeyerDKU19,
author = {Lars Beyer and
Jan C. Dagef{\"{o}}rde and
Herbert Kuchen and
Claus A. Usener},
editor = {Hamido Fujita and
Ali Selamat},
title = {Automated Data-Flow Analysis and Validation in Process Automation
Projects},
booktitle = {Advancing Technology Industrialization Through Intelligent Software
Methodologies, Tools and Techniques - Proceedings of the 18th International
Conference on New Trends in Intelligent Software Methodologies, Tools
and Techniques (SoMeT{\_}19), Kuching, Malaysia, 23-25 September 2019},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {318},
pages = {333--346},
publisher = {{IOS} Press},
year = {2019},
url = {https://doi.org/10.3233/FAIA190061},
doi = {10.3233/FAIA190061},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/somet/BeyerDKU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/Kuchen19,
author = {Herbert Kuchen},
editor = {Katrin Bergener and
Michael R{\"{a}}ckers and
Armin Stein},
title = {Parallel Programming with Algorithmic Skeletons},
booktitle = {The Art of Structuring, Bridging the Gap Between Information Systems
Research and Practice},
pages = {527--536},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-06234-7\_49},
doi = {10.1007/978-3-030-06234-7\_49},
timestamp = {Sun, 12 Nov 2023 02:22:30 +0100},
biburl = {https://dblp.org/rec/books/sp/19/Kuchen19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-04870,
author = {Salvador Abreu and
Petra Hofstedt and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Pre-proceedings of the {DECLARE} 2019 Conference},
journal = {CoRR},
volume = {abs/1909.04870},
year = {2019},
url = {http://arxiv.org/abs/1909.04870},
eprinttype = {arXiv},
eprint = {1909.04870},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-04870.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/RiegerK18,
author = {Christoph Rieger and
Herbert Kuchen},
title = {A process-oriented modeling approach for graphical development of
mobile business apps},
journal = {Comput. Lang. Syst. Struct.},
volume = {53},
pages = {43--58},
year = {2018},
url = {https://doi.org/10.1016/j.cl.2018.01.001},
doi = {10.1016/J.CL.2018.01.001},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/RiegerK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/GorlatchK18,
author = {Sergei Gorlatch and
Herbert Kuchen},
title = {Guest Editorial: High-Level Parallel Programming with Algorithmic
Skeletons},
journal = {Int. J. Parallel Program.},
volume = {46},
number = {1},
pages = {1--3},
year = {2018},
url = {https://doi.org/10.1007/s10766-017-0512-3},
doi = {10.1007/S10766-017-0512-3},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/GorlatchK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsir/MenezesWKN18,
author = {Breno Augusto De Melo Menezes and
Fabian Wrede and
Herbert Kuchen and
Fernando Buarque de Lima Neto},
title = {Parameter Selection for Swarm Intelligence Algorithms: Case Study
on Parallel Implementation of {FSS}},
journal = {Int. J. Swarm Intell. Res.},
volume = {9},
number = {4},
pages = {1--20},
year = {2018},
url = {https://doi.org/10.4018/IJSIR.2018100101},
doi = {10.4018/IJSIR.2018100101},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsir/MenezesWKN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/LacerdaNLKN18,
author = {Marcelo Gomes Pereira de Lacerda and
Hugo Deandrade Amorim Neto and
Teresa Bernarda Ludermir and
Herbert Kuchen and
Fernando Buarque de Lima Neto},
title = {Population Size Control for Efficiency and Efficacy Optimization in
Population Based Metaheuristics},
booktitle = {2018 {IEEE} Congress on Evolutionary Computation, {CEC} 2018, Rio
de Janeiro, Brazil, July 8-13, 2018},
pages = {1--8},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CEC.2018.8477792},
doi = {10.1109/CEC.2018.8477792},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/LacerdaNLKN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/ReischmannK18,
author = {Tobias Reischmann and
Herbert Kuchen},
editor = {Mike Joy and
Petri Ihantola},
title = {An Interactive Learning Environment for Software Engineering Design
Patterns},
booktitle = {Proceedings of the 18th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 22-25, 2018},
pages = {35:1--35:2},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3279720.3279896},
doi = {10.1145/3279720.3279896},
timestamp = {Wed, 28 Nov 2018 13:55:14 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/ReischmannK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiwis/RiegerK18,
author = {Christoph Rieger and
Herbert Kuchen},
editor = {Muhammad Younas and
Irfan Awan and
George Ghinea and
Marisa Catal{\'{a}}n Cid},
title = {Towards Model-Driven Business Apps for Wearables},
booktitle = {Mobile Web and Intelligent Information Systems - 15th International
Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10995},
pages = {3--17},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-97163-6\_1},
doi = {10.1007/978-3-319-97163-6\_1},
timestamp = {Tue, 29 Dec 2020 18:35:05 +0100},
biburl = {https://dblp.org/rec/conf/mobiwis/RiegerK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RiegerWK18,
author = {Christoph Rieger and
Martin Westerkamp and
Herbert Kuchen},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Challenges and Opportunities of Modularizing Textual Domain-Specific
Languages},
booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {387--395},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006601903870395},
doi = {10.5220/0006601903870395},
timestamp = {Wed, 11 Apr 2018 15:38:59 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/RiegerWK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DagefordeK18,
author = {Jan C. Dagef{\"{o}}rde and
Herbert Kuchen},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {A constraint-logic object-oriented language},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1185--1194},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167260},
doi = {10.1145/3167132.3167260},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/DagefordeK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FuchsK18,
author = {Andreas Fuchs and
Herbert Kuchen},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Test-case generation for web-service clients},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1518--1527},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167294},
doi = {10.1145/3167132.3167294},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/FuchsK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/ErnstingK17,
author = {Steffen Ernsting and
Herbert Kuchen},
title = {Data Parallel Algorithmic Skeletons with Accelerator Support},
journal = {Int. J. Parallel Program.},
volume = {45},
number = {2},
pages = {283--299},
year = {2017},
url = {https://doi.org/10.1007/s10766-016-0416-7},
doi = {10.1007/S10766-016-0416-7},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/ErnstingK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/GorlatchK17,
author = {Sergei Gorlatch and
Herbert Kuchen},
title = {Guest Editors' Note},
journal = {Parallel Process. Lett.},
volume = {27},
number = {1},
pages = {1702001:1--1702001:2},
year = {2017},
url = {https://doi.org/10.1142/S0129626417020017},
doi = {10.1142/S0129626417020017},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/GorlatchK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/DagefordeK17,
author = {Jan C. Dagef{\"{o}}rde and
Herbert Kuchen},
editor = {Dietmar Seipel and
Michael Hanus and
Salvador Abreu},
title = {An Operational Semantics for Constraint-Logic Imperative Programming},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
Germany, September 19-22, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10997},
pages = {64--80},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-00801-7\_5},
doi = {10.1007/978-3-030-00801-7\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/inap/DagefordeK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lacci/MenezesWKN17,
author = {Breno Augusto De Melo Menezes and
Fabian Wrede and
Herbert Kuchen and
Fernando Buarque de Lima Neto},
title = {Parameter selection for swarm intelligence algorithms - Case study
on parallel implementation of {FSS}},
booktitle = {{IEEE} Latin American Conference on Computational Intelligence, {LA-CCI}
2017, Arequipa, Peru, November 8-10, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/LA-CCI.2017.8285694},
doi = {10.1109/LA-CCI.2017.8285694},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lacci/MenezesWKN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/BunderRK17,
author = {Hendrik B{\"{u}}nder and
Christoph Rieger and
Herbert Kuchen},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Bran Selic},
title = {A Domain-specific Language for Configurable Traceability Analysis},
booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
19-21, 2017},
pages = {374--381},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006138503740381},
doi = {10.5220/0006138503740381},
timestamp = {Thu, 18 May 2017 13:08:52 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/BunderRK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/WredeMPHNK17,
author = {Fabian Wrede and
Breno Augusto De Melo Menezes and
Luis Filipe de Araujo Pessoa and
Bernd Hellingrath and
Fernando Buarque de Lima Neto and
Herbert Kuchen},
editor = {Sanzio Bassini and
Marco Danelutto and
Patrizio Dazzi and
Gerhard R. Joubert and
Frans J. Peters},
title = {High-Level Parallel Implementation of Swarm Intelligence-Based Optimization
Algorithms with Algorithmic Skeletons},
booktitle = {Parallel Computing is Everywhere, Proceedings of the International
Conference on Parallel Computing, ParCo 2017, 12-15 September 2017,
Bologna, Italy},
series = {Advances in Parallel Computing},
volume = {32},
pages = {573--582},
publisher = {{IOS} Press},
year = {2017},
url = {https://doi.org/10.3233/978-1-61499-843-3-573},
doi = {10.3233/978-1-61499-843-3-573},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parco/WredeMPHNK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HofFK17,
author = {Vincent von Hof and
Konrad F{\"{o}}gen and
Herbert Kuchen},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {Detecting spring configurations errors},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {1505--1512},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019735},
doi = {10.1145/3019612.3019735},
timestamp = {Wed, 01 Feb 2023 17:58:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/HofFK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/FuchsK17,
author = {Andreas Fuchs and
Herbert Kuchen},
editor = {Sebastian Gabmeyer and
Einar Broch Johnsen},
title = {Unit Testing of Database-Driven Java Enterprise Edition Applications},
booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
Germany, July 19-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {59--76},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61467-0\_4},
doi = {10.1007/978-3-319-61467-0\_4},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/FuchsK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/ReischmannK16,
author = {Tobias Reischmann and
Herbert Kuchen},
editor = {Judy Sheard and
Calkin Suero Montero},
title = {Towards an E-assessment tool for advanced software engineering skills},
booktitle = {Proceedings of the 16th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 24-27, 2016},
pages = {81--90},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2999550},
timestamp = {Tue, 06 Nov 2018 16:58:30 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/ReischmannK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HofFK16,
author = {Vincent von Hof and
Konrad F{\"{o}}gen and
Herbert Kuchen},
editor = {Wolf Zimmermann and
Lukas Alperowitz and
Bernd Br{\"{u}}gge and
J{\"{o}}rn Fahsel and
Andrea Herrmann and
Anne Hoffmann and
Andreas Krall and
Dieter Landes and
Horst Lichter and
Dirk Riehle and
Ina Schaefer and
Constantin Scheuermann and
Alexander Schlaefer and
Sibylle Schupp and
Andreas Seitz and
Andreas Steffens and
Andr{\'{e}} Stollenwerk and
R{\"{u}}diger Wei{\ss}bach},
title = {Compilezeit-Pr{\"{u}}fung von Spring-Konfigurationen},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2016 {(SE} 2016), Wien, 23.-26. Februar 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1559},
pages = {96--108},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1559/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/HofFK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ojis/MajchrzakEK15,
author = {Tim A. Majchrzak and
Jan Ernsting and
Herbert Kuchen},
title = {Achieving Business Practicability of Model-Driven Cross-Platform Apps},
journal = {Open J. Inf. Syst.},
volume = {2},
number = {2},
pages = {4--15},
year = {2015},
url = {https://nbn-resolving.org/urn:nbn:de:101:1-201705194768},
urn = {urn:nbn:de:101:1-201705194768},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ojis/MajchrzakEK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HeitkotterKM15,
author = {Henning Heitk{\"{o}}tter and
Herbert Kuchen and
Tim A. Majchrzak},
title = {Extending a model-driven cross-platform development approach for business
apps},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {31--36},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.013},
doi = {10.1016/J.SCICO.2013.11.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HeitkotterKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MajchrzakEK15,
author = {Tim A. Majchrzak and
Jan Ernsting and
Herbert Kuchen},
editor = {Janis Grabis and
Kurt Sandkuhl},
title = {Model-Driven Cross-Platform Apps: Towards Business Practicability},
booktitle = {Proceedings of the CAiSE 2015 Forum at the 27th International Conference
on Advanced Information Systems Engineering co-located with 27th International
Conference on Advanced Information Systems Engineering (CAiSE 2015),
Stockholm, Sweden, June 10th, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1367},
pages = {129--136},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1367/paper-17.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:34 +0100},
biburl = {https://dblp.org/rec/conf/caise/MajchrzakEK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HanschkeEK15,
author = {Sebastian Hanschke and
Jan Ernsting and
Herbert Kuchen},
editor = {Tung X. Bui and
Ralph H. Sprague Jr.},
title = {Integrating Agile Software Development and Enterprise Architecture
Management},
booktitle = {48th Hawaii International Conference on System Sciences, {HICSS} 2015,
Kauai, Hawaii, USA, January 5-8, 2015},
pages = {4099--4108},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HICSS.2015.492},
doi = {10.1109/HICSS.2015.492},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/HanschkeEK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CaballeroMKH15,
author = {Rafael Caballero and
Manuel Montenegro and
Herbert Kuchen and
Vincent von Hof},
editor = {Moreno Falaschi},
title = {Checking Java Assertions Using Automated Test-Case Generation},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {221--226},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_13},
doi = {10.1007/978-3-319-27436-2\_13},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CaballeroMKH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/ErnstingK15,
author = {Steffen Ernsting and
Herbert Kuchen},
editor = {Gerhard R. Joubert and
Hugh Leather and
Mark Parsons and
Frans J. Peters and
Mark Sawyer},
title = {Java Implementation of Data Parallel Skeletons on GPUs},
booktitle = {Parallel Computing: On the Road to Exascale, Proceedings of the International
Conference on Parallel Computing, ParCo 2015, 1-4 September 2015,
Edinburgh, Scotland, {UK}},
series = {Advances in Parallel Computing},
volume = {27},
pages = {155--164},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-621-7-155},
doi = {10.3233/978-1-61499-621-7-155},
timestamp = {Tue, 22 Jun 2021 13:45:14 +0200},
biburl = {https://dblp.org/rec/conf/parco/ErnstingK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/ErnstingK14,
author = {Steffen Ernsting and
Herbert Kuchen},
title = {A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming},
journal = {Int. J. Parallel Program.},
volume = {42},
number = {6},
pages = {968--987},
year = {2014},
url = {https://doi.org/10.1007/s10766-013-0269-2},
doi = {10.1007/S10766-013-0269-2},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/ErnstingK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/ErnstingK13,
author = {Steffen Ernsting and
Herbert Kuchen},
editor = {Michael Bader and
Arndt Bode and
Hans{-}Joachim Bungartz and
Michael Gerndt and
Gerhard R. Joubert and
Frans J. Peters},
title = {A Scalable Farm Skeleton for Heterogeneous Parallel Programming},
booktitle = {Parallel Computing: Accelerating Computational Science and Engineering
(CSE), Proceedings of the International Conference on Parallel Computing,
ParCo 2013, 10-13 September 2013, Garching (near Munich), Germany},
series = {Advances in Parallel Computing},
volume = {25},
pages = {72--81},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-381-0-72},
doi = {10.3233/978-1-61499-381-0-72},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parco/ErnstingK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HeitkotterMK13,
author = {Henning Heitk{\"{o}}tter and
Tim A. Majchrzak and
Herbert Kuchen},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Cross-platform model-driven development of mobile applications with
md\({}^{\mbox{2}}\)},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {526--533},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480464},
doi = {10.1145/2480362.2480464},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/HeitkotterMK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HeitkotterMK13,
author = {Henning Heitk{\"{o}}tter and
Tim A. Majchrzak and
Herbert Kuchen},
editor = {Stefan Wagner and
Horst Lichter},
title = {{MD-DSL} - eine dom{\"{a}}nenspezifische Sprache zur Beschreibung
und Generierung mobiler Anwendungen},
booktitle = {Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium),
Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. M{\"{a}}rz
2013 in Aachen},
series = {{LNI}},
volume = {{P-215}},
pages = {91--106},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17417},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/HeitkotterMK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhpcn/ErnstingK12,
author = {Steffen Ernsting and
Herbert Kuchen},
title = {Algorithmic skeletons for multi-core, multi-GPU systems and clusters},
journal = {Int. J. High Perform. Comput. Netw.},
volume = {7},
number = {2},
pages = {129--138},
year = {2012},
url = {https://doi.org/10.1504/IJHPCN.2012.046370},
doi = {10.1504/IJHPCN.2012.046370},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhpcn/ErnstingK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itse/UsenerMK12,
author = {Claus A. Usener and
Tim A. Majchrzak and
Herbert Kuchen},
title = {E-assessment and software testing},
journal = {Interact. Technol. Smart Educ.},
volume = {9},
number = {1},
pages = {46--56},
year = {2012},
url = {https://doi.org/10.1108/17415651211228095},
doi = {10.1108/17415651211228095},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itse/UsenerMK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/LeeCLKL12,
author = {Donghwi Lee and
Chia{-}Chu Chiang and
Mal{-}Rey Lee and
Herbert Kuchen and
Kenji Leibnitz},
title = {Introduction},
journal = {Telecommun. Syst.},
volume = {51},
number = {2-3},
pages = {93},
year = {2012},
url = {https://doi.org/10.1007/s11235-011-9419-2},
doi = {10.1007/S11235-011-9419-2},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/telsys/LeeCLKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ErnstingMK12,
author = {Marko Ernsting and
Tim A. Majchrzak and
Herbert Kuchen},
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {Dynamic Solution of Linear Constraints for Test Case Generation},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
pages = {271--274},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.39},
doi = {10.1109/TASE.2012.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ErnstingMK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/KuchenE12,
author = {Herbert Kuchen and
Steffen Ernsting},
editor = {Hesham H. Ali and
Yong Shi and
Deepak Khazanchi and
Michael Lees and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {Data Parallel Skeletons in Java},
booktitle = {Proceedings of the International Conference on Computational Science,
{ICCS} 2012, Omaha, Nebraska, USA, 4-6 June, 2012},
series = {Procedia Computer Science},
volume = {9},
pages = {1817--1826},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.procs.2012.04.200},
doi = {10.1016/J.PROCS.2012.04.200},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/journals/procedia/KuchenE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/HermannsK11,
author = {Christian Hermanns and
Herbert Kuchen},
editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and
Boris Shishkov and
Jos{\'{e}} Cordeiro},
title = {JHyde - The Java Hybrid Debugger},
booktitle = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on
Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July,
2011},
pages = {25--35},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 18:25:28 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/HermannsK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/HermannsK11a,
author = {Christian Hermanns and
Herbert Kuchen},
editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona and
Jos{\'{e}} Cordeiro and
Boris Shishkov},
title = {Hybrid Debugging of Java Programs},
booktitle = {Software and Data Technologies - 6th International Conference, {ICSOFT}
2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {303},
pages = {91--107},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-36177-7\_6},
doi = {10.1007/978-3-642-36177-7\_6},
timestamp = {Fri, 02 Nov 2018 09:45:22 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/HermannsK11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/ErnstingK11,
author = {Steffen Ernsting and
Herbert Kuchen},
editor = {Koen De Bosschere and
Erik H. D'Hollander and
Gerhard R. Joubert and
David A. Padua and
Frans J. Peters and
Mark Sawyer},
title = {Data Parallel Skeletons for {GPU} Clusters and Multi-GPU Systems},
booktitle = {Applications, Tools and Techniques on the Road to Exascale Computing,
Proceedings of the conference ParCo 2011, 31 August - 3 September
2011, Ghent, Belgium},
series = {Advances in Parallel Computing},
volume = {22},
pages = {509--518},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-61499-041-3-509},
doi = {10.3233/978-1-61499-041-3-509},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parco/ErnstingK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MajchrzakJK11,
author = {Tim A. Majchrzak and
Tobias Jansen and
Herbert Kuchen},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Efficiency evaluation of open source {ETL} tools},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {287--294},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982251},
doi = {10.1145/1982185.1982251},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/MajchrzakJK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/MajchrzakK11,
author = {Tim A. Majchrzak and
Herbert Kuchen},
editor = {Herbert Kuchen},
title = {Logic Java: Combining Object-Oriented and Logic Programming},
booktitle = {Functional and Constraint Logic Programming - 20th International Workshop,
{WFLP} 2011, Odense, Denmark, July 19th, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6816},
pages = {122--137},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22531-4\_8},
doi = {10.1007/978-3-642-22531-4\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/wflp/MajchrzakK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wflp/2011,
editor = {Herbert Kuchen},
title = {Functional and Constraint Logic Programming - 20th International Workshop,
{WFLP} 2011, Odense, Denmark, July 19th, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6816},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22531-4},
doi = {10.1007/978-3-642-22531-4},
isbn = {978-3-642-22530-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/CiechanowiczK10,
author = {Philipp Ciechanowicz and
Herbert Kuchen},
title = {Enhancing Muesli's Data Parallel Skeletons for Multi-core Computer
Architectures},
booktitle = {12th {IEEE} International Conference on High Performance Computing
and Communications, {HPCC} 2010, 1-3 September 2010, Melbourne, Australia},
pages = {108--113},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/HPCC.2010.23},
doi = {10.1109/HPCC.2010.23},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/CiechanowiczK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscram/MajchrzakNKNU10,
author = {Tim A. Majchrzak and
Oliver Noack and
Herbert Kuchen and
Philipp Neuhaus and
Frank {\"{U}}ckert},
editor = {Simon French and
Brian M. Tomaszewski and
Christopher W. Zobel},
title = {Towards a decision support system for the allocation of traumatized
patients},
booktitle = {7th Proceedings of the International Conference on Information Systems
for Crisis Response and Management, Seattle, WA, USA, May, 2010},
publisher = {ISCRAM, Seattle, {USA}},
year = {2010},
url = {http://idl.iscram.org/files/majchrzak/2010/738\_Majchrzak\_etal2010.pdf},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscram/MajchrzakNKNU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/CiechanowiczKSGK09,
author = {Philipp Ciechanowicz and
Philipp Kegel and
Maraike Schellmann and
Sergei Gorlatch and
Herbert Kuchen},
editor = {Barbara M. Chapman and
Fr{\'{e}}d{\'{e}}ric Desprez and
Gerhard R. Joubert and
Alain Lichnewsky and
Frans J. Peters and
Thierry Priol},
title = {Parallelizing the {LM} {OSEM} Image Reconstruction on Multi-Core Clusters},
booktitle = {Parallel Computing: From Multicores and GPU's to Petascale, Proceedings
of the conference ParCo 2009, 1-4 September 2009, Lyon, France},
series = {Advances in Parallel Computing},
volume = {19},
pages = {169--176},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-60750-530-3-169},
doi = {10.3233/978-1-60750-530-3-169},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parco/CiechanowiczKSGK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/MajchrzakK09,
author = {Tim A. Majchrzak and
Herbert Kuchen},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {Automated Test Case Generation Based on Coverage Analysis},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {259--266},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.33},
doi = {10.1109/TASE.2009.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/MajchrzakK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/PoldnerK08,
author = {Michael Poldner and
Herbert Kuchen},
title = {On Implementing the Farm Skeleton},
journal = {Parallel Process. Lett.},
volume = {18},
number = {1},
pages = {117--131},
year = {2008},
url = {https://doi.org/10.1142/S0129626408003260},
doi = {10.1142/S0129626408003260},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/PoldnerK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csse/GruttmannBK08,
author = {Susanne Johanna Gruttmann and
Dominik B{\"{o}}hm and
Herbert Kuchen},
title = {E-assessment of Mathematical Proofs: Chances and Challenges for Students
and Tutors},
booktitle = {International Conference on Computer Science and Software Engineering,
{CSSE} 2008, Volume 5: E-learning and Knowledge Management / Socially
Informed and Instructinal Design / Learning Systems Platforms and
Architectures / Modeling and Representation / Other Applications ,
December 12-14, 2008, Wuhan, China},
pages = {612--615},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSSE.2008.95},
doi = {10.1109/CSSE.2008.95},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csse/GruttmannBK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FischerK08,
author = {Sebastian Fischer and
Herbert Kuchen},
editor = {James Hook and
Peter Thiemann},
title = {Data-flow testing of declarative programs},
booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
20-28, 2008},
pages = {201--212},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411204.1411233},
doi = {10.1145/1411204.1411233},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/FischerK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/PoldnerK08,
author = {Michael Poldner and
Herbert Kuchen},
editor = {Jos{\'{e}} Cordeiro and
Boris Shishkov and
Alpesh Ranchordas and
Markus Helfert},
title = {Optimizing Skeletal Stream Processing for Divide and Conquer},
booktitle = {{ICSOFT} 2008 - Proceedings of the Third International Conference
on Software and Data Technologies, Volume PL/DPS/KE, Porto, Portugal,
July 5-8, 2008},
pages = {181--189},
publisher = {{INSTICC} Press},
year = {2008},
timestamp = {Tue, 03 Mar 2009 14:48:01 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/PoldnerK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FischerK07,
author = {Sebastian Fischer and
Herbert Kuchen},
editor = {Michael Leuschel and
Andreas Podelski},
title = {Systematic generation of glass-box test cases for functional logic
programs},
booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 14-16, 2007,
Wroclaw, Poland},
pages = {63--74},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273920.1273930},
doi = {10.1145/1273920.1273930},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FischerK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/KuchenC06,
author = {Herbert Kuchen and
Murray Cole},
title = {Editorial},
journal = {Parallel Comput.},
volume = {32},
number = {7-8},
pages = {447--448},
year = {2006},
url = {https://doi.org/10.1016/j.parco.2006.08.001},
doi = {10.1016/J.PARCO.2006.08.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/KuchenC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/KuchenLM06,
author = {Herbert Kuchen and
Christoph Lembeck and
Roger A. M{\"{u}}ller},
title = {Automatische Erzeugung von Testf{\"{a}}llen},
journal = {Softwaretechnik-Trends},
volume = {26},
number = {2},
year = {2006},
url = {http://pi.informatik.uni-siegen.de/stt/26\_2/01\_Fachgruppenberichte/01-GS/06\_Kuchen.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/KuchenLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcis/MullerEJKB06,
author = {Roger A. M{\"{u}}ller and
Bj{\"{o}}rn Eilers and
Christian Janiesch and
Herbert Kuchen and
J{\"{o}}rg Becker},
editor = {Guillermo Rodr{\'{\i}}guez{-}Abitia and
Ignacio Ania B.},
title = {XePtance: Supporting Distributed Acceptance Tests in Extreme Programming
Projects},
booktitle = {Connecting the Americas. 12th Americas Conference on Information Systems,
{AMCIS} 2006, Acapulco, Mexico, August 4-6, 2006},
pages = {443},
publisher = {Association for Information Systems},
year = {2006},
url = {http://aisel.aisnet.org/amcis2006/443},
timestamp = {Thu, 21 Jun 2018 07:21:45 +0200},
biburl = {https://dblp.org/rec/conf/amcis/MullerEJKB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/PoldnerK06a,
author = {Michael Poldner and
Herbert Kuchen},
editor = {Joaquim Filipe and
Boris Shishkov and
Markus Helfert},
title = {Algorithmic Skeletons for Branch and Bound},
booktitle = {Software and Data Technologies - First International Conference, {ICSOFT}
2006, Set{\'{u}}bal, Portugal, September 11-14, 2006, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {10},
pages = {204--219},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70621-2\_17},
doi = {10.1007/978-3-540-70621-2\_17},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/PoldnerK06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/PoldnerK06,
author = {Michael Poldner and
Herbert Kuchen},
editor = {Joaquim Filipe and
Boris Shishkov and
Markus Helfert},
title = {Algorithmic skeletons for branch {\&} bound},
booktitle = {{ICSOFT} 2006, First International Conference on Software and Data
Technologies, Set{\'{u}}bal, Portugal, September 11-14, 2006},
pages = {291--300},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Fri, 01 Jun 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/PoldnerK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CaballeroHK07,
author = {Rafael Caballero and
Christian Hermanns and
Herbert Kuchen},
editor = {Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Algorithmic Debugging of Java Programs},
booktitle = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic
Programming, {WFLP} 2006, Madrid, Spain, November 16-17, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {177},
pages = {75--89},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.005},
doi = {10.1016/J.ENTCS.2007.01.005},
timestamp = {Tue, 24 Jan 2023 12:32:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CaballeroHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KuchenS05,
author = {Herbert Kuchen and
J{\"{o}}rg Striegnitz},
title = {Features from functional programming for a {C++} skeleton library},
journal = {Concurr. Pract. Exp.},
volume = {17},
number = {7-8},
pages = {739--756},
year = {2005},
url = {https://doi.org/10.1002/cpe.844},
doi = {10.1002/CPE.844},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/KuchenS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/PoldnerK05,
author = {Michael Poldner and
Herbert Kuchen},
editor = {Gerhard R. Joubert and
Wolfgang E. Nagel and
Frans J. Peters and
Oscar G. Plata and
P. Tirado and
Emilio L. Zapata},
title = {Scalable Farms},
booktitle = {Parallel Computing: Current {\&} Future Issues of High-End Computing,
Proceedings of the International Conference ParCo 2005, 13-16 September
2005, Department of Computer Architecture, University of Malaga, Spain},
series = {John von Neumann Institute for Computing Series},
volume = {33},
pages = {795--802},
publisher = {Central Institute for Applied Mathematics, J{\"{u}}lich, Germany},
year = {2005},
timestamp = {Mon, 20 Nov 2006 12:54:33 +0100},
biburl = {https://dblp.org/rec/conf/parco/PoldnerK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/LembeckMK04,
author = {Christoph Lembeck and
Roger A. M{\"{u}}ller and
Herbert Kuchen},
editor = {Peter Dadam and
Manfred Reichert},
title = {Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint
Solvern},
booktitle = {34. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
verbindet, {INFORMATIK} 2004, Ulm, Germany, September 20-24, 2004,
Band 2},
series = {{LNI}},
volume = {{P-51}},
pages = {418--427},
publisher = {{GI}},
year = {2004},
url = {https://dl.gi.de/handle/20.500.12116/28807},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/LembeckMK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/MullerLK04,
author = {Roger A. M{\"{u}}ller and
Christoph Lembeck and
Herbert Kuchen},
editor = {M. H. Hamza},
title = {A symbolic Java virtual machine for test case generation},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 17-19, 2004},
pages = {365--371},
publisher = {{IASTED/ACTA} Press},
year = {2004},
timestamp = {Wed, 08 Nov 2006 11:22:27 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/MullerLK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Kuchen03,
author = {Herbert Kuchen},
editor = {Christian Lengauer and
Don S. Batory and
Charles Consel and
Martin Odersky},
title = {Optimizing Sequences of Skeleton Calls},
booktitle = {Domain-Specific Program Generation, International Seminar, Dagstuhl
Castle, Germany, March 23-28, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3016},
pages = {254--273},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25935-0\_15},
doi = {10.1007/978-3-540-25935-0\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Kuchen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/KuchenU02,
author = {Herbert Kuchen and
Kazunori Ueda},
title = {Editorial: Functional and Logic Programming},
journal = {J. Funct. Log. Program.},
volume = {2002},
year = {2002},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-E02-01.pdf},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/KuchenU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/KuchenC02,
author = {Herbert Kuchen and
Murray Cole},
title = {The Integration of Task and Data Parallel Skeletons},
journal = {Parallel Process. Lett.},
volume = {12},
number = {2},
pages = {141--155},
year = {2002},
url = {https://doi.org/10.1142/S0129626402000896},
doi = {10.1142/S0129626402000896},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/KuchenC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Kuchen02,
author = {Herbert Kuchen},
editor = {Burkhard Monien and
Rainer Feldmann},
title = {A Skeleton Library},
booktitle = {Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference
Paderborn, Germany, August 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2400},
pages = {620--629},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45706-2\_86},
doi = {10.1007/3-540-45706-2\_86},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/Kuchen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/KuchenS02,
author = {Herbert Kuchen and
J{\"{o}}rg Striegnitz},
editor = {Jos{\'{e}} E. Moreira and
Geoffrey C. Fox and
Vladimir Getov},
title = {Higher-order functions and partial applications for a {C++} skeleton
library},
booktitle = {Proceedings of the 2002 Joint {ACM-ISCOPE} Conference on Java Grande
2002, Seattle, Washington, USA, November 3-5, 2002},
pages = {122--130},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/583810.583824},
doi = {10.1145/583810.583824},
timestamp = {Tue, 06 Nov 2018 11:07:44 +0100},
biburl = {https://dblp.org/rec/conf/java/KuchenS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2001,
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4},
doi = {10.1007/3-540-44716-4},
isbn = {3-540-41739-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/Kuchen00,
author = {Herbert Kuchen},
editor = {Mar{\'{\i}}a Alpuente},
title = {Implementing an Object Oriented Design in Curry},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {499--509},
year = {2000},
timestamp = {Tue, 30 Nov 2004 09:20:36 +0100},
biburl = {https://dblp.org/rec/conf/wflp/Kuchen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/LuxK99,
author = {Wolfgang Lux and
Herbert Kuchen},
editor = {Kurt Beiersd{\"{o}}rfer and
Gregor Engels and
Wilhelm Sch{\"{a}}fer},
title = {An Efficient Abstract Machine for Curry},
booktitle = {Informatik '99 - Informatik {\"{u}}berwindet Grenzen, 29. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik, Paderborn, 5.-9. Oktober
1999},
series = {Informatik Aktuell},
pages = {390--399},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-662-01069-3\_58},
doi = {10.1007/978-3-662-01069-3\_58},
timestamp = {Tue, 23 May 2017 01:10:32 +0200},
biburl = {https://dblp.org/rec/conf/gi/LuxK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BotorogK98,
author = {George Horatiu Botorog and
Herbert Kuchen},
title = {Efficient High-Level Parallel Programming},
journal = {Theor. Comput. Sci.},
volume = {196},
number = {1-2},
pages = {71--107},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00196-5},
doi = {10.1016/S0304-3975(97)00196-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BotorogK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/1997,
editor = {Hugh Glaser and
Pieter H. Hartel and
Herbert Kuchen},
title = {Programming Languages: Implementations, Logics, and Programs, 9th
International Symposium, PLILP'97, Including a Special Trach on Declarative
Programming Languages in Education, Southampton, UK, September 3-5,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1292},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0033832},
doi = {10.1007/BFB0033832},
isbn = {3-540-63398-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HanusK96,
author = {Michael Hanus and
Herbert Kuchen},
title = {Integration of Functional and Logic Programming},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {306--308},
year = {1996},
url = {https://doi.org/10.1145/234528.234734},
doi = {10.1145/234528.234734},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/HanusK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GladitzK96,
author = {Katia Gladitz and
Herbert Kuchen},
title = {Shared Memory Implementation of the Gamma-Operation},
journal = {J. Symb. Comput.},
volume = {21},
number = {4},
pages = {577--591},
year = {1996},
url = {https://doi.org/10.1006/jsco.1996.0032},
doi = {10.1006/JSCO.1996.0032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GladitzK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/KuchenLMR96,
author = {Herbert Kuchen and
Rita Loogen and
Juan Jos{\'{e}} Moreno{-}Navarro and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {The Functional Logic Language {BABEL} and Its Implementation on a
Graph Machine},
journal = {New Gener. Comput.},
volume = {14},
number = {4},
pages = {391--427},
year = {1996},
url = {https://doi.org/10.1007/BF03037211},
doi = {10.1007/BF03037211},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/KuchenLMR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/paapp/DimovKKS96,
author = {Ivan T. Dimov and
Aneta Karaivanova and
Herbert Kuchen and
Holger Stoltze},
title = {Monte Carlo Algorithms for Elliptic Differential Equations. Data Parallel
Functional Approach},
journal = {Parallel Algorithms Appl.},
volume = {9},
number = {1-2},
pages = {39--65},
year = {1996},
url = {https://doi.org/10.1080/10637199608915563},
doi = {10.1080/10637199608915563},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/paapp/DimovKKS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/KuchenA96,
author = {Herbert Kuchen and
Josef Anastasiadis},
editor = {Roy Dyckhoff and
Heinrich Herre and
Peter Schroeder{-}Heister},
title = {Higher Order Babel: Language and Implementation},
booktitle = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
Leipzig, Germany, March 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1050},
pages = {193--207},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60983-0\_13},
doi = {10.1007/3-540-60983-0\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/KuchenA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BrullK96,
author = {Ansgar Br{\"{u}}ll and
Herbert Kuchen},
editor = {Luc Boug{\'{e}} and
Pierre Fraigniaud and
Anne Mignotte and
Yves Robert},
title = {TPascal - {A} Language for Task Parallel Programming},
booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1123},
pages = {654--659},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61626-8\_86},
doi = {10.1007/3-540-61626-8\_86},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/BrullK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BotorogK96,
author = {George Horatiu Botorog and
Herbert Kuchen},
editor = {Luc Boug{\'{e}} and
Pierre Fraigniaud and
Anne Mignotte and
Yves Robert},
title = {Efficient Parallel Programming with Algorithmic Skeletons},
booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1123},
pages = {718--731},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61626-8\_95},
doi = {10.1007/3-540-61626-8\_95},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/BotorogK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/BotorogK96,
author = {George Horatiu Botorog and
Herbert Kuchen},
title = {Skil: An Imperative Language with Algorithmic Skeletons for Efficient
Distributed Programming},
booktitle = {Proceedings of the 5th International Symposium on High Performance
Distributed Computing {(HPDC} '96), Syracuse, NY, USA, August 6-9,
1996},
pages = {243--252},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/HPDC.1996.546194},
doi = {10.1109/HPDC.1996.546194},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/BotorogK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irregular/BotorogK96,
author = {George Horatiu Botorog and
Herbert Kuchen},
editor = {Afonso Ferreira and
Jos{\'{e}} D. P. Rolim and
Yousef Saad and
Tao Yang},
title = {Using Algorithmic Skeletons with Dynamic Data Structures},
booktitle = {Parallel Algorithms for Irregularly Structured Problems, Third International
Workshop, {IRREGULAR} '96, Santa Barbara, California, USA, August
19-21, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1117},
pages = {263--276},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0030116},
doi = {10.1007/BFB0030116},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/irregular/BotorogK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/1996,
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6},
doi = {10.1007/3-540-61756-6},
isbn = {3-540-61756-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Kuchen95,
author = {Herbert Kuchen},
editor = {David N. Turner},
title = {A Functional Logic Language Based on Higher Order Narrowing},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {8},
publisher = {Springer},
year = {1995},
timestamp = {Tue, 19 Jun 2018 20:15:26 +0200},
biburl = {https://dblp.org/rec/conf/fp/Kuchen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irregular/BotorogK95,
author = {George Horatiu Botorog and
Herbert Kuchen},
editor = {Afonso Ferreira and
Jos{\'{e}} D. P. Rolim},
title = {Algorithmic Skeletons for Adaptive Multigrid Methods},
booktitle = {Parallel Algorithms for Irregularly Structured Problems, Second International
Workshop, {IRREGULAR} '95, Lyon, France, September 4-6, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {980},
pages = {27--41},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60321-2\_2},
doi = {10.1007/3-540-60321-2\_2},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/irregular/BotorogK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Kuchen95,
author = {Herbert Kuchen},
editor = {John W. Lloyd},
title = {Implementation Issues for Functional Logic Programming (Tutorial Abstract)},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {612--613},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299972},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/Kuchen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/KuchenA95,
author = {Herbert Kuchen and
Josef Anastasiadis},
editor = {John W. Lloyd},
title = {Higher Order Babel},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {633},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299964},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/KuchenA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/KuchenPS94,
author = {Herbert Kuchen and
Marinus J. Plasmeijer and
Holger Stoltze},
editor = {Constantine Halatsis and
Dimitris G. Maritsas and
George Philokyprou and
Sergios Theodoridis},
title = {Efficient Distributed Memory Implementation of a Data Parallel Functional
Language},
booktitle = {{PARLE} '94: Parallel Architectures and Languages Europe, 6th International
{PARLE} Conference, Athens, Greece, July 4-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {817},
pages = {464--477},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58184-7\_123},
doi = {10.1007/3-540-58184-7\_123},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/parle/KuchenPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pasco/GladitzK94,
author = {Katia Gladitz and
Herbert Kuchen},
editor = {Hoon Hong},
title = {Parallel Implementation of the Gamma-Operation on Bags},
booktitle = {First International Symposium on Parallel Symbolic Computation, {PASCO}
1994, Hagenberg/Linz, Austria, September 26-28, 1994},
pages = {154--163},
publisher = {World Scientific},
year = {1994},
timestamp = {Tue, 04 Apr 2023 10:49:43 +0200},
biburl = {https://dblp.org/rec/conf/pasco/GladitzK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/KuchenG93,
author = {Herbert Kuchen and
Katia Gladitz},
editor = {John Williams},
title = {Parallel Implementation of Bags},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {299--307},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165226},
doi = {10.1145/165180.165226},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/KuchenG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/StoltzeK93,
author = {Holger Stoltze and
Herbert Kuchen},
editor = {Gerhard R. Joubert and
Denis Trystram and
Frans J. Peters and
David J. Evans},
title = {Parallel Functional Programming Using Algorithmic Skeletons},
booktitle = {Parallel Computing: Trends and Applications, {PARCO} 1993, Grenoble,
France},
pages = {647--654},
publisher = {Elsevier},
year = {1993},
timestamp = {Tue, 13 Mar 2018 14:43:53 +0100},
biburl = {https://dblp.org/rec/conf/parco/StoltzeK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Moreno-NavarroKMWH93,
author = {Juan Jos{\'{e}} Moreno{-}Navarro and
Herbert Kuchen and
Julio Mari{\~{n}}o{-}Carballo and
Stephan Winkler and
Werner Hans},
editor = {Maurice Bruynooghe and
Jaan Penjam},
title = {Efficient Lazy Narrowing using Demandedness Analysis},
booktitle = {Programming Language Implementation and Logic Programming, 5th International
Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {714},
pages = {167--183},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57186-8\_78},
doi = {10.1007/3-540-57186-8\_78},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Moreno-NavarroKMWH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conpar/KuchenSL92,
author = {Herbert Kuchen and
Holger Stoltze and
Friedrich L{\"{u}}cking},
editor = {Luc Boug{\'{e}} and
Michel Cosnard and
Yves Robert and
Denis Trystram},
title = {Candela - {A} Topology Description Language},
booktitle = {Parallel Processing: {CONPAR} 92 - {VAPP} V, Second Joint International
Conference on Vector and Parallel Processing, Lyon, France, September
1-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {634},
pages = {777--778},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55895-0\_484},
doi = {10.1007/3-540-55895-0\_484},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/conpar/KuchenSL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KuchenLMR92,
author = {Herbert Kuchen and
Francisco Javier L{\'{o}}pez{-}Fraguas and
Juan Jos{\'{e}} Moreno{-}Navarro and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Krzysztof R. Apt},
title = {Implementing a Lazy Functional Logic Language with Disequality Constraints},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {207--221},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KuchenLMR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/KuchenMH92,
author = {Herbert Kuchen and
Juan Jos{\'{e}} Moreno{-}Navarro and
Manuel V. Hermenegildo},
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {Independent AND-Parallel Implementation of Narrowing},
booktitle = {Programming Language Implementation and Logic Programming, 4th International
Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {631},
pages = {24--38},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6\_125},
doi = {10.1007/3-540-55844-6\_125},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/KuchenMH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tat/KuchenSL92,
author = {Herbert Kuchen and
Holger Stoltze and
Friedrich L{\"{u}}cking},
editor = {Martin Baumann and
Reinhard Grebe},
title = {{CANDELA} - Eine Sprache zur Beschreibung von Topologien},
booktitle = {Parallele Datenverarbeitung mit dem Transputer, 4. Transputer-Anwender-Treffen
{TAT} '92, Aachen, 22.-23. September 1992},
series = {Informatik Aktuell},
pages = {41--50},
publisher = {Springer},
year = {1992},
timestamp = {Thu, 26 Oct 2017 07:55:37 +0200},
biburl = {https://dblp.org/rec/conf/tat/KuchenSL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Moreno-NavarroKLR90,
author = {Juan Jos{\'{e}} Moreno{-}Navarro and
Herbert Kuchen and
Rita Loogen and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Lazy Narrowing in a Graph Machine},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {298--317},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_47},
doi = {10.1007/3-540-53162-9\_47},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/alp/Moreno-NavarroKLR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KuchenLMR90,
author = {Herbert Kuchen and
Rita Loogen and
Juan Jos{\'{e}} Moreno{-}Navarro and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Neil D. Jones},
title = {Graph-based Implementation of a Functional Logic Langugage},
booktitle = {ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark,
May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {432},
pages = {271--290},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52592-0\_69},
doi = {10.1007/3-540-52592-0\_69},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/KuchenLMR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tat/KuchenW90,
author = {Herbert Kuchen and
Andreas Wagener},
editor = {Reinhard Grebe and
Christian Ziemann},
title = {Lastverteilungsstrategien auf Multicomputern},
booktitle = {Parallele Datenverarbeitung mit dem Transputer, 2. Transputer-Anwender-Treffen
{TAT} '90, Aachen, 17.-18. September 1990},
series = {Informatik-Fachberichte},
volume = {272},
pages = {1--8},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-3-642-76602-2\_1},
doi = {10.1007/978-3-642-76602-2\_1},
timestamp = {Wed, 24 May 2017 08:29:29 +0200},
biburl = {https://dblp.org/rec/conf/tat/KuchenW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0008860,
author = {Herbert Kuchen},
title = {Parallele Implementierung einer funktionalen Programmiersprache auf
einem OCCAM-Transputer-System unter besonderer Ber{\"{u}}cksichtigung
applikativer Datenstrukturen},
school = {{RWTH} Aachen University, Germany},
year = {1989},
url = {https://d-nb.info/901028479},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0008860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/LoogenKID89,
author = {Rita Loogen and
Herbert Kuchen and
Klaus Indermark and
Werner Damm},
editor = {Eddy Odijk and
Martin Rem and
Jean{-}Claude Syre},
title = {Distributed Implementation of Programmed Graph Reduction},
booktitle = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {I:}
Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {365},
pages = {136--157},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3540512845\_37},
doi = {10.1007/3540512845\_37},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/LoogenKID89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tat/KuchenL89,
author = {Herbert Kuchen and
Rita Loogen},
editor = {Reinhard Grebe},
title = {Parallele Implementierung einer funktionalen Programmiersprache auf
einem Transputer-Mehrprozessor-System},
booktitle = {Parallele Datenverarbeitung mit dem Transputer, 1. Transputer-Anwender-Treffen
{TAT} '89, Aachen, 25.-26. September 1989},
series = {Informatik-Fachberichte},
volume = {237},
pages = {21--33},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-84142-2\_3},
doi = {10.1007/978-3-642-84142-2\_3},
timestamp = {Wed, 24 May 2017 08:29:29 +0200},
biburl = {https://dblp.org/rec/conf/tat/KuchenL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wi/NoackK87,
author = {J{\"{o}}rg Noack and
Herbert Kuchen},
title = {{MEMOPASCAL:} Einbettung einer Datenbankanfragesprache in eine h{\"{o}}here
Programmiersprache},
journal = {Angew. Inform.},
volume = {29},
number = {4},
pages = {149--156},
year = {1987},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wi/NoackK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-11-13 23:25 CET 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:
