The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

María Alpuente: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
    Polygenetic Partial Evaluation of Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:151-164 [Conf]
  2. María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
    Abstract Correction of OBJ-like Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:422-433 [Conf]
  3. María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
    Call-By Name Partial Evaluation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:17-28 [Conf]
  4. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    Safe Folding/Unfolding with Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:347-358 [Conf]
  5. María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
    Using Narrowing Approximations to Optimize Equational Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:127-142 [Conf]
  6. María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
    A Compositional Semantics for Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:62-76 [Conf]
  7. María Alpuente, Salvador Lucas, Santiago Escobar
    An Incremental Needed Narrowing Calculus for Curry. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:75-88 [Conf]
  8. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    Safe Folding/Unfolding with Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:1-15 [Conf]
  9. María Alpuente, Moreno Falaschi, Germán Vidal
    Compositional Analysis for Equational Horn Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:77-94 [Conf]
  10. María Alpuente, Santiago Escobar, Salvador Lucas
    Removing Redundant Arguments of Functions. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:117-131 [Conf]
  11. María Alpuente, María José Ramírez
    An Equational Constraint Logic Approach to Database Design. [Citation Graph (0, 0)][DBLP]
    DEXA, 1992, pp:26-31 [Conf]
  12. María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
    Correction of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:54-68 [Conf]
  13. María Alpuente, Moreno Falaschi, Germán Vidal
    Narrowing-Driven Partial Evaluation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:45-61 [Conf]
  14. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    A Transformation System for Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:147-162 [Conf]
  15. María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
    A Compositional Semantics for Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ICCL, 1994, pp:171-182 [Conf]
  16. María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
    Specialization of Inductively Sequential Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:273-283 [Conf]
  17. María Alpuente, Demis Ballis, Moreno Falaschi
    Verdi: An Automated Tool for Web Sites Verification. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:726-729 [Conf]
  18. María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas
    Abstract Diagnosis of Functional Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:1-16 [Conf]
  19. Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal
    A Partial Evaluation Framework for Curry Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:376-395 [Conf]
  20. María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas
    Improving On-Demand Strategy Annotations. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:1-18 [Conf]
  21. María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
    Specialization of Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:151-162 [Conf]
  22. María Alpuente, Moreno Falaschi
    Narrowing as an Incremental Constraint Satisfaction Algorithm. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:111-122 [Conf]
  23. María Alpuente, Moreno Falaschi, Ferdinando Manzo
    Analyses of Inconsistency for Incremental Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:443-457 [Conf]
  24. María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
    Narrowing Approximations as an Optimization for Equational Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:391-409 [Conf]
  25. María Alpuente, Moreno Falaschi, Alicia Villanueva
    A Symbolic Model Checker for tccp Programs. [Citation Graph (0, 0)][DBLP]
    RISE, 2004, pp:45-56 [Conf]
  26. Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
    Improving Control in Functional Logic Program Specialization. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:262-277 [Conf]
  27. María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero
    A Semi-Automatic Methodology for Repairing FaultyWeb Sites. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:31-40 [Conf]
  28. María Alpuente, Moreno Falaschi, Germán Vidal
    Incremental Equational Constraint Analyses. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:657- [Conf]
  29. María Alpuente, Santiago Escobar, Salvador Lucas
    UPV-CURRY: An Incremental CURRY Interpreter. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1999, pp:331-339 [Conf]
  30. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    An Automatic Composition Algorithm for Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2000, pp:289-297 [Conf]
  31. María Alpuente, Santiago Escobar, Salvador Lucas
    Redundancy Analyses in Term Rewriting. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:309-323 [Conf]
  32. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    Using PE to Automate Program Composition. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:169-183 [Conf]
  33. María Alpuente, Santiago Escobar, Moreno Falaschi
    Preface. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:- [Conf]
  34. María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal
    Un Sistema de Transformación para Programas Multiparadigma. [Citation Graph (0, 0)][DBLP]
    Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 1999, v:8, n:, pp:27-35 [Journal]
  35. María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
    Specialization of Functional Logic Programs Based on Needed Narrowing [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  36. María Alpuente, Moreno Falaschi, Germán Vidal
    A Unifying View of Functional and Logic Program Specialization. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:9- [Journal]
  37. María Alpuente, Demis Ballis, Moreno Falaschi
    A Rewriting-based Framework for Web Sites Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:41-61 [Journal]
  38. María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
    Abstract correction of first-order functional programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  39. María Alpuente, Francisco J. Correa, Moreno Falaschi
    A Debugging Scheme for Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
  40. María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas
    Redundancy of Arguments Reduced to Induction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  41. María Alpuente, Santiago Escobar, Moreno Falaschi
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:1-2 [Journal]
  42. María Alpuente, Santiago Escobar, Salvador Lucas
    Correct and Complete (Positive) Strategy Annotations for OBJ. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  43. María Alpuente, Santiago Escobar, Salvador Lucas
    OnDemandOBJ: A Laboratory for Strategy Annotations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:2, pp:- [Journal]
  44. María Alpuente, Santiago Escobar, Salvador Lucas
    On-demand Evaluation by Program Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:2, pp:- [Journal]
  45. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
    Abstract Model Checking of tccp programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:19-36 [Journal]
  46. María Alpuente, Moreno Falaschi, Ferdinando Manzo
    Analyses of Unsatisfiability for Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:22, n:3, pp:223-254 [Journal]
  47. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
    Verifying Real-Time Properties of tccp Programs. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1551-1573 [Journal]
  48. María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
    Uniform Lazy Narrowing. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:2, pp:287-312 [Journal]
  49. María Alpuente, Demis Ballis, Moreno Falaschi
    Rule-based verification of Web sites. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:565-585 [Journal]
  50. María Alpuente, Francisco J. Correa, Moreno Falaschi
    Declarative Debugging of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:57, n:, pp:- [Journal]
  51. María Alpuente, Moreno Falaschi, Giorgio Levi
    Incremental Constraint Satisfaction for Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:142, n:1, pp:27-57 [Journal]
  52. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    Rules + strategies for transforming lazy functional logic programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:479-525 [Journal]
  53. María Alpuente, Moreno Falaschi, Germán Vidal
    A Compositional Semantic Basis for the Analysis of Equational Horn Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:165, n:1, pp:133-169 [Journal]
  54. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
    A semantic framework for the abstract model checking of tccp programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:58-95 [Journal]
  55. María Alpuente, Moreno Falaschi, Germán Vidal
    Partial Evaluation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:4, pp:768-844 [Journal]
  56. María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal
    Specialization of functional logic programs based on needed narrowing. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:3, pp:273-303 [Journal]
  57. María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
    A Fast Algebraic Web Verification Service. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:239-248 [Conf]
  58. María Alpuente, Santiago Escobar, Salvador Lucas
    Removing Redundant Arguments Automatically [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  59. María Alpuente, Bernhard Gramlich, Alicia Villanueva
    A Framework for Timed Concurrent Constraint Programming with External Functions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:143-155 [Journal]

  60. Transformation and Debugging of Functional Logic Programs. [Citation Graph (, )][DBLP]


  61. Model-Checking Web Applications with Web-TLR. [Citation Graph (, )][DBLP]


  62. Semantic Verification of Web System Contents. [Citation Graph (, )][DBLP]


  63. Specification and Verification of Web Applications in Rewriting Logic. [Citation Graph (, )][DBLP]


  64. Termination of Narrowing Using Dependency Pairs. [Citation Graph (, )][DBLP]


  65. Automated Verification of Web Sites Using Partial Rewriting. [Citation Graph (, )][DBLP]


  66. A Modular Equational Generalization Algorithm. [Citation Graph (, )][DBLP]


  67. Defining Datalog in Rewriting Logic. [Citation Graph (, )][DBLP]


  68. A fold/unfold transformation framework for rewrite theories extended to CCT. [Citation Graph (, )][DBLP]


  69. Modular Termination of Basic Narrowing. [Citation Graph (, )][DBLP]


  70. An Abstract Generic Framework for Web Site Verification. [Citation Graph (, )][DBLP]


  71. Automatic Certification of Java Source Code in Rewriting Logic. [Citation Graph (, )][DBLP]


  72. Automated Certification of Non-Interference in Rewriting Logic. [Citation Graph (, )][DBLP]


  73. Using Datalog and Boolean Equation Systems for Program Analysis. [Citation Graph (, )][DBLP]


  74. Abstract Certification of Global Non-Interference in Rewriting Logic [Citation Graph (, )][DBLP]


  75. An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. [Citation Graph (, )][DBLP]


  76. A Visual Technique for Web Pages Comparison. [Citation Graph (, )][DBLP]


  77. Order-Sorted Generalization. [Citation Graph (, )][DBLP]


  78. A Tool for Automated Certification of Java Source Code in Maude. [Citation Graph (, )][DBLP]


  79. DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. [Citation Graph (, )][DBLP]


Search in 0.152secs, Finished in 0.157secs
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