The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Moreno Falaschi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
    A New Declarative Semantics for Logic Languages. [Citation Graph (2, 0)][DBLP]
    ICLP/SLP, 1988, pp:993-1005 [Conf]
  2. Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli
    Declarative Modeling of the Operational Behavior of Logic Languages. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:69, n:3, pp:289-318 [Journal]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
    Confluence and Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:140-154 [Conf]
  10. 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]
  11. 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]
  12. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
    Confluence in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:531-545 [Conf]
  13. María José Ramírez, Moreno Falaschi
    Conditional Narrowing with Constructive Negation. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:59-79 [Conf]
  14. 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]
  15. 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]
  16. Moreno Falaschi, Giorgio Levi
    Finite Failures and Partial Computations in Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:364-373 [Conf]
  17. 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]
  18. Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough
    Efficient Analysis of Concurrent Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:633-644 [Conf]
  19. 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]
  20. Michael Codish, Moreno Falaschi, Kim Marriott
    Suspension Analysis for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:331-345 [Conf]
  21. Moreno Falaschi, Patrick Hicks, William H. Winsborough
    Demand Transformation Analysis for Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:333-347 [Conf]
  22. 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]
  23. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
    Compositional Analysis for Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:210-221 [Conf]
  24. 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]
  25. 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]
  26. María Alpuente, Moreno Falaschi
    Narrowing as an Incremental Constraint Satisfaction Algorithm. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:111-122 [Conf]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough
    Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:35-42 [Conf]
  32. 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]
  33. María Alpuente, Moreno Falaschi, Germán Vidal
    Incremental Equational Constraint Analyses. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:657- [Conf]
  34. A. Mora, J. Piris, María José Ramírez, Moreno Falaschi
    A Prototype System for Equational Constructive Negation. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:638- [Conf]
  35. 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]
  36. 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]
  37. María Alpuente, Santiago Escobar, Moreno Falaschi
    Preface. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:- [Conf]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana
    Cost-sensitive diagnosis of declarative programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  45. Marco Comini, Moreno Falaschi
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  46. Moreno Falaschi, Alberto Policriti, Alicia Villanueva
    Modeling concurrent systems specified in a temporal concurrent constraint language-I. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  47. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
    Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:137, n:1, pp:41-67 [Journal]
  48. Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
    A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:103, n:1, pp:86-113 [Journal]
  49. Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi
    A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:60, n:1-3, pp:36-69 [Journal]
  50. Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami
    Nested Guarded Horn Clauses. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:3, pp:249-264 [Journal]
  51. 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]
  52. Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough
    A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:30, n:1, pp:53-81 [Journal]
  53. Moreno Falaschi, Patrick Hicks, William H. Winsborough
    Demand Transformation Analysis for Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:42, n:3, pp:185-215 [Journal]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
    Confluence in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:183, n:2, pp:281-315 [Journal]
  61. Moreno Falaschi, Giorgio Levi
    Finite Failures and Partial Computations in Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:1&2, pp:45-66 [Journal]
  62. 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]
  63. Michael Codish, Moreno Falaschi, Kim Marriott
    Suspension Analyses for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:649-686 [Journal]
  64. Moreno Falaschi, Alicia Villanueva
    Automatic verification of timed concurrent constraint programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:3, pp:265-300 [Journal]
  65. Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia
    Declarative Diagnosis of Temporal Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:271-285 [Conf]
  66. 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]

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


  68. Quantitative Pathway Logic for Computational Biology. [Citation Graph (, )][DBLP]


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


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


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


  72. A framework for abstract interpretation of timed concurrent constraint programs. [Citation Graph (, )][DBLP]


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


  74. XML Semantic Filtering via Ontology Reasoning. [Citation Graph (, )][DBLP]


  75. Automatic Verification of Timed Concurrent Constraint Programs [Citation Graph (, )][DBLP]


  76. Preface. [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.428secs
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