MEMOPASCAL: Einbettung einer Datenbankanfragesprache in eine höhere Programmiersprache. - Jörg Noack; Herbert Kuchen (Angew. Inform., 1987)

Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berücksichtigung applikativer Datenstrukturen. - Herbert Kuchen (1989)

Distributed Implementation of Programmed Graph Reduction. - Rita Loogen; Herbert Kuchen; Klaus Indermark; Werner Damm (PARLE (1), 1989)

Parallele Implementierung einer funktionalen Programmiersprache auf einem Transputer-Mehrprozessor-System. - Herbert Kuchen; Rita Loogen (Transputer-Anwender-Treffen, 1989)

Lazy Narrowing in a Graph Machine. - Juan José Moreno-Navarro; Herbert Kuchen; Rita Loogen; Mario Rodríguez-Artalejo (ALP, 1990)

Graph-based Implementation of a Functional Logic Langugage. - Herbert Kuchen; Rita Loogen; Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (ESOP, 1990)

Lastverteilungsstrategien auf Multicomputern. - Herbert Kuchen; Andreas Wagener (Transputer-Anwender-Treffen, 1990)

Candela - A Topology Description Language. - Herbert Kuchen; Holger Stoltze; Friedrich Lücking (CONPAR, 1992)

Implementing a Lazy Functional Logic Language with Disequality Constraints. - Herbert Kuchen; Francisco Javier López-Fraguas; Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (JICSLP, 1992)

Independent AND-Parallel Implementation of Narrowing. - Herbert Kuchen; Juan José Moreno-Navarro; Manuel V. Hermenegildo (PLILP, 1992)

CANDELA - Eine Sprache zur Beschreibung von Topologien. - Herbert Kuchen; Holger Stoltze; Friedrich Lücking (Transputer-Anwender-Treffen, 1992)

Parallel Implementation of Bags. - Herbert Kuchen; Katia Gladitz (FPCA, 1993)

Parallel Functional Programming Using Algorithmic Skeletons. - Holger Stoltze; Herbert Kuchen (PARCO, 1993)

Efficient Lazy Narrowing using Demandedness Analysis. - Juan José Moreno-Navarro; Herbert Kuchen; Julio Mariño-Carballo; Stephan Winkler; Werner Hans (PLILP, 1993)

Efficient Distributed Memory Implementation of a Data Parallel Functional Language. - Herbert Kuchen; Marinus J. Plasmeijer; Holger Stoltze (PARLE, 1994)

Parallel Implementation of the Gamma-Operation on Bags. - Katia Gladitz; Herbert Kuchen (PASCO, 1994)

A Functional Logic Language Based on Higher Order Narrowing. - Herbert Kuchen (Functional Programming, 1995)

Algorithmic Skeletons for Adaptive Multigrid Methods. - George Horatiu Botorog; Herbert Kuchen (IRREGULAR, 1995)

Implementation Issues for Functional Logic Programming (Tutorial Abstract). - Herbert Kuchen (ILPS, 1995)

Higher Order Babel. - Herbert Kuchen; Josef Anastasiadis (ILPS, 1995)

Higher Order Babel: Language and Implementation. - Herbert Kuchen; Josef Anastasiadis (ELP, 1996)

Efficient Parallel Programming with Algorithmic Skeletons. - George Horatiu Botorog; Herbert Kuchen (Euro-Par, Vol. I, 1996)

TPascal - A Language for Task Parallel Programming. - Ansgar Brüll; Herbert Kuchen (Euro-Par, Vol. I, 1996)

Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming. - George Horatiu Botorog; Herbert Kuchen (HPDC, 1996)

Using Algorithmic Skeletons with Dynamic Data Structures. - George Horatiu Botorog; Herbert Kuchen (IRREGULAR, 1996)

Integration of Functional and Logic Programming. - Michael Hanus; Herbert Kuchen (ACM Comput. Surv., 1996)

Shared Memory Implementation of the Gamma-Operation. - Katia Gladitz; Herbert Kuchen (J. Symb. Comput., 1996)

The Functional Logic Language BABEL and Its Implementation on a Graph Machine. - Herbert Kuchen; Rita Loogen; Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (New Gener. Comput., 1996)

Monte Carlo Algorithms for Elliptic Differential Equations. Data Parallel Functional Approach. - Ivan T. Dimov; Aneta Karaivanova; Herbert Kuchen; Holger Stoltze (Parallel Algorithms Appl., 1996)

Efficient High-Level Parallel Programming. - George Horatiu Botorog; Herbert Kuchen (Theor. Comput. Sci., 1998)

An Efficient Abstract Machine for Curry. - Wolfgang Lux; Herbert Kuchen (GI Jahrestagung, 1999)

Implementing an Object Oriented Design in Curry. - Herbert Kuchen (WFLP, 2000)

A Skeleton Library. - Herbert Kuchen (Euro-Par, 2002)

Higher-order functions and partial applications for a C++ skeleton library. - Herbert Kuchen; Jörg Striegnitz (Java Grande, 2002)

Editorial: Functional and Logic Programming. - Herbert Kuchen; Kazunori Ueda (J. Funct. Log. Program., 2002)

The Integration of Task and Data Parallel Skeletons. - Herbert Kuchen; Murray Cole (Parallel Process. Lett., 2002)

Optimizing Sequences of Skeleton Calls. - Herbert Kuchen (Domain-Specific Program Generation, 2003)

Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern. - Christoph Lembeck; Roger A. Müller; Herbert Kuchen (GI Jahrestagung (2), 2004)

A symbolic Java virtual machine for test case generation. - Roger A. Müller; Christoph Lembeck; Herbert Kuchen (IASTED Conf. on Software Engineering, 2004)

Scalable Farms. - Michael Poldner; Herbert Kuchen (PARCO, 2005)

Features from functional programming for a C++ skeleton library. - Herbert Kuchen; Jörg Striegnitz (Concurr. Pract. Exp., 2005)

XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects. - Roger A. Müller; Björn Eilers; Christian Janiesch; Herbert Kuchen; Jörg Becker 001 (AMCIS, 2006)

Algorithmic skeletons for branch & bound. - Michael Poldner; Herbert Kuchen (ICSOFT (1), 2006)

Algorithmic Skeletons for Branch and Bound. - Michael Poldner; Herbert Kuchen (ICSOFT (Selected Papers), 2006)

Algorithmic Debugging of Java Programs. - Rafael Caballero 001; Christian Hermanns; Herbert Kuchen (WFLP, 2006)

Editorial. - Herbert Kuchen; Murray Cole (Parallel Comput., 2006)

Automatische Erzeugung von Testfällen. - Herbert Kuchen; Christoph Lembeck; Roger A. Müller (Softwaretechnik-Trends, 2006)

Systematic generation of glass-box test cases for functional logic programs. - Sebastian Fischer 001; Herbert Kuchen (PPDP, 2007)

E-assessment of Mathematical Proofs: Chances and Challenges for Students and Tutors. - Susanne Johanna Gruttmann; Dominik Böhm; Herbert Kuchen (CSSE (5), 2008)

Data-flow testing of declarative programs. - Sebastian Fischer 001; Herbert Kuchen (ICFP, 2008)

Optimizing Skeletal Stream Processing for Divide and Conquer. - Michael Poldner; Herbert Kuchen (ICSOFT (PL/DPS/KE), 2008)

On Implementing the Farm Skeleton. - Michael Poldner; Herbert Kuchen (Parallel Process. Lett., 2008)

Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters. - Philipp Ciechanowicz; Philipp Kegel; Maraike Schellmann; Sergei Gorlatch; Herbert Kuchen (PARCO, 2009)

Automated Test Case Generation Based on Coverage Analysis. - Tim A. Majchrzak; Herbert Kuchen (TASE, 2009)

Enhancing Muesli's Data Parallel Skeletons for Multi-core Computer Architectures. - Philipp Ciechanowicz; Herbert Kuchen (HPCC, 2010)

Towards a decision support system for the allocation of traumatized patients. - Tim A. Majchrzak; Oliver Noack; Herbert Kuchen; Philipp Neuhaus; Frank Ückert (ISCRAM, 2010)

JHyde - The Java Hybrid Debugger. - Christian Hermanns; Herbert Kuchen (ICSOFT (2), 2011)

Hybrid Debugging of Java Programs. - Christian Hermanns; Herbert Kuchen (ICSOFT (Selected Papers), 2011)

Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems. - Steffen Ernsting; Herbert Kuchen (PARCO, 2011)

Efficiency evaluation of open source ETL tools. - Tim A. Majchrzak; Tobias Jansen; Herbert Kuchen (SAC, 2011)

Logic Java: Combining Object-Oriented and Logic Programming. - Tim A. Majchrzak; Herbert Kuchen (WFLP, 2011)

Dynamic Solution of Linear Constraints for Test Case Generation. - Marko Ernsting; Tim A. Majchrzak; Herbert Kuchen (TASE, 2012)

Algorithmic skeletons for multi-core, multi-GPU systems and clusters. - Steffen Ernsting; Herbert Kuchen (Int. J. High Perform. Comput. Netw., 2012)

E-assessment and software testing. - Claus A. Usener; Tim A. Majchrzak; Herbert Kuchen (Interact. Technol. Smart Educ., 2012)

Data Parallel Skeletons in Java. - Herbert Kuchen; Steffen Ernsting (ICCS, 2012)

Introduction. - Donghwi Lee; Chia-Chu Chiang; Mal-Rey Lee; Herbert Kuchen; Kenji Leibnitz (Telecommun. Syst., 2012)

A Scalable Farm Skeleton for Heterogeneous Parallel Programming. - Steffen Ernsting; Herbert Kuchen (PARCO, 2013)

Cross-platform model-driven development of mobile applications with md2. - Henning Heitkötter; Tim A. Majchrzak; Herbert Kuchen (SAC, 2013)

MD-DSL - eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen. - Henning Heitkötter; Tim A. Majchrzak; Herbert Kuchen (Software Engineering (Workshops), 2013)

A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming. - Steffen Ernsting; Herbert Kuchen (Int. J. Parallel Program., 2014)

Model-Driven Cross-Platform Apps: Towards Business Practicability. - Tim A. Majchrzak; Jan Ernsting; Herbert Kuchen (CAiSE Forum, 2015)

Integrating Agile Software Development and Enterprise Architecture Management. - Sebastian Hanschke; Jan Ernsting; Herbert Kuchen (HICSS, 2015)

Checking Java Assertions Using Automated Test-Case Generation. - Rafael Caballero 001; Manuel Montenegro; Herbert Kuchen; Vincent von Hof (LOPSTR, 2015)

Java Implementation of Data Parallel Skeletons on GPUs. - Steffen Ernsting; Herbert Kuchen (PARCO, 2015)

Achieving Business Practicability of Model-Driven Cross-Platform Apps. - Tim A. Majchrzak; Jan Ernsting; Herbert Kuchen (Open J. Inf. Syst., 2015)

Extending a model-driven cross-platform development approach for business apps. - Henning Heitkötter; Herbert Kuchen; Tim A. Majchrzak (Sci. Comput. Program., 2015)

Towards an E-assessment tool for advanced software engineering skills. - Tobias Reischmann; Herbert Kuchen (Koli Calling, 2016)

Compilezeit-Prüfung von Spring-Konfigurationen. - Vincent von Hof; Konrad Fögen; Herbert Kuchen (Software Engineering (Workshops), 2016)

An Operational Semantics for Constraint-Logic Imperative Programming. - Jan C. Dageförde; Herbert Kuchen (DECLARE, 2017)

Parameter selection for swarm intelligence algorithms - Case study on parallel implementation of FSS. - Breno Augusto De Melo Menezes; Fabian Wrede; Herbert Kuchen; Fernando Buarque de Lima Neto (LA-CCI, 2017)

A Domain-specific Language for Configurable Traceability Analysis. - Hendrik Bünder; Christoph Rieger; Herbert Kuchen (MODELSWARD, 2017)

High-Level Parallel Implementation of Swarm Intelligence-Based Optimization Algorithms with Algorithmic Skeletons. - Fabian Wrede; Breno Augusto De Melo Menezes; Luis Filipe de Araujo Pessoa; Bernd Hellingrath; Fernando Buarque de Lima Neto; Herbert Kuchen (PARCO, 2017)

Detecting spring configurations errors. - Vincent von Hof; Konrad Fögen; Herbert Kuchen (SAC, 2017)

Unit Testing of Database-Driven Java Enterprise Edition Applications. - Andreas Fuchs 001; Herbert Kuchen (TAP@STAF, 2017)

Data Parallel Algorithmic Skeletons with Accelerator Support. - Steffen Ernsting; Herbert Kuchen (Int. J. Parallel Program., 2017)

Guest Editors' Note. - Sergei Gorlatch; Herbert Kuchen (Parallel Process. Lett., 2017)

Population Size Control for Efficiency and Efficacy Optimization in Population Based Metaheuristics. - Marcelo Gomes Pereira de Lacerda; Hugo Deandrade Amorim Neto; Teresa Bernarda Ludermir; Herbert Kuchen; Fernando Buarque de Lima Neto (CEC, 2018)

An Interactive Learning Environment for Software Engineering Design Patterns. - Tobias Reischmann; Herbert Kuchen (Koli Calling, 2018)

Towards Model-Driven Business Apps for Wearables. - Christoph Rieger; Herbert Kuchen (MobiWIS, 2018)

Challenges and Opportunities of Modularizing Textual Domain-Specific Languages. - Christoph Rieger; Martin Westerkamp; Herbert Kuchen (MODELSWARD, 2018)

A constraint-logic object-oriented language. - Jan C. Dageförde; Herbert Kuchen (SAC, 2018)

Test-case generation for web-service clients. - Andreas Fuchs 001; Herbert Kuchen (SAC, 2018)

A process-oriented modeling approach for graphical development of mobile business apps. - Christoph Rieger; Herbert Kuchen (Comput. Lang. Syst. Struct., 2018)

Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons. - Sergei Gorlatch; Herbert Kuchen (Int. J. Parallel Program., 2018)

Parallel Programming with Algorithmic Skeletons. - Herbert Kuchen (The Art of Structuring, 2019)

Parallelization Strategies for GPU-Based Ant Colony Optimization Solving the Traveling Salesman Problem. - Breno Augusto De Melo Menezes; Herbert Kuchen; Hugo de Andrade Amorim Neto; Fernando Buarque de Lima Neto (CEC, 2019)

A Model-Driven Cross-Platform App Development Process for Heterogeneous Device Classes. - Christoph Rieger; Herbert Kuchen (HICSS, 2019)

On the Learning Properties of Dueling DDQN in Parameter Control for Evolutionary and Swarm-based Algorithms. - Marcelo Gomes Pereira de Lacerda; Fernando Buarque de Lima Neto; Hugo de Andrade Amorim Neto; Herbert Kuchen; Teresa Bernarda Ludermir (LA-CCI, 2019)

Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol. - Hendrik Bünder; Herbert Kuchen (MODELSWARD (Revised Selected Papers), 2019)

Parallelization Strategies for GPU-Based Ant Colony Optimization Applied to TSP. - Breno Augusto De Melo Menezes; Luis Filipe de Araujo Pessoa; Herbert Kuchen; Fernando Buarque de Lima Neto (PARCO, 2019)

A model-driven approach for behavior-driven GUI testing. - Hendrik Bünder; Herbert Kuchen (SAC, 2019)

Retrieval of individual solutions from encapsulated search with a potentially infinite search space. - Jan C. Dageförde; Herbert Kuchen (SAC, 2019)

A web-based e-assessment tool for design patterns in UML class diagrams. - Tobias Reischmann; Herbert Kuchen (SAC, 2019)

Musket: a domain-specific language for high-level parallel programming with algorithmic skeletons. - Christoph Rieger; Fabian Wrede; Herbert Kuchen (SAC, 2019)

Static analysis of BPMN-based process-driven applications. - Konrad Schneid; Claus A. Usener; Sebastian Thöne; Herbert Kuchen; Christian Tophinke (SAC, 2019)

Automated Data-Flow Analysis and Validation in Process Automation Projects. - Lars Beyer; Jan C. Dageförde; Herbert Kuchen; Claus A. Usener (SoMeT, 2019)

Pre-proceedings of the DECLARE 2019 Conference. - Salvador Abreu; Petra Hofstedt; Ulrich John; Herbert Kuchen; Dietmar Seipel (CoRR, 2019)

Fish School Search with Algorithmic Skeletons. - Fabian Wrede; Breno Augusto De Melo Menezes; Herbert Kuchen (Int. J. Parallel Program., 2019)

A compiler and virtual machine for constraint-logic object-oriented programming with Muli. - Jan C. Dageförde; Herbert Kuchen (J. Comput. Lang., 2019)

Feature Development in BPMN-Based Process-Driven Applications. - Konrad Schneid; Sebastian Thöne; Herbert Kuchen (BPM (Forum), 2020)

A model-driven approach to cross-platform development of accessible business apps. - Christoph Rieger; Daniel Lucrédio; Renata P. M. Fortes; Herbert Kuchen; Felipe Silva Dias; Lianna Duarte (SAC, 2020)

Constraint-Logic Object-Oriented Programming with Free Arrays. - Hendrik Winkelmann; Jan C. Dageförde; Herbert Kuchen (WFLP, 2020)

Constraint-Logic Object-Oriented Programming with Free Arrays. - Jan C. Dageförde; Herbert Kuchen (CoRR, 2020)

Towards High-Performance Code Generation for Multi-GPU Clusters Based on a Domain-Specific Language for Algorithmic Skeletons. - Fabian Wrede; Herbert Kuchen (Int. J. Parallel Program., 2020)

Generation of high-performance code based on a domain-specific language for algorithmic skeletons. - Fabian Wrede; Christoph Rieger; Herbert Kuchen (J. Supercomput., 2020)

Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven Applications. - Konrad Schneid; Leon Stapper; Sebastian Thöne; Herbert Kuchen (EDOC, 2021)

Free Objects in Constraint-logic Object-oriented Programming. - Jan C. Dageförde; Hendrik Winkelmann; Herbert Kuchen (PPDP, 2021)

Uncovering data-flow anomalies in BPMN-based process-driven applications. - Konrad Schneid; Herbert Kuchen; Sebastian Thöne; Sascha Di Bernardo (SAC, 2021)

Symbolic execution of NoSQL applications using versioned schemas. - Hendrik Winkelmann; Herbert Kuchen (SAC, 2021)

High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons. - Breno Augusto De Melo Menezes; Nina Herrmann; Herbert Kuchen; Fernando Buarque de Lima Neto (Int. J. Parallel Program., 2021)

A systematic literature review on general parameter control for evolutionary and swarm-based algorithms. - Marcelo Gomes Pereira de Lacerda; Luis Filipe de Araujo Pessoa; Fernando Buarque de Lima Neto; Teresa Bernarda Ludermir; Herbert Kuchen (Swarm Evol. Comput., 2021)

Semi-automated Test Migration for BPMN-Based Process-Driven Applications. - Konrad Schneid; Sebastian Thöne; Herbert Kuchen (EDOC, 2022)

A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs. - Laura Troost; Herbert Kuchen (ENASE, 2022)

A Medical Information System for Personalized Rehabilitation after Ankle Inversion Trauma. - Jonathan Neugebauer; Rosemary Dubbeldam; My Linh Pham; Lokman Beser; Luka Gerlach; Yu Yuan Lee; Herbert Kuchen (ICSOFT, 2022)

Model-driven customizing of ERP systems: a case study. - Jonathan Neugebauer; Herbert Kuchen (SAC, 2022)

Constraint-logic object-oriented programming on the Java virtual machine. - Hendrik Winkelmann; Herbert Kuchen (SAC, 2022)

Constraint-logic object-oriented programming for test case generation. - Hendrik Winkelmann; Laura Troost; Herbert Kuchen (SAC, 2022)

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. - Marcelo Gomes Pereira de Lacerda; Hugo de Andrade Amorim Neto; Teresa Bernarda Ludermir; Herbert Kuchen; Fernando Buarque de Lima Neto (Appl. Soft Comput., 2022)

Stencil Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments. - Nina Herrmann; Breno Augusto De Melo Menezes; Herbert Kuchen (Int. J. Parallel Program., 2022)

Parallelization of Swarm Intelligence Algorithms: Literature Review. - Breno Augusto De Melo Menezes; Herbert Kuchen; Fernando Buarque de Lima Neto (Int. J. Parallel Program., 2022)

Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming. - Jan C. Dageförde; Herbert Kuchen (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

A Model-Driven Approach to SAP S/4HANA Development. - Jonathan Neugebauer; Jonas Hochstrat; Konrad Schneid; Daniel Sigge; Herbert Kuchen (EDOC, 2023)

Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol. - Laura Troost; Jonathan Neugebauer; Herbert Kuchen (ENASE, 2023)

Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing. - Hendrik Winkelmann; Herbert Kuchen (ENASE, 2023)

Modification-Impact based Test Prioritization for Process-Driven Applications. - Konrad Schneid; Sebastian Thöne; Herbert Kuchen (ICSTW, 2023)

Distributed Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments. - Nina Herrmann; Herbert Kuchen (Int. J. Parallel Program., 2023)

Out-of-the-box parameter control for evolutionary and swarm-based algorithms with distributed reinforcement learning. - Marcelo Gomes Pereira de Lacerda; Fernando Buarque de Lima Neto; Teresa Bernarda Ludermir; Herbert Kuchen (Swarm Intell., 2023)

An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution. - Laura Troost; Hendrik Winkelmann; Herbert Kuchen (ENASE, 2024)

Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments. - Nina Herrmann; Justus Dieckmann; Herbert Kuchen (Int. J. Parallel Program., 2024)

Mutation Operators for Mutation Testing of Angular Web Applications. - Sarah Augustin; Hendrik Winkelmann; Herbert Kuchen (ENASE, 2025)