Herbert Kuchen

According to our database, Herbert Kuchen authored at least 137 papers between 1987 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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., September, 2023

Distributed Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments.

Nina Herrmann, Herbert Kuchen

Int. J. Parallel Program., 2023

Modification-Impact based Test Prioritization for Process-Driven Applications.

Konrad Schneid, Sebastian Thöne, Herbert Kuchen

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing.

Hendrik Winkelmann, Herbert Kuchen

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol.

Laura Troost, Jonathan Neugebauer, Herbert Kuchen

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

A Model-Driven Approach to SAP S/4HANA Development.

Jonathan Neugebauer, Jonas Hochstrat, Konrad Schneid, Daniel Sigge, Herbert Kuchen

Proceedings of the Enterprise Design, Operations, and Computing, 2023

Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming.

Jan C. Dageförde, Herbert Kuchen

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

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

Stencil Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments.

Nina Herrmann, Breno Augusto De Melo Menezes, Herbert Kuchen

Int. J. Parallel Program., 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

Constraint-logic object-oriented programming for test case generation.

Hendrik Winkelmann, Laura Troost, Herbert Kuchen

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Constraint-logic object-oriented programming on the Java virtual machine.

Hendrik Winkelmann, Herbert Kuchen

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Model-driven customizing of ERP systems: a case study.

Jonathan Neugebauer, Herbert Kuchen

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 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

Proceedings of the 17th International Conference on Software Technologies, 2022

A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs.

Laura Troost, Herbert Kuchen

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

Semi-automated Test Migration for BPMN-Based Process-Driven Applications.

Konrad Schneid, Sebastian Thöne, Herbert Kuchen

Proceedings of the Enterprise Design, Operations, and Computing, 2022

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

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

Symbolic execution of NoSQL applications using versioned schemas.

Hendrik Winkelmann, Herbert Kuchen

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Uncovering data-flow anomalies in BPMN-based process-driven applications.

Konrad Schneid, Herbert Kuchen, Sebastian Thöne, Sascha Di Bernardo

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Free Objects in Constraint-logic Object-oriented Programming.

Jan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven Applications.

Konrad Schneid, Leon Stapper, Sebastian Thöne, Herbert Kuchen

Proceedings of the 25th IEEE International Enterprise Distributed Object Computing Conference, 2021

2020

Generation of high-performance code based on a domain-specific language for algorithmic skeletons.

Fabian Wrede, Christoph Rieger, Herbert Kuchen

J. Supercomput., 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

Constraint-Logic Object-Oriented Programming with Free Arrays.

Jan C. Dageförde, Herbert Kuchen

CoRR, 2020

Constraint-Logic Object-Oriented Programming with Free Arrays.

Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen

Proceedings of the Functional and Constraint Logic Programming, 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 Dias, Lianna Duarte

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Feature Development in BPMN-Based Process-Driven Applications.

Konrad Schneid, Sebastian Thöne, Herbert Kuchen

Proceedings of the Business Process Management Forum, 2020

2019

A compiler and virtual machine for constraint-logic object-oriented programming with Muli.

Jan C. Dageförde, Herbert Kuchen

J. Comput. Lang., 2019

Fish School Search with Algorithmic Skeletons.

Fabian Wrede, Breno Augusto De Melo Menezes, Herbert Kuchen

Int. J. Parallel Program., 2019

Pre-proceedings of the DECLARE 2019 Conference.

Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel

CoRR, 2019

Automated Data-Flow Analysis and Validation in Process Automation Projects.

Lars Beyer, Jan C. Dageförde, Herbert Kuchen, Claus A. Usener

Proceedings of the Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques, 2019

Static analysis of BPMN-based process-driven applications.

Konrad Schneid, Claus A. Usener, Sebastian Thöne, Herbert Kuchen, Christian Tophinke

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Musket: a domain-specific language for high-level parallel programming with algorithmic skeletons.

Christoph Rieger, Fabian Wrede, Herbert Kuchen

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

A web-based e-assessment tool for design patterns in UML class diagrams.

Tobias Reischmann, Herbert Kuchen

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Retrieval of individual solutions from encapsulated search with a potentially infinite search space.

Jan C. Dageförde, Herbert Kuchen

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

A model-driven approach for behavior-driven GUI testing.

Hendrik Bünder, Herbert Kuchen

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 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

Proceedings of the Parallel Computing: Technology Trends, 2019

Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol.

Hendrik Bünder, Herbert Kuchen

Proceedings of the Model-Driven Engineering and Software Development, 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

Proceedings of the IEEE Latin American Conference on Computational Intelligence, 2019

A Model-Driven Cross-Platform App Development Process for Heterogeneous Device Classes.

Christoph Rieger, Herbert Kuchen

Proceedings of the 52nd Hawaii International Conference on System Sciences, 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

Proceedings of the IEEE Congress on Evolutionary Computation, 2019

Parallel Programming with Algorithmic Skeletons.

Herbert Kuchen

Proceedings of the Art of Structuring, 2019

2018

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

Int. J. Swarm Intell. Res., 2018

Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons.

Sergei Gorlatch, Herbert Kuchen

Int. J. Parallel Program., 2018

A process-oriented modeling approach for graphical development of mobile business apps.

Christoph Rieger, Herbert Kuchen

Comput. Lang. Syst. Struct., 2018

Test-case generation for web-service clients.

Andreas Fuchs, Herbert Kuchen

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

A constraint-logic object-oriented language.

Jan C. Dageförde, Herbert Kuchen

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Challenges and Opportunities of Modularizing Textual Domain-Specific Languages.

Christoph Rieger, Martin Westerkamp, Herbert Kuchen

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Towards Model-Driven Business Apps for Wearables.

Christoph Rieger, Herbert Kuchen

Proceedings of the Mobile Web and Intelligent Information Systems, 2018

An Interactive Learning Environment for Software Engineering Design Patterns.

Tobias Reischmann, Herbert Kuchen

Proceedings of the 18th Koli Calling International Conference on Computing Education Research, 2018

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

Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018

2017

Guest Editors' Note.

Sergei Gorlatch, Herbert Kuchen

Parallel Process. Lett., 2017

Data Parallel Algorithmic Skeletons with Accelerator Support.

Steffen Ernsting, Herbert Kuchen

Int. J. Parallel Program., 2017

Unit Testing of Database-Driven Java Enterprise Edition Applications.

Andreas Fuchs, Herbert Kuchen

Proceedings of the Tests and Proofs - 11th International Conference, 2017

Detecting spring configurations errors.

Vincent von Hof, Konrad Fögen, Herbert Kuchen

Proceedings of the Symposium on Applied Computing, 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

Proceedings of the Parallel Computing is Everywhere, 2017

A Domain-specific Language for Configurable Traceability Analysis.

Hendrik Bünder, Christoph Rieger, Herbert Kuchen

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

An Operational Semantics for Constraint-Logic Imperative Programming.

Jan C. Dageförde, Herbert Kuchen

Proceedings of the Declarative Programming and Knowledge Management, 2017

2016

Compilezeit-Prüfung von Spring-Konfigurationen.

Vincent von Hof, Konrad Fögen, Herbert Kuchen

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

Towards an E-assessment tool for advanced software engineering skills.

Tobias Reischmann, Herbert Kuchen

Proceedings of the 16th Koli Calling International Conference on Computing Education Research, 2016

2015

Extending a model-driven cross-platform development approach for business apps.

Henning Heitkötter, Herbert Kuchen, Tim A. Majchrzak

Sci. Comput. Program., 2015

Achieving Business Practicability of Model-Driven Cross-Platform Apps.

Tim A. Majchrzak, Jan Ernsting, Herbert Kuchen

Open J. Inf. Syst., 2015

Java Implementation of Data Parallel Skeletons on GPUs.

Steffen Ernsting, Herbert Kuchen

Proceedings of the Parallel Computing: On the Road to Exascale, 2015

Checking Java Assertions Using Automated Test-Case Generation.

Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Integrating Agile Software Development and Enterprise Architecture Management.

Sebastian Hanschke, Jan Ernsting, Herbert Kuchen

Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

Model-Driven Cross-Platform Apps: Towards Business Practicability.

Tim A. Majchrzak, Jan Ernsting, Herbert Kuchen

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), 2015

2014

A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming.

Steffen Ernsting, Herbert Kuchen

Int. J. Parallel Program., 2014

2013

MD-DSL - eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen.

Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Cross-platform model-driven development of mobile applications with md².

Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A Scalable Farm Skeleton for Heterogeneous Parallel Programming.

Steffen Ernsting, Herbert Kuchen

Proceedings of the Parallel Computing: Accelerating Computational Science and Engineering (CSE), 2013

2012

Introduction.

Donghwi Lee, Chia-Chu Chiang, Mal-Rey Lee, Herbert Kuchen, Kenji Leibnitz

Telecommun. Syst., 2012

Data Parallel Skeletons in Java.

Herbert Kuchen, Steffen Ernsting

Proceedings of the International Conference on Computational Science, 2012

E-assessment and software testing.

Claus A. Usener, Tim A. Majchrzak, Herbert Kuchen

Interact. Technol. Smart Educ., 2012

Algorithmic skeletons for multi-core, multi-GPU systems and clusters.

Steffen Ernsting, Herbert Kuchen

Int. J. High Perform. Comput. Netw., 2012

Dynamic Solution of Linear Constraints for Test Case Generation.

Marko Ernsting, Tim A. Majchrzak, Herbert Kuchen

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2011

Logic Java: Combining Object-Oriented and Logic Programming.

Tim A. Majchrzak, Herbert Kuchen

Proceedings of the Functional and Constraint Logic Programming, 2011

Efficiency evaluation of open source ETL tools.

Tim A. Majchrzak, Tobias Jansen, Herbert Kuchen

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems.

Steffen Ernsting, Herbert Kuchen

Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011

Hybrid Debugging of Java Programs.

Christian Hermanns, Herbert Kuchen

Proceedings of the Software and Data Technologies - 6th International Conference, 2011

JHyde - The Java Hybrid Debugger.

Christian Hermanns, Herbert Kuchen

Proceedings of the ICSOFT 2011, 2011

2010

Towards a decision support system for the allocation of traumatized patients.

Tim A. Majchrzak, Oliver Noack, Herbert Kuchen, Philipp Neuhaus, Frank Ückert

Proceedings of the 7th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2010

Enhancing Muesli's Data Parallel Skeletons for Multi-core Computer Architectures.

Philipp Ciechanowicz, Herbert Kuchen

Proceedings of the 12th IEEE International Conference on High Performance Computing and Communications, 2010

2009

Automated Test Case Generation Based on Coverage Analysis.

Tim A. Majchrzak, Herbert Kuchen

Proceedings of the TASE 2009, 2009

Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters.

Philipp Ciechanowicz, Philipp Kegel, Maraike Schellmann, Sergei Gorlatch, Herbert Kuchen

Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

2008

On Implementing the Farm Skeleton.

Michael Poldner, Herbert Kuchen

Parallel Process. Lett., 2008

Optimizing Skeletal Stream Processing for Divide and Conquer.

Michael Poldner, Herbert Kuchen

Proceedings of the ICSOFT 2008, 2008

Data-flow testing of declarative programs.

Sebastian Fischer, Herbert Kuchen

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

E-assessment of Mathematical Proofs: Chances and Challenges for Students and Tutors.

Susanne Johanna Gruttmann, Dominik Böhm, Herbert Kuchen

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

Systematic generation of glass-box test cases for functional logic programs.

Sebastian Fischer, Herbert Kuchen

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2006

Automatische Erzeugung von Testfällen.

Herbert Kuchen, Christoph Lembeck, Roger A. Müller

Softwaretechnik-Trends, 2006

Editorial.

Herbert Kuchen, Murray Cole

Parallel Comput., 2006

Algorithmic Debugging of Java Programs.

Rafael Caballero, Christian Hermanns, Herbert Kuchen

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

Algorithmic Skeletons for Branch and Bound.

Michael Poldner, Herbert Kuchen

Proceedings of the Software and Data Technologies - First International Conference, 2006

Algorithmic skeletons for branch & bound.

Michael Poldner, Herbert Kuchen

Proceedings of the ICSOFT 2006, 2006

XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects.

Roger A. Müller, Björn Eilers, Christian Janiesch, Herbert Kuchen, Jörg Becker

Proceedings of the Connecting the Americas. 12th Americas Conference on Information Systems, 2006

2005

Features from functional programming for a C++ skeleton library.

Herbert Kuchen, Jörg Striegnitz

Concurr. Pract. Exp., 2005

Scalable Farms.

Michael Poldner, Herbert Kuchen

Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

2004

A symbolic Java virtual machine for test case generation.

Roger A. Müller, Christoph Lembeck, Herbert Kuchen

Proceedings of the IASTED International Conference on Software Engineering, 2004

Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern.

Christoph Lembeck, Roger A. Müller, Herbert Kuchen

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

2003

Optimizing Sequences of Skeleton Calls.

Herbert Kuchen

Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

2002

The Integration of Task and Data Parallel Skeletons.

Herbert Kuchen, Murray Cole

Parallel Process. Lett., 2002

Editorial: Functional and Logic Programming.

Herbert Kuchen, Kazunori Ueda

J. Funct. Log. Program., 2002

Higher-order functions and partial applications for a C++ skeleton library.

Herbert Kuchen, Jörg Striegnitz

Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002

A Skeleton Library.

Herbert Kuchen

Proceedings of the Euro-Par 2002, 2002

2000

Implementing an Object Oriented Design in Curry.

Herbert Kuchen

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

1999

An Efficient Abstract Machine for Curry.

Wolfgang Lux, Herbert Kuchen

Proceedings of the Informatik '99, 1999

1998

Efficient High-Level Parallel Programming.

George Horatiu Botorog, Herbert Kuchen

Theor. Comput. Sci., 1998

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

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

Shared Memory Implementation of the Gamma-Operation.

Katia Gladitz, Herbert Kuchen

J. Symb. Comput., 1996

Integration of Functional and Logic Programming.

Michael Hanus, Herbert Kuchen

ACM Comput. Surv., 1996

Using Algorithmic Skeletons with Dynamic Data Structures.

George Horatiu Botorog, Herbert Kuchen

Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1996

Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming.

George Horatiu Botorog, Herbert Kuchen

Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996

TPascal - A Language for Task Parallel Programming.

Ansgar Brüll, Herbert Kuchen

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Efficient Parallel Programming with Algorithmic Skeletons.

George Horatiu Botorog, Herbert Kuchen

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Higher Order Babel: Language and Implementation.

Herbert Kuchen, Josef Anastasiadis

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1995

Higher Order Babel.

Herbert Kuchen, Josef Anastasiadis

Proceedings of the Logic Programming, 1995

Implementation Issues for Functional Logic Programming (Tutorial Abstract).

Herbert Kuchen

Proceedings of the Logic Programming, 1995

Algorithmic Skeletons for Adaptive Multigrid Methods.

George Horatiu Botorog, Herbert Kuchen

Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1995

A Functional Logic Language Based on Higher Order Narrowing.

Herbert Kuchen

Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1994

Parallel Implementation of the Gamma-Operation on Bags.

Katia Gladitz, Herbert Kuchen

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

Efficient Distributed Memory Implementation of a Data Parallel Functional Language.

Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1993

Efficient Lazy Narrowing using Demandedness Analysis.

Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Parallel Functional Programming Using Algorithmic Skeletons.

Holger Stoltze, Herbert Kuchen

Proceedings of the Parallel Computing: Trends and Applications, 1993

Parallel Implementation of Bags.

Herbert Kuchen, Katia Gladitz

Proceedings of the conference on Functional programming languages and computer architecture, 1993

1992

CANDELA - Eine Sprache zur Beschreibung von Topologien.

Herbert Kuchen, Holger Stoltze, Friedrich Lücking

Proceedings of the Parallele Datenverarbeitung mit dem Transputer, 1992

Independent AND-Parallel Implementation of Narrowing.

Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo

Proceedings of the Programming Language Implementation and Logic Programming, 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

Proceedings of the Logic Programming, 1992

Candela - A Topology Description Language.

Herbert Kuchen, Holger Stoltze, Friedrich Lücking

Proceedings of the Parallel Processing: CONPAR 92, 1992

1990

Lastverteilungsstrategien auf Multicomputern.

Herbert Kuchen, Andreas Wagener

Proceedings of the Parallele Datenverarbeitung mit dem Transputer, 1990

Graph-based Implementation of a Functional Logic Langugage.

Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo

Proceedings of the ESOP'90, 1990

Lazy Narrowing in a Graph Machine.

Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo

Proceedings of the Algebraic and Logic Programming, 1990

1989

Parallele Implementierung einer funktionalen Programmiersprache auf einem Transputer-Mehrprozessor-System.

Herbert Kuchen, Rita Loogen

Proceedings of the Parallele Datenverarbeitung mit dem Transputer, 1989

Distributed Implementation of Programmed Graph Reduction.

Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berücksichtigung applikativer Datenstrukturen.

Herbert Kuchen

PhD thesis, 1989

1987

MEMOPASCAL: Einbettung einer Datenbankanfragesprache in eine höhere Programmiersprache.

Jörg Noack, Herbert Kuchen

Angew. Inform., 1987