| 2025 | LOPSTR | CurryInfo: Managing Analysis and Verification Information about Curry Packages. | Michael Hanus |
| 2025 | PPDP | Determinism Types for Functional Logic Programming. | Michael Hanus, Kai-Oliver Prott |
| 2024 | APLAS | Hybrid Verification of Declarative Programs with Arithmetic Non-fail Conditions. | Michael Hanus |
| 2024 | FLOPS | Inferring Non-failure Conditions for Declarative Programs. | Michael Hanus |
| 2024 | LOPSTR | Improving Logic Programs by Adding Functions. | Michael Hanus |
| 2022 | PPDP | A Monadic Implementation of Functional Logic Programs. | Michael Hanus, Kai-Oliver Prott, Finn Teegen |
| 2021 | PADL | Lightweight Declarative Server-Side Web Programming. | Michael Hanus |
| 2021 | PPDP | From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. | Jonas Bhm, Michael Hanus, Finn Teegen |
| 2019 | PADL | Improving Residuation in Declarative Programs. | Michael Hanus |
| 2018 | FLOPS | Equivalence Checking of Non-deterministic Operations. | Sergio Antoy, Michael Hanus |
| 2018 | PPDP | Verifying Fail-Free Declarative Programs. | Michael Hanus |
| 2017 | ICLP | Semantic Versioning Checking in a Declarative Package Manager. | Michael Hanus |
| 2017 | LOPSTR | Combining Static and Dynamic Contract Checking for Curry. | Michael Hanus |
| 2017 | PADL | Eliminating Irrelevant Non-determinism in Functional Logic Programs. | Sergio Antoy, Michael Hanus |
| 2016 | LOPSTR | CurryCheck: Checking Properties of Curry Programs. | Michael Hanus |
| 2016 | PADL | Default Rules for Curry. | Sergio Antoy, Michael Hanus |
| 2015 | LOPSTR | From Boolean Equalities to Constraints. | Sergio Antoy, Michael Hanus |
| 2015 | PADL | CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry. | Michael Hanus |
| 2014 | PEPM | A modular and generic analysis server system for functional logic programs. | Michael Hanus, Fabian Skrlac |
| 2013 | PADL | Implementing Equational Constraints in a Functional Language. | Bernd Brael, Michael Hanus, Bjrn Peemller, Fabian Reck |
| 2013 | PPDP | A semantics for weakly encapsulated search in functional logic programs. | Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel |
| 2012 | GPCE | Xbase: implementing domain-specific languages for Java. | Sven Efftinge, Moritz Eysholdt, Jan Khnlein, Sebastian Zarnekow, Robert von Massow, Wilhelm Hasselbring, Michael Hanus |
| 2012 | ICLP | Improving Lazy Non-Deterministic Computations by Demand Analysis. | Michael Hanus |
| 2012 | PADL | Contracts and Specifications for Functional Logic Programming. | Sergio Antoy, Michael Hanus |
| 2011 | ICLP | Declarative Processing of Semistructured Web Data. | Michael Hanus |
| 2010 | PADL | An ER-Based Framework for Declarative Web Programming. | Michael Hanus, Sven Koschnicke |
| 2009 | GI | Arbeitstagung Programmiersprachen (ATPS 2009) - Vorwort. | Walter Dosch, Michael Hanus |
| 2009 | PADL | Declarative Programming of User Interfaces. | Michael Hanus, Christof Klu |
| 2009 | PPDP | Set functions for functional logic programming. | Sergio Antoy, Michael Hanus |
| 2008 | PADL | High-Level Database Programming in Curry. | Bernd Brael, Michael Hanus, Marion Mller |
| 2008 | PPDP | Call pattern analysis for functional logic programs. | Michael Hanus |
| 2007 | ICFP | Lazy call-by-value evaluation. | Bernd Brael, Michael Hanus, Sebastian Fischer, Frank Huch, Germn Vidal |
| 2007 | ICLP | Multi-paradigm Declarative Languages. | Michael Hanus |
| 2007 | PPDP | Putting declarative programming into the web: translating curry to javascript. | Michael Hanus |
| 2006 | ICLP | Overlapping Rules and Logic Variables in Functional Logic Programs . | Sergio Antoy, Michael Hanus |
| 2006 | PPDP | Type-oriented construction of web user interfaces. | Michael Hanus |
| 2005 | ICLP | Nondeterminism Analysis of Functional Logic Programs. | Bernd Brael, Michael Hanus |
| 2005 | LOPSTR | Declarative Programming with Function Patterns. | Sergio Antoy, Michael Hanus |
| 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 |
| 2003 | PPDP | Conditional narrowing without conditions. | Sergio Antoy, Bernd Brassel, Michael Hanus |
| 2002 | FLOPS | Functional Logic Design Patterns. | Sergio Antoy, Michael Hanus |
| 2001 | FLOPS | A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. | Elvira Albert, Michael Hanus, Germn Vidal |
| 2001 | PADL | High-Level Server Side Web Scripting in Curry. | Michael Hanus |
| 2001 | PPDP | An Implementation of Narrowing Strategies. | Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner |
| 2000 | LPAR | Using an Abstract Representation to Specialize Functional Logic Programs. | Elvira Albert, Michael Hanus, Germn Vidal |
| 2000 | PADL | A Functional Logic Programming Approach to Graphical User Interfaces. | Michael Hanus |
| 2000 | PPDP | Type-based nondeterminism checking in functional logic programs. | Michael Hanus, Frank Steiner |
| 1999 | FLOPS | A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages. | Michael Hanus, Salvador Lucas |
| 1999 | ICFP | Specialization of Inductively Sequential Functional Logic Programs. | Mara Alpuente, Michael Hanus, Salvador Lucas, Germn Vidal |
| 1999 | LPAR | A Partial Evaluation Framework for Curry Programs. | Elvira Albert, Mara Alpuente, Michael Hanus, Germn Vidal |
| 1999 | PPDP | Distributed Programming in a Multi-Paradigm Declarative Language. | Michael Hanus |
| 1998 | ICLP | Controlling Search in Funtional Logic Programs. | Michael Hanus, Frank Steiner |
| 1997 | ICLP | Parallel Evaluation Strategies for Functional Logic Languages. | Sergio Antoy, Rachid Echahed, Michael Hanus |
| 1997 | POPL | A Unified Computation Model for Functional and Logic Programming. | Michael Hanus |
| 1995 | ICLP | On Extra Variables in (Equational) Logic Programming. | Michael Hanus |
| 1995 | LOPSTR | Efficient Translation of Lazy Functional Logic Programs into Prolog. | Michael Hanus |
| 1994 | CC | Towards the Global Optimization of Functional Logic Programs. | Michael Hanus |
| 1994 | ESOP | Lazy Unification with Simplification. | Michael Hanus |
| 1994 | POPL | A Needed Narrowing Strategy. | Sergio Antoy, Rachid Echahed, Michael Hanus |
| 1994 | SAS | Mode Analysis of Functional Logic Programs | Michael Hanus, Frank Zartmann |
| 1993 | ICLP | Analysis of Nonlinear Constraints in CLP(R). | Michael Hanus |
| 1992 | ICLP | On the Completeness of Residuation. | Michael Hanus |
| 1992 | SAS | An Abstract Interpretation Algorithm for Residuating Logic Programs. | Michael Hanus |
| 1989 | ICLP | Polymorphic High-Order Programming in Prolog. | Michael Hanus |