Herbert Kuchen

148 papers A 4B 10C 11Misc 20Journal 38Unranked 59
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Reference Architecture for Embedding Quantum Software Into Enterprise Systems.
CoRR
Marc Uphues, Sebastian Thöne, Herbert Kuchen
2025 B conf
Mutation Operators for Mutation Testing of Angular Web Applications.
ENASE
Sarah Augustin, Hendrik Winkelmann, Herbert Kuchen
2024 B conf
An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution.
ENASE
Laura Troost, Hendrik Winkelmann, Herbert Kuchen
2024 J jnl
Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments.
Int. J. Parallel Program.
Nina Herrmann, Justus Dieckmann, Herbert Kuchen
2023 B conf
A Model-Driven Approach to SAP S/4HANA Development.
EDOC
Jonathan Neugebauer, Jonas Hochstrat, Konrad Schneid, Daniel Sigge, Herbert Kuchen
2023 — conf
Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Jan C. Dageförde, Herbert Kuchen
2023 B conf
Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing.
ENASE
Hendrik Winkelmann, Herbert Kuchen
2023 J jnl
Distributed Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments.
Int. J. Parallel Program.
Nina Herrmann, Herbert Kuchen
2023 — conf
Modification-Impact based Test Prioritization for Process-Driven Applications.
ICSTW
Konrad Schneid, Sebastian Thöne, Herbert Kuchen
2023 J jnl
Out-of-the-box parameter control for evolutionary and swarm-based algorithms with distributed reinforcement learning.
Swarm Intell.
Marcelo Gomes Pereira de Lacerda, Fernando Buarque de Lima Neto, Teresa Bernarda Ludermir, Herbert Kuchen
2023 B conf
Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol.
ENASE
Laura Troost, Jonathan Neugebauer, Herbert Kuchen
2022 B conf
A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs.
ENASE
Laura Troost, Herbert Kuchen
2022 C conf
A Medical Information System for Personalized Rehabilitation after Ankle Inversion Trauma.
ICSOFT
Jonathan Neugebauer, Rosemary Dubbeldam, My Linh Pham, Lokman Beser, Luka Gerlach, Yu Yuan Lee, Herbert Kuchen
2022 Misc conf
Constraint-logic object-oriented programming for test case generation.
SAC
Hendrik Winkelmann, Laura Troost, Herbert Kuchen
2022 Misc conf
Constraint-logic object-oriented programming on the Java virtual machine.
SAC
Hendrik Winkelmann, Herbert Kuchen
2022 Misc conf
Model-driven customizing of ERP systems: a case study.
SAC
Jonathan Neugebauer, Herbert Kuchen
2022 J jnl
Parallelization of Swarm Intelligence Algorithms: Literature Review.
Int. J. Parallel Program.
Breno Augusto De Melo Menezes, Herbert Kuchen, Fernando Buarque de Lima Neto
2022 B conf
Semi-automated Test Migration for BPMN-Based Process-Driven Applications.
EDOC
Konrad Schneid, Sebastian Thöne, Herbert Kuchen
2022 J jnl
Stencil Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments.
Int. J. Parallel Program.
Nina Herrmann, Breno Augusto De Melo Menezes, Herbert Kuchen
2022 J jnl
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.
Appl. Soft Comput.
Marcelo Gomes Pereira de Lacerda, Hugo de Andrade Amorim Neto, Teresa Bernarda Ludermir, Herbert Kuchen, Fernando Buarque de Lima Neto
2021 J jnl
A systematic literature review on general parameter control for evolutionary and swarm-based algorithms.
Swarm Evol. Comput.
Marcelo Gomes Pereira de Lacerda, Luis Filipe de Araujo Pessoa, Fernando Buarque de Lima Neto, Teresa Bernarda Ludermir, Herbert Kuchen
2021 B conf
Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven Applications.
EDOC
Konrad Schneid, Leon Stapper, Sebastian Thöne, Herbert Kuchen
2021 C conf
Free Objects in Constraint-logic Object-oriented Programming.
PPDP
Jan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen
2021 J jnl
High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons.
Int. J. Parallel Program.
Breno Augusto De Melo Menezes, Nina Herrmann, Herbert Kuchen, Fernando Buarque de Lima Neto
2021 C ed.
MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Münster, Germany, September 29-30, 2021
MPLR
Herbert Kuchen, Jeremy Singer
2021 Misc conf
Symbolic execution of NoSQL applications using versioned schemas.
SAC
Hendrik Winkelmann, Herbert Kuchen
2021 Misc conf
Uncovering data-flow anomalies in BPMN-based process-driven applications.
SAC
Konrad Schneid, Herbert Kuchen, Sebastian Thöne, Sascha Di Bernardo
2020 Misc conf
A model-driven approach to cross-platform development of accessible business apps.
SAC
Christoph Rieger, Daniel Lucrédio, Renata P. M. Fortes, Herbert Kuchen, Felipe Silva Dias, Lianna Duarte
2020 — conf
Constraint-Logic Object-Oriented Programming with Free Arrays.
WFLP
Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen
2020 J jnl
Constraint-Logic Object-Oriented Programming with Free Arrays.
CoRR
Jan C. Dageförde, Herbert Kuchen
2020 — ed.
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
DECLARE
Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel
2020 — conf
Feature Development in BPMN-Based Process-Driven Applications.
BPM (Forum)
Konrad Schneid, Sebastian Thöne, Herbert Kuchen
2020 J jnl
Generation of high-performance code based on a domain-specific language for algorithmic skeletons.
J. Supercomput.
Fabian Wrede, Christoph Rieger, Herbert Kuchen
2020 J jnl
Towards High-Performance Code Generation for Multi-GPU Clusters Based on a Domain-Specific Language for Algorithmic Skeletons.
Int. J. Parallel Program.
Fabian Wrede, Herbert Kuchen
2019 — conf
A Model-Driven Cross-Platform App Development Process for Heterogeneous Device Classes.
HICSS
Christoph Rieger, Herbert Kuchen
2019 J jnl
A compiler and virtual machine for constraint-logic object-oriented programming with Muli.
J. Comput. Lang.
Jan C. Dageförde, Herbert Kuchen
2019 Misc conf
A model-driven approach for behavior-driven GUI testing.
SAC
Hendrik Bünder, Herbert Kuchen
2019 Misc conf
A web-based e-assessment tool for design patterns in UML class diagrams.
SAC
Tobias Reischmann, Herbert Kuchen
2019 C conf
Automated Data-Flow Analysis and Validation in Process Automation Projects.
SoMeT
Lars Beyer, Jan C. Dageförde, Herbert Kuchen, Claus A. Usener
2019 J jnl
Fish School Search with Algorithmic Skeletons.
Int. J. Parallel Program.
Fabian Wrede, Breno Augusto De Melo Menezes, Herbert Kuchen
2019 Misc conf
Musket: a domain-specific language for high-level parallel programming with algorithmic skeletons.
SAC
Christoph Rieger, Fabian Wrede, Herbert Kuchen
2019 — conf
On the Learning Properties of Dueling DDQN in Parameter Control for Evolutionary and Swarm-based Algorithms.
LA-CCI
Marcelo Gomes Pereira de Lacerda, Fernando Buarque de Lima Neto, Hugo de Andrade Amorim Neto, Herbert Kuchen, Teresa Bernarda Ludermir
2019 — ch.
Parallel Programming with Algorithmic Skeletons.
The Art of Structuring
Herbert Kuchen
2019 — conf
Parallelization Strategies for GPU-Based Ant Colony Optimization Applied to TSP.
PARCO
Breno Augusto De Melo Menezes, Luis Filipe de Araujo Pessoa, Herbert Kuchen, Fernando Buarque de Lima Neto
2019 B conf
Parallelization Strategies for GPU-Based Ant Colony Optimization Solving the Traveling Salesman Problem.
CEC
Breno Augusto De Melo Menezes, Herbert Kuchen, Hugo de Andrade Amorim Neto, Fernando Buarque de Lima Neto
2019 J jnl
Pre-proceedings of the DECLARE 2019 Conference.
CoRR
Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel
2019 Misc conf
Retrieval of individual solutions from encapsulated search with a potentially infinite search space.
SAC
Jan C. Dageförde, Herbert Kuchen
2019 Misc conf
Static analysis of BPMN-based process-driven applications.
SAC
Konrad Schneid, Claus A. Usener, Sebastian Thöne, Herbert Kuchen, Christian Tophinke
2019 — conf
Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol.
MODELSWARD (Revised Selected Papers)
Hendrik Bünder, Herbert Kuchen
2018 Misc conf
A constraint-logic object-oriented language.
SAC
Jan C. Dageförde, Herbert Kuchen
2018 J jnl
A process-oriented modeling approach for graphical development of mobile business apps.
Comput. Lang. Syst. Struct.
Christoph Rieger, Herbert Kuchen
2018 — conf
An Interactive Learning Environment for Software Engineering Design Patterns.
Koli Calling
Tobias Reischmann, Herbert Kuchen
2018 C conf
Challenges and Opportunities of Modularizing Textual Domain-Specific Languages.
MODELSWARD
Christoph Rieger, Martin Westerkamp, Herbert Kuchen
2018 J jnl
Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons.
Int. J. Parallel Program.
Sergei Gorlatch, Herbert Kuchen
2018 J jnl
Parameter Selection for Swarm Intelligence Algorithms: Case Study on Parallel Implementation of FSS.
Int. J. Swarm Intell. Res.
Breno Augusto De Melo Menezes, Fabian Wrede, Herbert Kuchen, Fernando Buarque de Lima Neto
2018 B conf
Population Size Control for Efficiency and Efficacy Optimization in Population Based Metaheuristics.
CEC
Marcelo Gomes Pereira de Lacerda, Hugo Deandrade Amorim Neto, Teresa Bernarda Ludermir, Herbert Kuchen, Fernando Buarque de Lima Neto
2018 Misc conf
Test-case generation for web-service clients.
SAC
Andreas Fuchs, Herbert Kuchen
2018 — conf
Towards Model-Driven Business Apps for Wearables.
MobiWIS
Christoph Rieger, Herbert Kuchen
2017 C conf
A Domain-specific Language for Configurable Traceability Analysis.
MODELSWARD
Hendrik Bünder, Christoph Rieger, Herbert Kuchen
2017 — conf
An Operational Semantics for Constraint-Logic Imperative Programming.
DECLARE
Jan C. Dageförde, Herbert Kuchen
2017 J jnl
Data Parallel Algorithmic Skeletons with Accelerator Support.
Int. J. Parallel Program.
Steffen Ernsting, Herbert Kuchen
2017 Misc conf
Detecting spring configurations errors.
SAC
Vincent von Hof, Konrad Fögen, Herbert Kuchen
2017 J jnl
Guest Editors' Note.
Parallel Process. Lett.
Sergei Gorlatch, Herbert Kuchen
2017 — conf
High-Level Parallel Implementation of Swarm Intelligence-Based Optimization Algorithms with Algorithmic Skeletons.
PARCO
Fabian Wrede, Breno Augusto De Melo Menezes, Luis Filipe de Araujo Pessoa, Bernd Hellingrath, Fernando Buarque de Lima Neto, Herbert Kuchen
2017 — conf
Parameter selection for swarm intelligence algorithms - Case study on parallel implementation of FSS.
LA-CCI
Breno Augusto De Melo Menezes, Fabian Wrede, Herbert Kuchen, Fernando Buarque de Lima Neto
2017 — conf
Unit Testing of Database-Driven Java Enterprise Edition Applications.
TAP@STAF
Andreas Fuchs, Herbert Kuchen
2016 C conf
Compilezeit-Prüfung von Spring-Konfigurationen.
Software Engineering (Workshops)
Vincent von Hof, Konrad Fögen, Herbert Kuchen
2016 — conf
Towards an E-assessment tool for advanced software engineering skills.
Koli Calling
Tobias Reischmann, Herbert Kuchen
2015 J jnl
Achieving Business Practicability of Model-Driven Cross-Platform Apps.
Open J. Inf. Syst.
Tim A. Majchrzak, Jan Ernsting, Herbert Kuchen
2015 C conf
Checking Java Assertions Using Automated Test-Case Generation.
LOPSTR
Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof
2015 J jnl
Extending a model-driven cross-platform development approach for business apps.
Sci. Comput. Program.
Henning Heitkötter, Herbert Kuchen, Tim A. Majchrzak
2015 — conf
Integrating Agile Software Development and Enterprise Architecture Management.
HICSS
Sebastian Hanschke, Jan Ernsting, Herbert Kuchen
2015 — conf
Java Implementation of Data Parallel Skeletons on GPUs.
PARCO
Steffen Ernsting, Herbert Kuchen
2015 — conf
Model-Driven Cross-Platform Apps: Towards Business Practicability.
CAiSE Forum
Tim A. Majchrzak, Jan Ernsting, Herbert Kuchen
2014 J jnl
A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming.
Int. J. Parallel Program.
Steffen Ernsting, Herbert Kuchen
2013 — conf
A Scalable Farm Skeleton for Heterogeneous Parallel Programming.
PARCO
Steffen Ernsting, Herbert Kuchen
2013 Misc conf
Cross-platform model-driven development of mobile applications with md
SAC
Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen
2013 C conf
MD-DSL - eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen.
Software Engineering (Workshops)
Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen
2012 J jnl
Algorithmic skeletons for multi-core, multi-GPU systems and clusters.
Int. J. High Perform. Comput. Netw.
Steffen Ernsting, Herbert Kuchen
2012 Misc conf
Data Parallel Skeletons in Java.
ICCS
Herbert Kuchen, Steffen Ernsting
2012 Misc conf
Dynamic Solution of Linear Constraints for Test Case Generation.
TASE
Marko Ernsting, Tim A. Majchrzak, Herbert Kuchen
2012 J jnl
E-assessment and software testing.
Interact. Technol. Smart Educ.
Claus A. Usener, Tim A. Majchrzak, Herbert Kuchen
2012 J jnl
Introduction.
Telecommun. Syst.
Donghwi Lee, Chia-Chu Chiang, Mal-Rey Lee, Herbert Kuchen, Kenji Leibnitz
2011 — conf
Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems.
PARCO
Steffen Ernsting, Herbert Kuchen
2011 Misc conf
Efficiency evaluation of open source ETL tools.
SAC
Tim A. Majchrzak, Tobias Jansen, Herbert Kuchen
2011 — ed.
Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
WFLP
Herbert Kuchen
2011 — conf
Hybrid Debugging of Java Programs.
ICSOFT (Selected Papers)
Christian Hermanns, Herbert Kuchen
2011 — conf
JHyde - The Java Hybrid Debugger.
ICSOFT (2)
Christian Hermanns, Herbert Kuchen
2011 — conf
Logic Java: Combining Object-Oriented and Logic Programming.
WFLP
Tim A. Majchrzak, Herbert Kuchen
2010 C conf
Enhancing Muesli's Data Parallel Skeletons for Multi-core Computer Architectures.
HPCC
Philipp Ciechanowicz, Herbert Kuchen
2010 — conf
Towards a decision support system for the allocation of traumatized patients.
ISCRAM
Tim A. Majchrzak, Oliver Noack, Herbert Kuchen, Philipp Neuhaus, Frank Ückert
2009 Misc conf
Automated Test Case Generation Based on Coverage Analysis.
TASE
Tim A. Majchrzak, Herbert Kuchen
2009 — conf
Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters.
PARCO
Philipp Ciechanowicz, Philipp Kegel, Maraike Schellmann, Sergei Gorlatch, Herbert Kuchen
2008 A conf
Data-flow testing of declarative programs.
ICFP
Sebastian Fischer, Herbert Kuchen
2008 — conf
E-assessment of Mathematical Proofs: Chances and Challenges for Students and Tutors.
CSSE (5)
Susanne Johanna Gruttmann, Dominik Böhm, Herbert Kuchen
2008 J jnl
On Implementing the Farm Skeleton.
Parallel Process. Lett.
Michael Poldner, Herbert Kuchen
2008 — conf
Optimizing Skeletal Stream Processing for Divide and Conquer.
ICSOFT (PL/DPS/KE)
Michael Poldner, Herbert Kuchen
2007 C conf
Systematic generation of glass-box test cases for functional logic programs.
PPDP
Sebastian Fischer, Herbert Kuchen
2006 — conf
Algorithmic Debugging of Java Programs.
WFLP
Rafael Caballero, Christian Hermanns, Herbert Kuchen
2006 — conf
Algorithmic Skeletons for Branch and Bound.
ICSOFT (Selected Papers)
Michael Poldner, Herbert Kuchen
2006 — conf
Algorithmic skeletons for branch & bound.
ICSOFT (1)
Michael Poldner, Herbert Kuchen
2006 J jnl
Automatische Erzeugung von Testfällen.
Softwaretechnik-Trends
Herbert Kuchen, Christoph Lembeck, Roger A. Müller
2006 J jnl
Editorial.
Parallel Comput.
Herbert Kuchen, Murray Cole
2006 — conf
XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects.
AMCIS
Roger A. Müller, Björn Eilers, Christian Janiesch, Herbert Kuchen, Jörg Becker
2005 J jnl
Features from functional programming for a C++ skeleton library.
Concurr. Pract. Exp.
Herbert Kuchen, Jörg Striegnitz
2005 — conf
Scalable Farms.
PARCO
Michael Poldner, Herbert Kuchen
2004 — conf
A symbolic Java virtual machine for test case generation.
IASTED Conf. on Software Engineering
Roger A. Müller, Christoph Lembeck, Herbert Kuchen
2004 — conf
Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern.
GI Jahrestagung (2)
Christoph Lembeck, Roger A. Müller, Herbert Kuchen
2003 — conf
Optimizing Sequences of Skeleton Calls.
Domain-Specific Program Generation
Herbert Kuchen
2002 — conf
A Skeleton Library.
Euro-Par
Herbert Kuchen
2002 J jnl
Editorial: Functional and Logic Programming.
J. Funct. Log. Program.
Herbert Kuchen, Kazunori Ueda
2002 — conf
Higher-order functions and partial applications for a C++ skeleton library.
Java Grande
Herbert Kuchen, Jörg Striegnitz
2002 J jnl
The Integration of Task and Data Parallel Skeletons.
Parallel Process. Lett.
Herbert Kuchen, Murray Cole
2001 Misc ed.
Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings
FLOPS
Herbert Kuchen, Kazunori Ueda
2000 — conf
Implementing an Object Oriented Design in Curry.
WFLP
Herbert Kuchen
1999 — conf
An Efficient Abstract Machine for Curry.
GI Jahrestagung
Wolfgang Lux, Herbert Kuchen
1998 J jnl
Efficient High-Level Parallel Programming.
Theor. Comput. Sci.
George Horatiu Botorog, Herbert Kuchen
1997 — ed.
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
PLILP
Hugh Glaser, Pieter H. Hartel, Herbert Kuchen
1996 — conf
Efficient Parallel Programming with Algorithmic Skeletons.
Euro-Par, Vol. I
George Horatiu Botorog, Herbert Kuchen
1996 — conf
Higher Order Babel: Language and Implementation.
ELP
Herbert Kuchen, Josef Anastasiadis
1996 J jnl
Integration of Functional and Logic Programming.
ACM Comput. Surv.
Michael Hanus, Herbert Kuchen
1996 J jnl
Monte Carlo Algorithms for Elliptic Differential Equations. Data Parallel Functional Approach.
Parallel Algorithms Appl.
Ivan T. Dimov, Aneta Karaivanova, Herbert Kuchen, Holger Stoltze
1996 — ed.
Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings
PLILP
Herbert Kuchen, S. Doaitse Swierstra
1996 J jnl
Shared Memory Implementation of the Gamma-Operation.
J. Symb. Comput.
Katia Gladitz, Herbert Kuchen
1996 A conf
Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming.
HPDC
George Horatiu Botorog, Herbert Kuchen
1996 — conf
TPascal - A Language for Task Parallel Programming.
Euro-Par, Vol. I
Ansgar Brüll, Herbert Kuchen
1996 J jnl
The Functional Logic Language BABEL and Its Implementation on a Graph Machine.
New Gener. Comput.
Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
1996 — conf
Using Algorithmic Skeletons with Dynamic Data Structures.
IRREGULAR
George Horatiu Botorog, Herbert Kuchen
1995 A conf
A Functional Logic Language Based on Higher Order Narrowing.
Functional Programming
Herbert Kuchen
1995 — conf
Algorithmic Skeletons for Adaptive Multigrid Methods.
IRREGULAR
George Horatiu Botorog, Herbert Kuchen
1995 — conf
Higher Order Babel.
ILPS
Herbert Kuchen, Josef Anastasiadis
1995 — conf
Implementation Issues for Functional Logic Programming (Tutorial Abstract).
ILPS
Herbert Kuchen
1994 — conf
Efficient Distributed Memory Implementation of a Data Parallel Functional Language.
PARLE
Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze
1994 — conf
Parallel Implementation of the Gamma-Operation on Bags.
PASCO
Katia Gladitz, Herbert Kuchen
1993 — conf
Efficient Lazy Narrowing using Demandedness Analysis.
PLILP
Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans
1993 — conf
Parallel Functional Programming Using Algorithmic Skeletons.
PARCO
Holger Stoltze, Herbert Kuchen
1993 — conf
Parallel Implementation of Bags.
FPCA
Herbert Kuchen, Katia Gladitz
1992 — conf
CANDELA - Eine Sprache zur Beschreibung von Topologien.
Transputer-Anwender-Treffen
Herbert Kuchen, Holger Stoltze, Friedrich Lücking
1992 — conf
Candela - A Topology Description Language.
CONPAR
Herbert Kuchen, Holger Stoltze, Friedrich Lücking
1992 — conf
Implementing a Lazy Functional Logic Language with Disequality Constraints.
JICSLP
Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
1992 — conf
Independent AND-Parallel Implementation of Narrowing.
PLILP
Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo
1990 A conf
Graph-based Implementation of a Functional Logic Langugage.
ESOP
Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
1990 — conf
Lastverteilungsstrategien auf Multicomputern.
Transputer-Anwender-Treffen
Herbert Kuchen, Andreas Wagener
1990 — conf
Lazy Narrowing in a Graph Machine.
ALP
Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo
1989 — conf
Distributed Implementation of Programmed Graph Reduction.
PARLE (1)
Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm
1989 — —
Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berücksichtigung applikativer Datenstrukturen.
Herbert Kuchen
1989 — conf
Parallele Implementierung einer funktionalen Programmiersprache auf einem Transputer-Mehrprozessor-System.
Transputer-Anwender-Treffen
Herbert Kuchen, Rita Loogen
1987 J jnl
MEMOPASCAL: Einbettung einer Datenbankanfragesprache in eine höhere Programmiersprache.
Angew. Inform.
Jörg Noack, Herbert Kuchen