Sergio Antoy

Publication Activity (10 Years)

Years Active: 1983-2019
Publications (10 Years): 15

Top Topics

Commonsense Reasoning

Boolean Constraints

Computational Properties

Top Venues

Publications

Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
ICurry. DECLARE (2019)
Sergio Antoy, Michael Hanus
Equivalence Checking of Non-deterministic Operations. CoRR (2019)
Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
ICurry. CoRR (2019)
Sergio Antoy, Michael Hanus
Equivalence Checking of Non-deterministic Operations. FLOPS (2018)
Sergio Antoy, Michael Hanus, Finn Teegen
Synthesizing Set Functions. WFLP (2018)
Sergio Antoy, Michael Hanus, Finn Teegen
Synthesizing Set Functions. CoRR (2018)
Sergio Antoy, Steven Libby
Making Bubbling Practical. CoRR (2018)
Sergio Antoy, Michael Hanus, Steven Libby
Proving Non-Deterministic Computations in Agda. WLP / WFLP (2017)
Sergio Antoy, Michael Hanus
Eliminating Irrelevant Non-determinism in Functional Logic Programs. PADL (2017)
Sergio Antoy, Michael Hanus
Transforming Boolean equalities into constraints. Formal Aspects Comput. 29 (3) (2017)
Sergio Antoy, Michael Hanus
Default rules for Curry. Theory Pract. Log. Program. 17 (2) (2017)
Sergio Antoy, Michael Hanus
Default Rules for Curry. CoRR (2016)
Sergio Antoy, Michael Hanus
Default Rules for Curry. PADL (2016)
Sergio Antoy, Andy Jost
A New Functional-Logic Compiler for Curry: Sprite. LOPSTR (2016)
Sergio Antoy, Andy Jost
A New Functional-Logic Compiler for Curry: Sprite. CoRR (2016)
Sergio Antoy, Andy Jost
Compiling Collapsing Rules in Certain Constructor Systems. LOPSTR (2015)
Sergio Antoy, Michael Hanus
From Boolean Equalities to Constraints. LOPSTR (2015)
Sergio Antoy, Jacob Johannsen, Steven Libby
Needed Computations Shortcutting Needed Steps. TERMGRAPH (2014)
Sergio Antoy, Michael Hanus
Curry without Success. WLP/WFLP (2014)
Sergio Antoy, Andy Jost
redexes really needed? PPDP (2013)
Sergio Antoy, Andy Jost
Compiling a Functional Logic Language: The Fair Scheme. LOPSTR (2013)
Sergio Antoy, Arthur Michener Peters
Compiling a Functional Logic Language: The Basic Scheme. FLOPS (2012)
Sergio Antoy, Michael Hanus
Contracts and Specifications for Functional Logic Programming. PADL (2012)
Sergio Antoy, Michael Hanus
New Functional Logic Design Patterns. WFLP (2011)
Sergio Antoy
On the Correctness of Pull-Tabbing CoRR (2011)
Sergio Antoy
On the correctness of pull-tabbing. Theory Pract. Log. Program. 11 (4-5) (2011)
Sergio Antoy
Programming with narrowing: A tutorial. J. Symb. Comput. 45 (5) (2010)
Sergio Antoy, Michael Hanus
Functional logic programming. Commun. ACM 53 (4) (2010)
Sergio Antoy, Michael Hanus
Set functions for functional logic programming. PPDP (2009)
Sergio Antoy, Bernd Braßel
Computing with subspaces. PPDP (2007)
Sergio Antoy
Preface. Electron. Notes Theor. Comput. Sci. 174 (10) (2007)
Sergio Antoy, Daniel W. Brown, Su-Hui Chiang
Lazy Context Cloning for Non-Deterministic Graph Rewriting. Electron. Notes Theor. Comput. Sci. 176 (1) (2007)
Sergio Antoy, Daniel W. Brown, Su-Hui Chiang
On the Correctness of Bubbling. RTA (2006)
Sergio Antoy, Michael Hanus
Overlapping Rules and Logic Variables in Functional Logic Programs . ICLP (2006)
Sergio Antoy
Evaluation strategies for functional logic programming. J. Symb. Comput. 40 (1) (2005)
Sergio Antoy, Yoshihito Toyama
Preface. Electron. Notes Theor. Comput. Sci. 124 (2) (2005)
Sergio Antoy, Michael Hanus
Declarative Programming with Function Patterns. LOPSTR (2005)
Sergio Antoy, Stephen Johnson
Formalization and abstract implementation of rewriting with nested rules. PPDP (2004)
Sergio Antoy, Michael Hanus
Concurrent distinct choices. J. Funct. Program. 14 (6) (2004)
Andrew P. Tolmach, Sergio Antoy, Marius Nita
Implementing functional logic languages using multiple threads and stores. ICFP (2004)
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach
A Virtual Machine for Functional Logic Computations. IFL (2004)
Sergio Antoy, Bernd Brassel, Michael Hanus
Conditional narrowing without conditions. PPDP (2003)
Andrew P. Tolmach, Sergio Antoy
A monadic semantics for core Curry. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)
Sergio Antoy, Pascual Julián Iranzo, Bart Massey
Improving the Efficiency of Non-Deterministic Computations. Electron. Notes Theor. Comput. Sci. 64 (2002)
Sergio Antoy, Michael Hanus
Functional Logic Design Patterns. FLOPS (2002)
Sergio Antoy, Salvador Lucas
Demandness in Rewriting and Narrowing. Electron. Notes Theor. Comput. Sci. 76 (2002)
Sergio Antoy
Evaluation Strategies for Functional Logic Programming. Electron. Notes Theor. Comput. Sci. 57 (2001)
Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
An Implementation of Narrowing Strategies. PPDP (2001)
Sergio Antoy
Constructor-Based Conditional Narrowing. PPDP (2001)
Sergio Antoy, Michael Hanus
Compiling Multi-Paradigm Declarative Programs into Prolog. FroCoS (2000)
Elvira Albert, Sergio Antoy, Germán Vidal
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR (LNCS 2042: Selected Papers) (2000)
Sergio Antoy, Rachid Echahed, Michael Hanus
A needed narrowing strategy. J. ACM 47 (4) (2000)
Elvira Albert, Sergio Antoy, Germán Vidal
Measuring the Effectiveness of Partial Evaluation. LOPSTR (2000)
Sergio Antoy, Richard G. Hamlet
Automatically Checking an Implementation against Its Formal Specification. IEEE Trans. Software Eng. 26 (1) (2000)
Elvira Albert, Sergio Antoy, Germán Vidal
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. WFLP (2000)
Sergio Antoy, Andrew P. Tolmach
Typed Higher-Order Narrowing without Higher-Order Strategies. Fuji International Symposium on Functional and Logic Programming (1999)
Sergio Antoy, Zena M. Ariola
Narrowing the Narrowing Space. PLILP (1997)
Sergio Antoy, Rachid Echahed, Michael Hanus
Parallel Evaluation Strategies for Functional Logic Languages. ICLP (1997)
Sergio Antoy
Optimal Non-deterministic Functional Logic Computations. ALP/HOA (1997)
Sergio Antoy
Needed Narrowing in Prolog (Extended Abstract). PLILP (1996)
Sergio Antoy, Aart Middeldorp
A Sequential Reduction Strategy. Theor. Comput. Sci. 165 (1) (1996)
Sergio Antoy, Rachid Echahed, Michael Hanus
A Needed Narrowing Strategy. POPL (1994)
Sergio Antoy, John D. Gannon
Using Term Rewriting to Verify Software. IEEE Trans. Software Eng. 20 (4) (1994)
Sergio Antoy, Aart Middeldorp
A Sequential Reduction Strategy. ALP (1994)
Sergio Antoy, Richard G. Hamlet
Self-Checking against Formal Specifications. ICCI (1992)
Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone
A Uniform Approach to Deduction and Automatic Implementation. DISCO (1992)
Sergio Antoy
Definitional Trees. ALP (1992)
Sergio Antoy
Normalization by Leftmost Innermost Rewriting. CTRS (1992)
Sergio Antoy
Lazy Evaluation in Logic. PLILP (1991)
Sergio Antoy
Non-Determinism and Lazy Evaluation in Logic Programming. LOPSTR (1991)
Sergio Antoy
Design Strategies for Rewrite Rules. CTRS (1990)
Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Marvin V. Zelkowitz
Rapid Protoryping of System Enhancements. ICSI (1990)
Sergio Antoy
Systematic design of algebraic specifications. IWSSD (1989)
Pen-Shu Yeh, Sergio Antoy, Anne Litcher, Azriel Rosenfeld
Address location on envelopes. Pattern Recognit. 20 (2) (1987)
Sergio Antoy
Modeling and Isomorphisms of Positional Board Games. IEEE Trans. Pattern Anal. Mach. Intell. 9 (5) (1987)
Sergio Antoy
A recursive algorithm for quick and efficient bit reversing. Pattern Recognit. Lett. 2 (4) (1984)
Sergio Antoy, Giuliana Dettori
Towards GKS Binding to PASCAL. Eurographics (1983)
Sergio Antoy, Giuliana Dettori
Is Pascal suitable for GKS? ACM SIGPLAN Notices 18 (5) (1983)