![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Herbert Kuchen
Person information
- affiliation: Westfälische Wilhelms-Universität Münster
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j35]Nina Herrmann, Justus Dieckmann, Herbert Kuchen:
Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments. Int. J. Parallel Program. 52(4): 274-297 (2024) - [c101]Laura Troost, Hendrik Winkelmann, Herbert Kuchen:
An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution. ENASE 2024: 39-50 - 2023
- [j34]Nina Herrmann, Herbert Kuchen:
Distributed Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments. Int. J. Parallel Program. 51(2-3): 172-185 (2023) - [j33]Marcelo Gomes Pereira de Lacerda
, Fernando Buarque de Lima Neto, Teresa Bernarda Ludermir, Herbert Kuchen:
Out-of-the-box parameter control for evolutionary and swarm-based algorithms with distributed reinforcement learning. Swarm Intell. 17(3): 173-217 (2023) - [c100]Jan C. Dageförde
, Herbert Kuchen
:
Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 97-112 - [c99]Jonathan Neugebauer
, Jonas Hochstrat, Konrad Schneid
, Daniel Sigge, Herbert Kuchen
:
A Model-Driven Approach to SAP S/4HANA Development. EDOC 2023: 97-113 - [c98]Laura Troost, Jonathan Neugebauer
, Herbert Kuchen:
Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol. ENASE 2023: 77-88 - [c97]Hendrik Winkelmann, Herbert Kuchen:
Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing. ENASE 2023: 412-419 - [c96]Konrad Schneid, Sebastian Thöne, Herbert Kuchen:
Modification-Impact based Test Prioritization for Process-Driven Applications. ICSTW 2023: 365-372 - 2022
- [j32]Marcelo Gomes Pereira de Lacerda, Hugo de Andrade Amorim Neto
, Teresa Bernarda Ludermir, Herbert Kuchen, Fernando Buarque de Lima Neto:
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. 123: 108920 (2022) - [j31]Nina Herrmann, Breno Augusto De Melo Menezes, Herbert Kuchen:
Stencil Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments. Int. J. Parallel Program. 50(5-6): 433-453 (2022) - [j30]Breno Augusto De Melo Menezes
, Herbert Kuchen, Fernando Buarque de Lima Neto:
Parallelization of Swarm Intelligence Algorithms: Literature Review. Int. J. Parallel Program. 50(5-6): 486-514 (2022) - [c95]Konrad Schneid
, Sebastian Thöne, Herbert Kuchen
:
Semi-automated Test Migration for BPMN-Based Process-Driven Applications. EDOC 2022: 237-254 - [c94]Laura Troost, Herbert Kuchen:
A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs. ENASE 2022: 267-274 - [c93]Jonathan Neugebauer
, Rosemary Dubbeldam, My Linh Pham, Lokman Beser, Luka Gerlach, Yu Yuan Lee, Herbert Kuchen:
A Medical Information System for Personalized Rehabilitation after Ankle Inversion Trauma. ICSOFT 2022: 319-330 - [c92]Hendrik Winkelmann, Herbert Kuchen:
Constraint-logic object-oriented programming on the Java virtual machine. SAC 2022: 1258-1267 - [c91]Jonathan Neugebauer
, Herbert Kuchen:
Model-driven customizing of ERP systems: a case study. SAC 2022: 1276-1279 - [c90]Hendrik Winkelmann, Laura Troost, Herbert Kuchen:
Constraint-logic object-oriented programming for test case generation. SAC 2022: 1499-1508 - 2021
- [j29]Breno Augusto De Melo Menezes
, Nina Herrmann, Herbert Kuchen, Fernando Buarque de Lima Neto:
High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons. Int. J. Parallel Program. 49(6): 776-801 (2021) - [j28]Marcelo Gomes Pereira de Lacerda, Luis Filipe de Araujo Pessoa, Fernando Buarque de Lima Neto
, Teresa Bernarda Ludermir
, Herbert Kuchen:
A systematic literature review on general parameter control for evolutionary and swarm-based algorithms. Swarm Evol. Comput. 60: 100777 (2021) - [c89]Konrad Schneid, Leon Stapper, Sebastian Thöne, Herbert Kuchen:
Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven Applications. EDOC 2021: 31-40 - [c88]Jan C. Dageförde, Hendrik Winkelmann
, Herbert Kuchen:
Free Objects in Constraint-logic Object-oriented Programming. PPDP 2021: 14:1-14:13 - [c87]Konrad Schneid, Herbert Kuchen, Sebastian Thöne, Sascha Di Bernardo:
Uncovering data-flow anomalies in BPMN-based process-driven applications. SAC 2021: 1504-1512 - [c86]Hendrik Winkelmann
, Herbert Kuchen:
Symbolic execution of NoSQL applications using versioned schemas. SAC 2021: 1778-1787 - [e6]Herbert Kuchen, Jeremy Singer:
MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Münster, Germany, September 29-30, 2021. ACM 2021, ISBN 978-1-4503-8675-3 [contents] - 2020
- [j27]Fabian Wrede, Herbert Kuchen:
Towards High-Performance Code Generation for Multi-GPU Clusters Based on a Domain-Specific Language for Algorithmic Skeletons. Int. J. Parallel Program. 48(4): 713-728 (2020) - [j26]Fabian Wrede
, Christoph Rieger, Herbert Kuchen:
Generation of high-performance code based on a domain-specific language for algorithmic skeletons. J. Supercomput. 76(7): 5098-5116 (2020) - [c85]Konrad Schneid
, Sebastian Thöne, Herbert Kuchen
:
Feature Development in BPMN-Based Process-Driven Applications. BPM (Forum) 2020: 35-50 - [c84]Christoph Rieger, Daniel Lucrédio, Renata P. M. Fortes
, Herbert Kuchen, Felipe Dias, Lianna Duarte
:
A model-driven approach to cross-platform development of accessible business apps. SAC 2020: 984-993 - [c83]Hendrik Winkelmann
, Jan C. Dageförde
, Herbert Kuchen:
Constraint-Logic Object-Oriented Programming with Free Arrays. WFLP 2020: 129-144 - [e5]Petra Hofstedt, Salvador Abreu
, Ulrich John
, Herbert Kuchen
, Dietmar Seipel:
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. Lecture Notes in Computer Science 12057, Springer 2020, ISBN 978-3-030-46713-5 [contents] - [i2]Jan C. Dageförde
, Herbert Kuchen:
Constraint-Logic Object-Oriented Programming with Free Arrays. CoRR abs/2008.13460 (2020)
2010 – 2019
- 2019
- [j25]Fabian Wrede
, Breno Augusto De Melo Menezes
, Herbert Kuchen:
Fish School Search with Algorithmic Skeletons. Int. J. Parallel Program. 47(2): 234-252 (2019) - [j24]Jan C. Dageförde
, Herbert Kuchen:
A compiler and virtual machine for constraint-logic object-oriented programming with Muli. J. Comput. Lang. 53: 63-78 (2019) - [c82]Breno Augusto De Melo Menezes, Herbert Kuchen, Hugo de Andrade Amorim Neto
, Fernando Buarque de Lima Neto
:
Parallelization Strategies for GPU-Based Ant Colony Optimization Solving the Traveling Salesman Problem. CEC 2019: 3094-3101 - [c81]Christoph Rieger, Herbert Kuchen:
A Model-Driven Cross-Platform App Development Process for Heterogeneous Device Classes. HICSS 2019: 1-10 - [c80]Marcelo Gomes Pereira de Lacerda, Fernando Buarque de Lima Neto
, Hugo de Andrade Amorim Neto
, Herbert Kuchen, Teresa Bernarda Ludermir:
On the Learning Properties of Dueling DDQN in Parameter Control for Evolutionary and Swarm-based Algorithms. LA-CCI 2019: 1-6 - [c79]Hendrik Bünder, Herbert Kuchen:
Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol. MODELSWARD (Revised Selected Papers) 2019: 225-245 - [c78]Breno Augusto De Melo Menezes, Luis Filipe de Araujo Pessoa, Herbert Kuchen, Fernando Buarque de Lima Neto
:
Parallelization Strategies for GPU-Based Ant Colony Optimization Applied to TSP. PARCO 2019: 321-330 - [c77]Konrad Schneid
, Claus A. Usener, Sebastian Thöne, Herbert Kuchen, Christian Tophinke:
Static analysis of BPMN-based process-driven applications. SAC 2019: 66-74 - [c76]Christoph Rieger, Fabian Wrede, Herbert Kuchen:
Musket: a domain-specific language for high-level parallel programming with algorithmic skeletons. SAC 2019: 1534-1543 - [c75]Jan C. Dageförde
, Herbert Kuchen:
Retrieval of individual solutions from encapsulated search with a potentially infinite search space. SAC 2019: 1552-1561 - [c74]Hendrik Bünder, Herbert Kuchen:
A model-driven approach for behavior-driven GUI testing. SAC 2019: 1742-1751 - [c73]Tobias Reischmann, Herbert Kuchen:
A web-based e-assessment tool for design patterns in UML class diagrams. SAC 2019: 2435-2444 - [c72]Lars Beyer, Jan C. Dageförde
, Herbert Kuchen, Claus A. Usener:
Automated Data-Flow Analysis and Validation in Process Automation Projects. SoMeT 2019: 333-346 - [p1]Herbert Kuchen:
Parallel Programming with Algorithmic Skeletons. The Art of Structuring 2019: 527-536 - [i1]Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel:
Pre-proceedings of the DECLARE 2019 Conference. CoRR abs/1909.04870 (2019) - 2018
- [j23]Christoph Rieger
, Herbert Kuchen
:
A process-oriented modeling approach for graphical development of mobile business apps. Comput. Lang. Syst. Struct. 53: 43-58 (2018) - [j22]Sergei Gorlatch, Herbert Kuchen:
Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons. Int. J. Parallel Program. 46(1): 1-3 (2018) - [j21]Breno Augusto De Melo Menezes, Fabian Wrede, Herbert Kuchen, Fernando Buarque de Lima Neto
:
Parameter Selection for Swarm Intelligence Algorithms: Case Study on Parallel Implementation of FSS. Int. J. Swarm Intell. Res. 9(4): 1-20 (2018) - [c71]Marcelo Gomes Pereira de Lacerda, Hugo Deandrade Amorim Neto
, Teresa Bernarda Ludermir, Herbert Kuchen, Fernando Buarque de Lima Neto
:
Population Size Control for Efficiency and Efficacy Optimization in Population Based Metaheuristics. CEC 2018: 1-8 - [c70]Tobias Reischmann, Herbert Kuchen:
An Interactive Learning Environment for Software Engineering Design Patterns. Koli Calling 2018: 35:1-35:2 - [c69]Christoph Rieger, Herbert Kuchen:
Towards Model-Driven Business Apps for Wearables. MobiWIS 2018: 3-17 - [c68]Christoph Rieger, Martin Westerkamp, Herbert Kuchen:
Challenges and Opportunities of Modularizing Textual Domain-Specific Languages. MODELSWARD 2018: 387-395 - [c67]Jan C. Dageförde
, Herbert Kuchen:
A constraint-logic object-oriented language. SAC 2018: 1185-1194 - [c66]Andreas Fuchs, Herbert Kuchen:
Test-case generation for web-service clients. SAC 2018: 1518-1527 - 2017
- [j20]Steffen Ernsting, Herbert Kuchen:
Data Parallel Algorithmic Skeletons with Accelerator Support. Int. J. Parallel Program. 45(2): 283-299 (2017) - [j19]Sergei Gorlatch, Herbert Kuchen:
Guest Editors' Note. Parallel Process. Lett. 27(1): 1702001:1-1702001:2 (2017) - [c65]Jan C. Dageförde
, Herbert Kuchen:
An Operational Semantics for Constraint-Logic Imperative Programming. DECLARE 2017: 64-80 - [c64]Breno Augusto De Melo Menezes
, Fabian Wrede, Herbert Kuchen, Fernando Buarque de Lima Neto
:
Parameter selection for swarm intelligence algorithms - Case study on parallel implementation of FSS. LA-CCI 2017: 1-6 - [c63]Hendrik Bünder, Christoph Rieger, Herbert Kuchen:
A Domain-specific Language for Configurable Traceability Analysis. MODELSWARD 2017: 374-381 - [c62]Fabian Wrede, Breno Augusto De Melo Menezes
, Luis Filipe de Araujo Pessoa, Bernd Hellingrath
, Fernando Buarque de Lima Neto
, Herbert Kuchen:
High-Level Parallel Implementation of Swarm Intelligence-Based Optimization Algorithms with Algorithmic Skeletons. PARCO 2017: 573-582 - [c61]Vincent von Hof, Konrad Fögen, Herbert Kuchen:
Detecting spring configurations errors. SAC 2017: 1505-1512 - [c60]Andreas Fuchs, Herbert Kuchen:
Unit Testing of Database-Driven Java Enterprise Edition Applications. TAP@STAF 2017: 59-76 - 2016
- [c59]Tobias Reischmann, Herbert Kuchen:
Towards an E-assessment tool for advanced software engineering skills. Koli Calling 2016: 81-90 - [c58]Vincent von Hof, Konrad Fögen, Herbert Kuchen:
Compilezeit-Prüfung von Spring-Konfigurationen. Software Engineering (Workshops) 2016: 96-108 - 2015
- [j18]Tim A. Majchrzak, Jan Ernsting, Herbert Kuchen:
Achieving Business Practicability of Model-Driven Cross-Platform Apps. Open J. Inf. Syst. 2(2): 4-15 (2015) - [j17]Henning Heitkötter, Herbert Kuchen, Tim A. Majchrzak
:
Extending a model-driven cross-platform development approach for business apps. Sci. Comput. Program. 97: 31-36 (2015) - [c57]Tim A. Majchrzak, Jan Ernsting, Herbert Kuchen:
Model-Driven Cross-Platform Apps: Towards Business Practicability. CAiSE Forum 2015: 129-136 - [c56]Sebastian Hanschke, Jan Ernsting, Herbert Kuchen:
Integrating Agile Software Development and Enterprise Architecture Management. HICSS 2015: 4099-4108 - [c55]Rafael Caballero
, Manuel Montenegro, Herbert Kuchen, Vincent von Hof:
Checking Java Assertions Using Automated Test-Case Generation. LOPSTR 2015: 221-226 - [c54]Steffen Ernsting, Herbert Kuchen:
Java Implementation of Data Parallel Skeletons on GPUs. PARCO 2015: 155-164 - 2014
- [j16]Steffen Ernsting, Herbert Kuchen:
A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming. Int. J. Parallel Program. 42(6): 968-987 (2014) - 2013
- [c53]Steffen Ernsting, Herbert Kuchen:
A Scalable Farm Skeleton for Heterogeneous Parallel Programming. PARCO 2013: 72-81 - [c52]Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen:
Cross-platform model-driven development of mobile applications with md2. SAC 2013: 526-533 - [c51]Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen:
MD-DSL - eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen. Software Engineering (Workshops) 2013: 91-106 - 2012
- [j15]Steffen Ernsting, Herbert Kuchen:
Algorithmic skeletons for multi-core, multi-GPU systems and clusters. Int. J. High Perform. Comput. Netw. 7(2): 129-138 (2012) - [j14]Claus A. Usener, Tim A. Majchrzak, Herbert Kuchen:
E-assessment and software testing. Interact. Technol. Smart Educ. 9(1): 46-56 (2012) - [j13]Donghwi Lee, Chia-Chu Chiang, Mal-Rey Lee, Herbert Kuchen, Kenji Leibnitz:
Introduction. Telecommun. Syst. 51(2-3): 93 (2012) - [c50]Marko Ernsting, Tim A. Majchrzak, Herbert Kuchen:
Dynamic Solution of Linear Constraints for Test Case Generation. TASE 2012: 271-274 - [c49]Herbert Kuchen, Steffen Ernsting:
Data Parallel Skeletons in Java. ICCS 2012: 1817-1826 - 2011
- [c48]Christian Hermanns, Herbert Kuchen:
JHyde - The Java Hybrid Debugger. ICSOFT (2) 2011: 25-35 - [c47]Christian Hermanns, Herbert Kuchen:
Hybrid Debugging of Java Programs. ICSOFT (Selected Papers) 2011: 91-107 - [c46]Steffen Ernsting, Herbert Kuchen:
Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems. PARCO 2011: 509-518 - [c45]Tim A. Majchrzak, Tobias Jansen, Herbert Kuchen:
Efficiency evaluation of open source ETL tools. SAC 2011: 287-294 - [c44]Tim A. Majchrzak, Herbert Kuchen:
Logic Java: Combining Object-Oriented and Logic Programming. WFLP 2011: 122-137 - [e4]Herbert Kuchen:
Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings. Lecture Notes in Computer Science 6816, Springer 2011, ISBN 978-3-642-22530-7 [contents] - 2010
- [c43]Philipp Ciechanowicz, Herbert Kuchen:
Enhancing Muesli's Data Parallel Skeletons for Multi-core Computer Architectures. HPCC 2010: 108-113 - [c42]Tim A. Majchrzak, Oliver Noack, Herbert Kuchen, Philipp Neuhaus, Frank Ückert:
Towards a decision support system for the allocation of traumatized patients. ISCRAM 2010
2000 – 2009
- 2009
- [c41]Philipp Ciechanowicz, Philipp Kegel, Maraike Schellmann, Sergei Gorlatch, Herbert Kuchen:
Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters. PARCO 2009: 169-176 - [c40]Tim A. Majchrzak, Herbert Kuchen:
Automated Test Case Generation Based on Coverage Analysis. TASE 2009: 259-266 - 2008
- [j12]Michael Poldner, Herbert Kuchen:
On Implementing the Farm Skeleton. Parallel Process. Lett. 18(1): 117-131 (2008) - [c39]Susanne Johanna Gruttmann, Dominik Böhm, Herbert Kuchen:
E-assessment of Mathematical Proofs: Chances and Challenges for Students and Tutors. CSSE (5) 2008: 612-615 - [c38]Sebastian Fischer, Herbert Kuchen:
Data-flow testing of declarative programs. ICFP 2008: 201-212 - [c37]Michael Poldner, Herbert Kuchen:
Optimizing Skeletal Stream Processing for Divide and Conquer. ICSOFT (PL/DPS/KE) 2008: 181-189 - 2007
- [c36]Sebastian Fischer, Herbert Kuchen:
Systematic generation of glass-box test cases for functional logic programs. PPDP 2007: 63-74 - 2006
- [j11]Herbert Kuchen, Murray Cole:
Editorial. Parallel Comput. 32(7-8): 447-448 (2006) - [j10]Herbert Kuchen, Christoph Lembeck, Roger A. Müller:
Automatische Erzeugung von Testfällen. Softwaretechnik-Trends 26(2) (2006) - [c35]Roger A. Müller, Björn Eilers, Christian Janiesch, Herbert Kuchen, Jörg Becker:
XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects. AMCIS 2006: 443 - [c34]Michael Poldner, Herbert Kuchen:
Algorithmic Skeletons for Branch and Bound. ICSOFT (Selected Papers) 2006: 204-219 - [c33]Michael Poldner, Herbert Kuchen:
Algorithmic skeletons for branch & bound. ICSOFT (1) 2006: 291-300 - [c32]Rafael Caballero, Christian Hermanns, Herbert Kuchen:
Algorithmic Debugging of Java Programs. WFLP 2006: 75-89 - 2005
- [j9]Herbert Kuchen, Jörg Striegnitz:
Features from functional programming for a C++ skeleton library. Concurr. Pract. Exp. 17(7-8): 739-756 (2005) - [c31]Michael Poldner, Herbert Kuchen:
Scalable Farms. PARCO 2005: 795-802 - 2004
- [c30]Christoph Lembeck, Roger A. Müller, Herbert Kuchen:
Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern. GI Jahrestagung (2) 2004: 418-427 - [c29]Roger A. Müller, Christoph Lembeck, Herbert Kuchen:
A symbolic Java virtual machine for test case generation. IASTED Conf. on Software Engineering 2004: 365-371 - 2003
- [c28]Herbert Kuchen:
Optimizing Sequences of Skeleton Calls. Domain-Specific Program Generation 2003: 254-273 - 2002
- [j8]Herbert Kuchen, Kazunori Ueda:
Editorial: Functional and Logic Programming. J. Funct. Log. Program. 2002 (2002) - [j7]Herbert Kuchen, Murray Cole:
The Integration of Task and Data Parallel Skeletons. Parallel Process. Lett. 12(2): 141-155 (2002) - [c27]Herbert Kuchen:
A Skeleton Library. Euro-Par 2002: 620-629 - [c26]Herbert Kuchen, Jörg Striegnitz:
Higher-order functions and partial applications for a C++ skeleton library. Java Grande 2002: 122-130 - 2001
- [e3]Herbert Kuchen, Kazunori Ueda:
Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings. Lecture Notes in Computer Science 2024, Springer 2001, ISBN 3-540-41739-7 [contents] - 2000
- [c25]Herbert Kuchen:
Implementing an Object Oriented Design in Curry. WFLP 2000: 499-509
1990 – 1999
- 1999
- [c24]Wolfgang Lux, Herbert Kuchen:
An Efficient Abstract Machine for Curry. GI Jahrestagung 1999: 390-399 - 1998
- [j6]George Horatiu Botorog, Herbert Kuchen:
Efficient High-Level Parallel Programming. Theor. Comput. Sci. 196(1-2): 71-107 (1998) - 1997
- [e2]Hugh Glaser, Pieter H. Hartel, Herbert Kuchen:
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. Lecture Notes in Computer Science 1292, Springer 1997, ISBN 3-540-63398-7 [contents] - 1996
- [j5]Michael Hanus
, Herbert Kuchen:
Integration of Functional and Logic Programming. ACM Comput. Surv. 28(2): 306-308 (1996) - [j4]Katia Gladitz, Herbert Kuchen:
Shared Memory Implementation of the Gamma-Operation. J. Symb. Comput. 21(4): 577-591 (1996) - [j3]Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
The Functional Logic Language BABEL and Its Implementation on a Graph Machine. New Gener. Comput. 14(4): 391-427 (1996) - [j2]Ivan T. Dimov, Aneta Karaivanova, Herbert Kuchen, Holger Stoltze:
Monte Carlo Algorithms for Elliptic Differential Equations. Data Parallel Functional Approach. Parallel Algorithms Appl. 9(1-2): 39-65 (1996) - [c23]Herbert Kuchen, Josef Anastasiadis:
Higher Order Babel: Language and Implementation. ELP 1996: 193-207 - [c22]Ansgar Brüll, Herbert Kuchen:
TPascal - A Language for Task Parallel Programming. Euro-Par, Vol. I 1996: 654-659 - [c21]George Horatiu Botorog, Herbert Kuchen:
Efficient Parallel Programming with Algorithmic Skeletons. Euro-Par, Vol. I 1996: 718-731 - [c20]George Horatiu Botorog, Herbert Kuchen:
Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming. HPDC 1996: 243-252 - [c19]George Horatiu Botorog, Herbert Kuchen:
Using Algorithmic Skeletons with Dynamic Data Structures. IRREGULAR 1996: 263-276 - [e1]Herbert Kuchen, S. Doaitse Swierstra:
Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings. Lecture Notes in Computer Science 1140, Springer 1996, ISBN 3-540-61756-6 [contents] - 1995
- [c18]Herbert Kuchen:
A Functional Logic Language Based on Higher Order Narrowing. Functional Programming 1995: 8 - [c17]George Horatiu Botorog, Herbert Kuchen:
Algorithmic Skeletons for Adaptive Multigrid Methods. IRREGULAR 1995: 27-41 - [c16]Herbert Kuchen:
Implementation Issues for Functional Logic Programming (Tutorial Abstract). ILPS 1995: 612-613 - [c15]Herbert Kuchen, Josef Anastasiadis:
Higher Order Babel. ILPS 1995: 633 - 1994
- [c14]Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze:
Efficient Distributed Memory Implementation of a Data Parallel Functional Language. PARLE 1994: 464-477 - [c13]Katia Gladitz, Herbert Kuchen:
Parallel Implementation of the Gamma-Operation on Bags. PASCO 1994: 154-163 - 1993
- [c12]Herbert Kuchen, Katia Gladitz:
Parallel Implementation of Bags. FPCA 1993: 299-307 - [c11]Holger Stoltze, Herbert Kuchen:
Parallel Functional Programming Using Algorithmic Skeletons. PARCO 1993: 647-654 - [c10]Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans:
Efficient Lazy Narrowing using Demandedness Analysis. PLILP 1993: 167-183 - 1992
- [c9]Herbert Kuchen, Holger Stoltze, Friedrich Lücking:
Candela - A Topology Description Language. CONPAR 1992: 777-778 - [c8]Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
Implementing a Lazy Functional Logic Language with Disequality Constraints. JICSLP 1992: 207-221 - [c7]Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo:
Independent AND-Parallel Implementation of Narrowing. PLILP 1992: 24-38 - [c6]Herbert Kuchen, Holger Stoltze, Friedrich Lücking:
CANDELA - Eine Sprache zur Beschreibung von Topologien. Transputer-Anwender-Treffen 1992: 41-50 - 1990
- [c5]Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo:
Lazy Narrowing in a Graph Machine. ALP 1990: 298-317 - [c4]Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
Graph-based Implementation of a Functional Logic Langugage. ESOP 1990: 271-290 - [c3]Herbert Kuchen, Andreas Wagener:
Lastverteilungsstrategien auf Multicomputern. Transputer-Anwender-Treffen 1990: 1-8
1980 – 1989
- 1989
- [b1]Herbert Kuchen:
Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berücksichtigung applikativer Datenstrukturen. RWTH Aachen University, Germany, 1989, pp. 1-252 - [c2]Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm:
Distributed Implementation of Programmed Graph Reduction. PARLE (1) 1989: 136-157 - [c1]Herbert Kuchen, Rita Loogen:
Parallele Implementierung einer funktionalen Programmiersprache auf einem Transputer-Mehrprozessor-System. Transputer-Anwender-Treffen 1989: 21-33 - 1987
- [j1]Jörg Noack, Herbert Kuchen:
MEMOPASCAL: Einbettung einer Datenbankanfragesprache in eine höhere Programmiersprache. Angew. Inform. 29(4): 149-156 (1987)
Coauthor Index
aka: Fernando Buarque de Lima Neto
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-31 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint