| 2018 | FLOPS | Equivalence Checking of Non-deterministic Operations. | Sergio Antoy, Michael Hanus |
| 2017 | PADL | Eliminating Irrelevant Non-determinism in Functional Logic Programs. | Sergio Antoy, Michael Hanus |
| 2016 | LOPSTR | A New Functional-Logic Compiler for Curry: Sprite. | Sergio Antoy, Andy Jost |
| 2016 | PADL | Default Rules for Curry. | Sergio Antoy, Michael Hanus |
| 2015 | LOPSTR | From Boolean Equalities to Constraints. | Sergio Antoy, Michael Hanus |
| 2015 | LOPSTR | Compiling Collapsing Rules in Certain Constructor Systems. | Sergio Antoy, Andy Jost |
| 2013 | LOPSTR | Compiling a Functional Logic Language: The Fair Scheme. | Sergio Antoy, Andy Jost |
| 2013 | PPDP | Are | Sergio Antoy, Andy Jost |
| 2012 | FLOPS | Compiling a Functional Logic Language: The Basic Scheme. | Sergio Antoy, Arthur Michener Peters |
| 2012 | PADL | Contracts and Specifications for Functional Logic Programming. | Sergio Antoy, Michael Hanus |
| 2009 | PPDP | Set functions for functional logic programming. | Sergio Antoy, Michael Hanus |
| 2007 | PPDP | Computing with subspaces. | Sergio Antoy, Bernd Brael |
| 2006 | ICLP | Overlapping Rules and Logic Variables in Functional Logic Programs . | Sergio Antoy, Michael Hanus |
| 2005 | LOPSTR | Declarative Programming with Function Patterns. | Sergio Antoy, Michael Hanus |
| 2004 | ICFP | Implementing functional logic languages using multiple threads and stores. | Andrew P. Tolmach, Sergio Antoy, Marius Nita |
| 2004 | PPDP | Formalization and abstract implementation of rewriting with nested rules. | Sergio Antoy, Stephen Johnson |
| 2003 | PPDP | Conditional narrowing without conditions. | Sergio Antoy, Bernd Brassel, Michael Hanus |
| 2002 | FLOPS | Functional Logic Design Patterns. | Sergio Antoy, Michael Hanus |
| 2001 | PPDP | Constructor-Based Conditional Narrowing. | Sergio Antoy |
| 2001 | PPDP | An Implementation of Narrowing Strategies. | Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner |
| 2000 | LOPSTR | Measuring the Effectiveness of Partial Evaluation. | Elvira Albert, Sergio Antoy, Germn Vidal |
| 2000 | LOPSTR | Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. | Elvira Albert, Sergio Antoy, Germn Vidal |
| 1999 | FLOPS | Typed Higher-Order Narrowing without Higher-Order Strategies. | Sergio Antoy, Andrew P. Tolmach |
| 1997 | ICLP | Parallel Evaluation Strategies for Functional Logic Languages. | Sergio Antoy, Rachid Echahed, Michael Hanus |
| 1994 | POPL | A Needed Narrowing Strategy. | Sergio Antoy, Rachid Echahed, Michael Hanus |
| 1992 | ICCI | Self-Checking against Formal Specifications. | Sergio Antoy, Richard G. Hamlet |
| 1991 | LOPSTR | Non-Determinism and Lazy Evaluation in Logic Programming. | Sergio Antoy |