| A needed narrowing strategy S Antoy, R Echahed, M Hanus Journal of the ACM (JACM) 47 (4), 776-822, 2000 | 530 | 2000 |
| Definitional trees S Antoy International Conference on Algebraic and Logic Programming, 143-157, 1992 | 279 | 1992 |
| Functional logic programming S Antoy, M Hanus Communications of the ACM 53 (4), 74-85, 2010 | 172 | 2010 |
| Automatically checking an implementation against its formal specification S Antoy, D Hamlet IEEE Transactions on Software engineering 26 (1), 55-69, 2000 | 161 | 2000 |
| Optimal non-deterministic functional logic computations S Antoy International Conference on Algebraic and Logic Programming, 16-30, 1997 | 121 | 1997 |
| Overlapping rules and logic variables in functional logic programs S Antoy, M Hanus International Conference on Logic Programming, 87-101, 2006 | 110 | 2006 |
| Constructor-based conditional narrowing S Antoy Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001 | 105 | 2001 |
| Compiling multi-paradigm declarative programs into Prolog S Antoy, M Hanus International Workshop on Frontiers of Combining Systems, 171-185, 2000 | 97 | 2000 |
| Pakcs: The portland aachen kiel curry system M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ... | 95 | 2003 |
| Curry: An integrated functional logic language (version 0.8. 2) M Hanus, S Antoy, H Kuchen, F López-Fraguas, W Lux, JM Navarro, ... | 92 | 2006 |
| Functional logic design patterns S Antoy, M Hanus International Symposium on Functional and Logic Programming, 67-87, 2002 | 84 | 2002 |
| Declarative programming with function patterns S Antoy, M Hanus International Symposium on Logic-Based Program Synthesis and Transformation …, 2005 | 72 | 2005 |
| Parallel Evaluation Strategies for Functional Logic Languages. S Antoy, R Echahed, M Hanus ICLP, 138-152, 1997 | 69 | 1997 |
| Set functions for functional logic programming S Antoy, M Hanus Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009 | 63 | 2009 |
| Evaluation strategies for functional logic programming S Antoy Journal of Symbolic Computation 40 (1), 875-903, 2005 | 58 | 2005 |
| A sequential reduction strategy S Antoy, A Middeldorp Theoretical Computer Science 165 (1), 75-95, 1996 | 58 | 1996 |
| Typed higher-order narrowing without higher-order strategies S Antoy, A Tolmach International Symposium on Functional and Logic Programming, 335-352, 1999 | 38 | 1999 |
| A virtual machine for functional logic computations S Antoy, M Hanus, J Liu, A Tolmach Implementation and Application of Functional Languages: 16th International …, 2005 | 36 | 2005 |
| PAKCS: The Portland Aachen Kiel Curry System (2010) M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ... | 32 | 2003 |
| PAKCS 1.2: The Portland Aachen Kiel Curry System User Manual M Hanus, S Antoy, J Koj, R Sadre, F Steiner Technical report, University of Kiel, Germany, 2000 | 32 | 2000 |
