| 2010 | ICFP | A play on regular expressions: functional pearl. | Sebastian Fischer, Frank Huch, Thomas Wilke |
| 2007 | APLAS | On a Tighter Integration of Functional and Logic Programming. | Bernd Brael, Frank Huch |
| 2007 | APLAS | Monadic, Prompt Lazy Assertions in Haskell. | Olaf Chitil, Frank Huch |
| 2007 | ICFP | Lazy call-by-value evaluation. | Bernd Brael, Michael Hanus, Sebastian Fischer, Frank Huch, Germn Vidal |
| 2006 | LOPSTR | A Program Transformation for Tracing Functional Logic Computations. | Bernd Brassel, Sebastian Fischer, Frank Huch |
| 2005 | ICFP | From functional to object-oriented programming: a smooth transition for beginners. | Rudolf Berghammer, Frank Huch |
| 2004 | GI | Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation. | Frank Huch |
| 2004 | ICFP | Searching for deadlocks while debugging concurrent haskell programs. | Jan Christiansen, Frank Huch |
| 2004 | LOPSTR | Run-Time Profiling of Functional Logic Programs. | Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germn Vidal |
| 2004 | PADL | Observing Functional Logic Computations. | Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch |
| 2004 | PPDP | A semantics for tracing declarative multi-paradigm programs. | Bernd Brassel, Michael Hanus, Frank Huch, Germn Vidal |
| 2002 | Coordination | Concurrent Semantics for the Web Services Specification Language DAML-S. | Anupriya Ankolekar, Frank Huch, Katia P. Sycara |
| 1999 | ICFP | Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. | Frank Huch |