Concepedia

Frank Huch

FH

Statistics

Publications

11

Citations

370

H-Index

10

Active since

1999

Affiliations

Christian-Albrechts-Universität zu Kiel(Current)

RWTH Aachen University

Universitat Politècnica de València

Universidad Complutense de Madrid

Frank Huch is an author at Christian-Albrechts-Universität zu Kiel specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProgram AnalysisFormal VerificationSoftware AnalysisSoftware EngineeringVerificationSoftware Design

Publications per year

1999–2010

11

Publications

11

Operational semantics for declarative multi-paradigm languages

Elvira Albert, Michael Hanus, Frank Huch et al. · Journal of Symbolic Computation · 2005 · 94 citations

Formal Semantics, Syntax, Engineering +8

Verification of Erlang programs using abstract interpretation and model checking

Frank Huch · 1999 · 53 citations

Program Checking, Engineering, Verification +17

Encapsulating Non-Determinism in Functional Logic Computations.

Bernd Braßel, Michael Hanus, Frank Huch · 2004 · 44 citations

Runtime Verification of Concurrent Haskell Programs

Volker Stolz, Frank Huch · Electronic Notes in Theoretical Computer Science · 2005 · 43 citations · Full text

Program Checking, Engineering, Verification +17

A play on regular expressions

Sebastian Fischer, Frank Huch, Thomas Wilke · 2010 · 34 citations

Engineering, Automata Theory, Elegant Haskell Program +16

1–5 of 11