Concepedia
Statistics
Publications
11
Citations
372
H-Index
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 computer science, computing, and programming languages.
Publications per year
1999–2010
Operational semantics for declarative multi-paradigm languages
Elvira Albert, Michael Hanus, Frank Huch et al. · Journal of Symbolic Computation · 2005 · 94 citations
Computing, Computer Science, Natural Language Processing +12
Verification of Erlang programs using abstract interpretation and model checking
Frank Huch · 1999 · 54 citations · Full text
Computing, Computer Science, Formal Methods +15
Encapsulating Non-Determinism in Functional Logic Computations.
Bernd Braßel, Michael Hanus, Frank Huch · 2004 · 44 citations
Computing, Computer Science, Formal Methods +10
Runtime Verification of Concurrent Haskell Programs
Volker Stolz, Frank Huch · Electronic Notes in Theoretical Computer Science · 2005 · 43 citations · Full text
Computing, Computer Engineering, Computer Science +17
A play on regular expressions
Sebastian Fischer, Frank Huch, Thomas Wilke · 2010 · 34 citations
Computing, Computer Science, Algorithms +13
1–5 of 11