| 2008 |
|---|
| 46 | | Sergio Antoy,
Elvira Albert:
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain
ACM 2008 |
| 2007 |
|---|
| 45 | EE | Sergio Antoy,
Bernd Braßel:
Computing with subspaces.
PPDP 2007: 121-130 |
| 44 | EE | Sergio Antoy:
Preface.
Electr. Notes Theor. Comput. Sci. 174(10): 1-2 (2007) |
| 43 | EE | Sergio Antoy,
Daniel W. Brown,
Su-Hui Chiang:
Lazy Context Cloning for Non-Deterministic Graph Rewriting.
Electr. Notes Theor. Comput. Sci. 176(1): 3-23 (2007) |
| 2006 |
|---|
| 42 | EE | Sergio Antoy,
Michael Hanus:
Overlapping Rules and Logic Variables in Functional Logic Programs .
ICLP 2006: 87-101 |
| 41 | EE | Sergio Antoy,
Daniel W. Brown,
Su-Hui Chiang:
On the Correctness of Bubbling.
RTA 2006: 35-49 |
| 2005 |
|---|
| 40 | | Sergio Antoy,
Michael Hanus:
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005
ACM 2005 |
| 39 | EE | Sergio Antoy,
Michael Hanus:
Declarative Programming with Function Patterns.
LOPSTR 2005: 6-22 |
| 38 | EE | Sergio Antoy,
Yoshihito Toyama:
Preface.
Electr. Notes Theor. Comput. Sci. 124(2): 1-2 (2005) |
| 37 | EE | Sergio Antoy:
Evaluation strategies for functional logic programming.
J. Symb. Comput. 40(1): 875-903 (2005) |
| 2004 |
|---|
| 36 | EE | Andrew P. Tolmach,
Sergio Antoy,
Marius Nita:
Implementing functional logic languages using multiple threads and stores.
ICFP 2004: 90-102 |
| 35 | EE | Sergio Antoy,
Michael Hanus,
Jimeng Liu,
Andrew P. Tolmach:
A Virtual Machine for Functional Logic Computations.
IFL 2004: 108-125 |
| 34 | EE | Sergio Antoy,
Stephen Johnson:
Formalization and abstract implementation of rewriting with nested rules.
PPDP 2004: 144-154 |
| 33 | EE | Sergio Antoy,
Michael Hanus:
Concurrent distinct choices.
J. Funct. Program. 14(6): 657-668 (2004) |
| 2003 |
|---|
| 32 | EE | Sergio Antoy,
Bernd Brassel,
Michael Hanus:
Conditional narrowing without conditions.
PPDP 2003: 20-31 |
| 31 | EE | Andrew P. Tolmach,
Sergio Antoy:
A monadic semantics for core Curry.
Electr. Notes Theor. Comput. Sci. 86(3): (2003) |
| 2002 |
|---|
| 30 | EE | Sergio Antoy,
Michael Hanus:
Functional Logic Design Patterns.
FLOPS 2002: 67-87 |
| 29 | EE | Sergio Antoy,
Pascual Julián Iranzo,
Bart Massey:
Improving the Efficiency of Non-Deterministic Computations.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
| 28 | EE | Sergio Antoy,
Salvador Lucas:
Demandness in Rewriting and Narrowing.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 2001 |
|---|
| 27 | | Sergio Antoy:
Constructor-Based Conditional Narrowing.
PPDP 2001: 199-206 |
| 26 | | Sergio Antoy,
Michael Hanus,
Bart Massey,
Frank Steiner:
An Implementation of Narrowing Strategies.
PPDP 2001: 207-217 |
| 25 | EE | Sergio Antoy:
Evaluation Strategies for Functional Logic Programming.
Electr. Notes Theor. Comput. Sci. 57: (2001) |
| 2000 |
|---|
| 24 | | Sergio Antoy,
Michael Hanus:
Compiling Multi-Paradigm Declarative Programs into Prolog.
FroCos 2000: 171-185 |
| 23 | EE | Elvira Albert,
Sergio Antoy,
Germán Vidal:
Measuring the Effectiveness of Partial Evaluation.
LOPSTR 2000 |
| 22 | EE | Elvira Albert,
Sergio Antoy,
Germán Vidal:
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.
LOPSTR (LNCS 2042: Selected Papers) 2000: 103-124 |
| 21 | | Elvira Albert,
Sergio Antoy,
Germán Vidal:
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation.
WFLP 2000: 120-127 |
| 20 | EE | Sergio Antoy,
Richard G. Hamlet:
Automatically Checking an Implementation against Its Formal Specification.
IEEE Trans. Software Eng. 26(1): 55-69 (2000) |
| 19 | EE | Sergio Antoy,
Rachid Echahed,
Michael Hanus:
A needed narrowing strategy.
J. ACM 47(4): 776-822 (2000) |
| 1999 |
|---|
| 18 | | Sergio Antoy,
Andrew P. Tolmach:
Typed Higher-Order Narrowing without Higher-Order Strategies.
Fuji International Symposium on Functional and Logic Programming 1999: 335-353 |
| 1997 |
|---|
| 17 | | Sergio Antoy:
Optimal Non-deterministic Functional Logic Computations.
ALP/HOA 1997: 16-30 |
| 16 | | Sergio Antoy,
Rachid Echahed,
Michael Hanus:
Parallel Evaluation Strategies for Functional Logic Languages.
ICLP 1997: 138-152 |
| 15 | | Sergio Antoy,
Zena M. Ariola:
Narrowing the Narrowing Space.
PLILP 1997: 1-15 |
| 1996 |
|---|
| 14 | | Sergio Antoy:
Needed Narrowing in Prolog (Extended Abstract).
PLILP 1996: 473-474 |
| 13 | EE | Sergio Antoy,
Aart Middeldorp:
A Sequential Reduction Strategy.
Theor. Comput. Sci. 165(1): 75-95 (1996) |
| 1994 |
|---|
| 12 | | Sergio Antoy,
Aart Middeldorp:
A Sequential Reduction Strategy.
ALP 1994: 168-185 |
| 11 | | Sergio Antoy,
Rachid Echahed,
Michael Hanus:
A Needed Narrowing Strategy.
POPL 1994: 268-279 |
| 10 | EE | Sergio Antoy,
John D. Gannon:
Using Term Rewriting to Verify Software.
IEEE Trans. Software Eng. 20(4): 259-274 (1994) |
| 1992 |
|---|
| 9 | | Sergio Antoy:
Definitional Trees.
ALP 1992: 143-157 |
| 8 | | Sergio Antoy:
Normalization by Leftmost Innermost Rewriting.
CTRS 1992: 448-457 |
| 7 | | Sergio Antoy,
Paola Forcheri,
Maria Teresa Molfino,
Carlo Schenone:
A Uniform Approach to Deduction and Automatic Implementation.
DISCO 1992: 132-144 |
| 6 | | Sergio Antoy,
Richard G. Hamlet:
Self-Checking against Formal Specifications.
ICCI 1992: 355-360 |
| 1991 |
|---|
| 5 | | Sergio Antoy:
Non-Determinism and Lazy Evaluation in Logic Programming.
LOPSTR 1991: 318-331 |
| 4 | | Sergio Antoy:
Lazy Evaluation in Logic.
PLILP 1991: 371-382 |
| 1990 |
|---|
| 3 | | Sergio Antoy:
Design Strategies for Rewrite Rules.
CTRS 1990: 333-341 |
| 2 | | Sergio Antoy,
Virginia Tech,
Paola Forcheri,
Maria Teresa Molfino,
Marvin V. Zelkowitz:
Rapid Protoryping of System Enhancements.
ICSI 1990: 330-336 |
| 1987 |
|---|
| 1 | EE | Pen-Shu Yeh,
Sergio Antoy,
Anne Litcher,
Azriel Rosenfeld:
Address location on envelopes.
Pattern Recognition 20(2): 213-227 (1987) |
