Towards GKS Binding to PASCAL. - Sergio Antoy; Giuliana Dettori (Eurographics, 1983)

Is Pascal suitable for GKS? - Sergio Antoy; Giuliana Dettori (ACM SIGPLAN Notices, 1983)

A recursive algorithm for quick and efficient bit reversing. - Sergio Antoy (Pattern Recognit. Lett., 1984)

Modeling and Isomorphisms of Positional Board Games. - Sergio Antoy (IEEE Trans. Pattern Anal. Mach. Intell., 1987)

Address location on envelopes. - Pen-Shu Yeh; Sergio Antoy; Anne Litcher; Azriel Rosenfeld (Pattern Recognit., 1987)

Systematic design of algebraic specifications. - Sergio Antoy (IWSSD, 1989)

Design Strategies for Rewrite Rules. - Sergio Antoy (CTRS, 1990)

Rapid Protoryping of System Enhancements. - Sergio Antoy; Paola Forcheri; Maria Teresa Molfino; Marvin V. Zelkowitz (ICSI, 1990)

Non-Determinism and Lazy Evaluation in Logic Programming. - Sergio Antoy (LOPSTR, 1991)

Lazy Evaluation in Logic. - Sergio Antoy (PLILP, 1991)

Definitional Trees. - Sergio Antoy (ALP, 1992)

Normalization by Leftmost Innermost Rewriting. - Sergio Antoy (CTRS, 1992)

A Uniform Approach to Deduction and Automatic Implementation. - Sergio Antoy; Paola Forcheri; Maria Teresa Molfino; Carlo Schenone (DISCO, 1992)

Self-Checking against Formal Specifications. - Sergio Antoy; Richard G. Hamlet (ICCI, 1992)

Using Term Rewriting to Verify Software. - Sergio Antoy; John D. Gannon (IEEE Trans. Software Eng., 1994)

Needed Narrowing in Prolog (Extended Abstract). - Sergio Antoy (PLILP, 1996)

A Sequential Reduction Strategy. - Sergio Antoy; Aart Middeldorp (Theor. Comput. Sci., 1996)

Optimal Non-deterministic Functional Logic Computations. - Sergio Antoy (ALP/HOA, 1997)

Parallel Evaluation Strategies for Functional Logic Languages. - Sergio Antoy; Rachid Echahed; Michael Hanus (ICLP, 1997)

Narrowing the Narrowing Space. - Sergio Antoy; Zena M. Ariola (PLILP, 1997)

Typed Higher-Order Narrowing without Higher-Order Strategies. - Sergio Antoy; Andrew P. Tolmach (Fuji International Symposium on Functional and Logic Programming, 1999)

Compiling Multi-Paradigm Declarative Programs into Prolog. - Sergio Antoy; Michael Hanus (FroCoS, 2000)

Measuring the Effectiveness of Partial Evaluation. - Elvira Albert; Sergio Antoy; Germán Vidal (LOPSTR, 2000)

Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. - Elvira Albert; Sergio Antoy; Germán Vidal (LOPSTR (LNCS 2042: Selected Papers), 2000)

A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. - Elvira Albert; Sergio Antoy; Germán Vidal (WFLP, 2000)

A needed narrowing strategy. - Sergio Antoy; Rachid Echahed; Michael Hanus (J. ACM, 2000)

Automatically Checking an Implementation against Its Formal Specification. - Sergio Antoy; Richard G. Hamlet (IEEE Trans. Software Eng., 2000)

Constructor-Based Conditional Narrowing. - Sergio Antoy (PPDP, 2001)

An Implementation of Narrowing Strategies. - Sergio Antoy; Michael Hanus; Bart Massey; Frank Steiner (PPDP, 2001)

Improving the Efficiency of Non-Deterministic Computations. - Sergio Antoy; Pascual Julián Iranzo; Bart Massey (WFLP, 2001)

Evaluation Strategies for Functional Logic Programming. - Sergio Antoy (WRS, 2001)

Functional Logic Design Patterns. - Sergio Antoy; Michael Hanus (FLOPS, 2002)

Demandness in Rewriting and Narrowing. - Sergio Antoy; Salvador Lucas (WFLP, 2002)

Conditional narrowing without conditions. - Sergio Antoy; Bernd Brassel; Michael Hanus (PPDP, 2003)

A monadic semantics for core Curry. - Andrew P. Tolmach; Sergio Antoy (WFLP, 2003)

Implementing functional logic languages using multiple threads and stores. - Andrew P. Tolmach; Sergio Antoy; Marius Nita (ICFP, 2004)

A Virtual Machine for Functional Logic Computations. - Sergio Antoy; Michael Hanus; Jimeng Liu; Andrew P. Tolmach (IFL, 2004)

Formalization and abstract implementation of rewriting with nested rules. - Sergio Antoy; Stephen Johnson (PPDP, 2004)

Preface. - Sergio Antoy; Yoshihito Toyama (WRS, 2004)

Concurrent distinct choices. - Sergio Antoy; Michael Hanus (J. Funct. Program., 2004)

Declarative Programming with Function Patterns. - Sergio Antoy; Michael Hanus (LOPSTR, 2005)

Overlapping Rules and Logic Variables in Functional Logic Programs . - Sergio Antoy; Michael Hanus (ICLP, 2006)

On the Correctness of Bubbling. - Sergio Antoy; Daniel W. Brown; Su-Hui Chiang (RTA, 2006)

Preface. - Sergio Antoy (WRS@FLoC, 2006)

Lazy Context Cloning for Non-Deterministic Graph Rewriting. - Sergio Antoy; Daniel W. Brown; Su-Hui Chiang (TERMGRAPH@ETAPS, 2006)

Computing with subspaces. - Sergio Antoy; Bernd Braßel (PPDP, 2007)

Set functions for functional logic programming. - Sergio Antoy; Michael Hanus (PPDP, 2009)

Functional logic programming. - Sergio Antoy; Michael Hanus (Commun. ACM, 2010)

Programming with narrowing: A tutorial. - Sergio Antoy (J. Symb. Comput., 2010)

New Functional Logic Design Patterns. - Sergio Antoy; Michael Hanus (WFLP, 2011)

On the correctness of pull-tabbing. - Sergio Antoy (Theory Pract. Log. Program., 2011)

Compiling a Functional Logic Language: The Basic Scheme. - Sergio Antoy; Arthur Michener Peters (FLOPS, 2012)

Contracts and Specifications for Functional Logic Programming. - Sergio Antoy; Michael Hanus (PADL, 2012)

Compiling a Functional Logic Language: The Fair Scheme. - Sergio Antoy; Andy Jost (LOPSTR, 2013)

Are needed redexes really needed? - Sergio Antoy; Andy Jost (PPDP, 2013)

Curry without Success. - Sergio Antoy; Michael Hanus (WLP/WFLP, 2014)

Needed Computations Shortcutting Needed Steps. - Sergio Antoy; Jacob Johannsen; Steven Libby (TERMGRAPH, 2014)

From Boolean Equalities to Constraints. - Sergio Antoy; Michael Hanus (LOPSTR, 2015)

Compiling Collapsing Rules in Certain Constructor Systems. - Sergio Antoy; Andy Jost (LOPSTR, 2015)

A New Functional-Logic Compiler for Curry: Sprite. - Sergio Antoy; Andy Jost (LOPSTR, 2016)

Eliminating Irrelevant Non-determinism in Functional Logic Programs. - Sergio Antoy; Michael Hanus (PADL, 2017)

Proving Non-Deterministic Computations in Agda. - Sergio Antoy; Michael Hanus; Steven Libby (WLP / WFLP, 2017)

Transforming Boolean equalities into constraints. - Sergio Antoy; Michael Hanus (Formal Aspects Comput., 2017)

Default rules for Curry. - Sergio Antoy; Michael Hanus (Theory Pract. Log. Program., 2017)

Equivalence Checking of Non-deterministic Operations. - Sergio Antoy; Michael Hanus (FLOPS, 2018)

Synthesizing Set Functions. - Sergio Antoy; Michael Hanus; Finn Teegen (WFLP, 2018)

Making Bubbling Practical. - Sergio Antoy; Steven Libby (CoRR, 2018)

ICurry. - Sergio Antoy; Michael Hanus; Andy Jost; Steven Libby (DECLARE, 2019)