Concepedia

Rolf Hennicker

RH

Statistics

Publications

27

Citations

931

H-Index

18

Active since

1991

Affiliations

Ludwig-Maximilians-Universität München(Current)

Centre National de la Recherche Scientifique

Laboratoire Spécification et Vérification

École Normale Supérieure - PSL

University of Passau

Rolf Hennicker is an author at Ludwig-Maximilians-Universität München specializing in computer science, computing, and formal methods.

Publications per year

1991–2019

27

Publications

27

A UML-based methodology for hypermedia design

Rolf Hennicker, Nora Koch · 2000 · 105 citations

Computing, Computer Science, Information Systems +10

Web-based modelling of energy, water and matter fluxes to support decision making in mesoscale catchments––the integrative perspective of GLOWA-Danube

Ralf Ludwig, Wolfram Mauser, Simon Niemeyer et al. · Physics and Chemistry of the Earth Parts A/B/C · 2003 · 83 citations

Natural Resources, Earth Sciences, Hydrology +17

Behavioural and abstractor specifications

Michel Bidoit, Rolf Hennicker, Martin Wirsing · Science of Computer Programming · 1995 · 80 citations

Computing, Computer Science, Formal Methods +7

The Authoring Process of the UML-based Web Engineering Approach

Nora Koch, Andreas Kraus, Rolf Hennicker · 2001 · 71 citations

Computing, Design, Information Systems +17

Behavioural theories and the proof of behavioural properties

Michel Bidoit, Rolf Hennicker · Theoretical Computer Science · 1996 · 65 citations

Natural Sciences, Mathematics, Set Theory +7

1–5 of 27