The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sergio Antoy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  45. Set functions for functional logic programming. [Citation Graph (, )][DBLP]


  46. Functional logic programming. [Citation Graph (, )][DBLP]


Search in 0.361secs, Finished in 0.363secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002