Concepedia

Herbert Kuchen

HK

45

Publications

1.5K

Citations

21

H-Index

1990

Active since

Affiliations

University of Münster(Current)

Universidade de Pernambuco

RWTH Aachen University

Christian-Albrechts-Universität zu Kiel

Universidad Complutense de Madrid

Herbert Kuchen is an author at University of Münster specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceComputer EngineeringSoftware EngineeringComputer ArchitectureProgram AnalysisParallel ComputingParallel ProgrammingSoftware DesignFormal Methods

Publications per year

1990–2023

45

Publications

45

Machine Learning for Chemical Reactivity: The Importance of Failed Experiments

Felix Strieth‐Kalthoff, Frederik Sandfort, Marius Kühnemund et al. · Angewandte Chemie International Edition · 2022 · 205 citations

Curry: An Integrated Functional Logic Language

Michael Hanus, Sergio Antoy, Herbert Kuchen et al. · 2003 · 134 citations

Type τ, Engineering, Automated Reasoning +12

Cross-platform model-driven development of mobile applications with md <sup>2</sup>

Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen · 2013 · 100 citations

Engineering, Mobile Interaction, Business Apps +20

Curry: A Truly Functional Logic Language

Michael Hanus, Herbert Kuchen, JJ Moreno-Navarro · 1995 · 81 citations

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

Steffen Ernsting, Herbert Kuchen · International Journal of High Performance Computing and Networking · 2012 · 75 citations

Cluster Computing, Algorithmic Skeletons, Engineering +19

Rows per page

1–5 of 45