dblp.uni-trier.dewww.uni-trier.de

Sergio Antoy Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
47EESergio Antoy, Michael Hanus: Set functions for functional logic programming. PPDP 2009: 73-82
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
45EESergio Antoy, Bernd Braßel: Computing with subspaces. PPDP 2007: 121-130
44EESergio Antoy: Preface. Electr. Notes Theor. Comput. Sci. 174(10): 1-2 (2007)
43EESergio 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
42EESergio Antoy, Michael Hanus: Overlapping Rules and Logic Variables in Functional Logic Programs . ICLP 2006: 87-101
41EESergio 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
39EESergio Antoy, Michael Hanus: Declarative Programming with Function Patterns. LOPSTR 2005: 6-22
38EESergio Antoy, Yoshihito Toyama: Preface. Electr. Notes Theor. Comput. Sci. 124(2): 1-2 (2005)
37EESergio Antoy: Evaluation strategies for functional logic programming. J. Symb. Comput. 40(1): 875-903 (2005)
2004
36EEAndrew P. Tolmach, Sergio Antoy, Marius Nita: Implementing functional logic languages using multiple threads and stores. ICFP 2004: 90-102
35EESergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach: A Virtual Machine for Functional Logic Computations. IFL 2004: 108-125
34EESergio Antoy, Stephen Johnson: Formalization and abstract implementation of rewriting with nested rules. PPDP 2004: 144-154
33EESergio Antoy, Michael Hanus: Concurrent distinct choices. J. Funct. Program. 14(6): 657-668 (2004)
2003
32EESergio Antoy, Bernd Brassel, Michael Hanus: Conditional narrowing without conditions. PPDP 2003: 20-31
31EEAndrew P. Tolmach, Sergio Antoy: A monadic semantics for core Curry. Electr. Notes Theor. Comput. Sci. 86(3): (2003)
2002
30EESergio Antoy, Michael Hanus: Functional Logic Design Patterns. FLOPS 2002: 67-87
29EESergio Antoy, Pascual Julián Iranzo, Bart Massey: Improving the Efficiency of Non-Deterministic Computations. Electr. Notes Theor. Comput. Sci. 64: (2002)
28EESergio 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
25EESergio 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
23EEElvira Albert, Sergio Antoy, Germán Vidal: Measuring the Effectiveness of Partial Evaluation. LOPSTR 2000
22EEElvira 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
20EESergio Antoy, Richard G. Hamlet: Automatically Checking an Implementation against Its Formal Specification. IEEE Trans. Software Eng. 26(1): 55-69 (2000)
19EESergio 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
17EESergio 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
15EESergio Antoy, Zena M. Ariola: Narrowing the Narrowing Space. PLILP 1997: 1-15
1996
14EESergio Antoy: Needed Narrowing in Prolog (Extended Abstract). PLILP 1996: 473-474
13EESergio Antoy, Aart Middeldorp: A Sequential Reduction Strategy. Theor. Comput. Sci. 165(1): 75-95 (1996)
1994
12EESergio 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
10EESergio Antoy, John D. Gannon: Using Term Rewriting to Verify Software. IEEE Trans. Software Eng. 20(4): 259-274 (1994)
1992
9EESergio Antoy: Definitional Trees. ALP 1992: 143-157
8 Sergio Antoy: Normalization by Leftmost Innermost Rewriting. CTRS 1992: 448-457
7EESergio 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
4EESergio 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
1EEPen-Shu Yeh, Sergio Antoy, Anne Litcher, Azriel Rosenfeld: Address location on envelopes. Pattern Recognition 20(2): 213-227 (1987)

Coauthor Index

1Elvira Albert [21] [22] [23] [46]
2Zena M. Ariola [15]
3Bernd Brassel (Bernd Braßel) [32] [45]
4Daniel W. Brown [41] [43]
5Su-Hui Chiang [41] [43]
6Rachid Echahed [11] [16] [19]
7Paola Forcheri [2] [7]
8John D. Gannon [10]
9Richard G. Hamlet [6] [20]
10Michael Hanus [11] [16] [19] [24] [26] [30] [32] [33] [35] [39] [40] [42] [47]
11Pascual Julián Iranzo [29]
12Stephen Johnson [34]
13Anne Litcher [1]
14Jimeng Liu [35]
15Salvador Lucas [28]
16Barton C. Massey (Bart Massey) [26] [29]
17Aart Middeldorp [12] [13]
18Maria Teresa Molfino [2] [7]
19Marius Nita [36]
20Azriel Rosenfeld [1]
21Carlo Schenone [7]
22Frank Steiner [26]
23Virginia Tech [2]
24Andrew P. Tolmach [18] [31] [35] [36]
25Yoshihito Toyama [38]
26Germán Vidal [21] [22] [23]
27Pen-Shu Yeh [1]
28Marvin V. Zelkowitz [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)