| 2008 |
|---|
| 76 | EE | María Alpuente,
Michele Baggi,
Demis Ballis,
Moreno Falaschi:
Semantic Verification of Web System Contents.
ER Workshops 2008: 437-446 |
| 75 | EE | Michele Baggi,
Moreno Falaschi,
Demis Ballis:
XML Semantic Filtering via Ontology Reasoning.
ICIW 2008: 482-487 |
| 74 | EE | María Alpuente,
Pedro Ojeda,
Daniel Romero,
Demis Ballis,
Moreno Falaschi:
An Abstract Generic Framework for Web Site Verification.
SAINT 2008: 104-110 |
| 2007 |
|---|
| 73 | EE | Moreno Falaschi,
Carlos Olarte,
Catuscia Palamidessi,
Frank Valencia:
Declarative Diagnosis of Temporal Concurrent Constraint Programs.
ICLP 2007: 271-285 |
| 72 | EE | María Alpuente,
Demis Ballis,
Moreno Falaschi,
Pedro Ojeda,
Daniel Romero:
A Fast Algebraic Web Verification Service.
RR 2007: 239-248 |
| 71 | EE | Moreno Falaschi,
Michael J. Maher:
Introduction Special Issue on Multiparadigm Languages and Constraint Programming.
TPLP 7(1-2): 1-2 (2007) |
| 2006 |
|---|
| 70 | EE | María Alpuente,
Demis Ballis,
Moreno Falaschi,
Daniel Romero:
A Semi-Automatic Methodology for Repairing FaultyWeb Sites.
SEFM 2006: 31-40 |
| 69 | EE | María Alpuente,
Santiago Escobar,
Moreno Falaschi:
Preface.
Electr. Notes Theor. Comput. Sci. 157(2): 1-2 (2006) |
| 68 | EE | María Alpuente,
Demis Ballis,
Moreno Falaschi:
Rule-based verification of Web sites.
STTT 8(6): 565-585 (2006) |
| 67 | EE | Moreno Falaschi,
Alicia Villanueva:
Automatic verification of timed concurrent constraint programs.
TPLP 6(3): 265-300 (2006) |
| 2005 |
|---|
| 66 | | María Alpuente,
Santiago Escobar,
Moreno Falaschi:
First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain
Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia 2005 |
| 65 | | María Alpuente,
Santiago Escobar,
Moreno Falaschi:
Preface.
WWV 2005 |
| 64 | EE | Moreno Falaschi,
Alicia Villanueva:
Automatic Verification of Timed Concurrent Constraint Programs
CoRR abs/cs/0505026: (2005) |
| 63 | EE | María Alpuente,
Demis Ballis,
Moreno Falaschi:
A Rewriting-based Framework for Web Sites Verification.
Electr. Notes Theor. Comput. Sci. 124(1): 41-61 (2005) |
| 2004 |
|---|
| 62 | | María Alpuente,
Demis Ballis,
Moreno Falaschi:
Automated Verification of Web Sites Using Partial Rewriting.
ISoLA (Preliminary proceedings) 2004: 81-88 |
| 61 | EE | María Alpuente,
Demis Ballis,
Moreno Falaschi:
Verdi: An Automated Tool for Web Sites Verification.
JELIA 2004: 726-729 |
| 60 | EE | María Alpuente,
Moreno Falaschi,
Alicia Villanueva:
A Symbolic Model Checker for tccp Programs.
RISE 2004: 45-56 |
| 59 | EE | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Rules + strategies for transforming lazy functional logic programs.
Theor. Comput. Sci. 311(1-3): 479-525 (2004) |
| 2003 |
|---|
| 58 | | María Alpuente,
Demis Ballis,
Santiago Escobar,
Moreno Falaschi,
Salvador Lucas:
Abstract Correction of OBJ-like Programs.
APPIA-GULP-PRODE 2003: 422-433 |
| 57 | EE | María Alpuente,
Demis Ballis,
Francisco J. Correa,
Moreno Falaschi:
Correction of Functional Logic Programs.
ESOP 2003: 54-68 |
| 56 | EE | María Alpuente,
Demis Ballis,
Santiago Escobar,
Moreno Falaschi,
Salvador Lucas:
Abstract correction of first-order functional programs.
Electr. Notes Theor. Comput. Sci. 86(3): (2003) |
| 55 | EE | Demis Ballis,
Moreno Falaschi,
César Ferri,
José Hernández-Orallo,
M. José Ramírez-Quintana:
Cost-sensitive diagnosis of declarative programs.
Electr. Notes Theor. Comput. Sci. 86(3): (2003) |
| 54 | EE | María Alpuente,
Moreno Falaschi,
Pascual Julián Iranzo,
Germán Vidal:
Uniform Lazy Narrowing.
J. Log. Comput. 13(2): 287-312 (2003) |
| 2002 |
|---|
| 53 | EE | María Alpuente,
Marco Comini,
Santiago Escobar,
Moreno Falaschi,
Salvador Lucas:
Abstract Diagnosis of Functional Programs.
LOPSTR 2002: 1-16 |
| 52 | EE | María Alpuente,
Francisco J. Correa,
Moreno Falaschi:
A Debugging Scheme for Functional Logic Programs.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
| 51 | EE | Marco Comini,
Moreno Falaschi:
Preface.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 2001 |
|---|
| 50 | EE | Moreno Falaschi,
Alberto Policriti,
Alicia Villanueva:
Modeling concurrent systems specified in a temporal concurrent constraint language-I.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 49 | EE | María Alpuente,
Francisco J. Correa,
Moreno Falaschi:
Declarative Debugging of Functional Logic Programs.
Electr. Notes Theor. Comput. Sci. 57: (2001) |
| 2000 |
|---|
| 48 | EE | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
An Automatic Composition Algorithm for Functional Logic Programs.
SOFSEM 2000: 289-297 |
| 47 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Using PE to Automate Program Composition.
WFLP 2000: 169-183 |
| 46 | | Moreno Falaschi,
Patrick Hicks,
William H. Winsborough:
Demand Transformation Analysis for Concurrent Constraint Programs.
J. Log. Program. 42(3): 185-215 (2000) |
| 1999 |
|---|
| 45 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
A Transformation System for Lazy Functional Logic Programs.
Fuji International Symposium on Functional and Logic Programming 1999: 147-162 |
| 44 | EE | María Alpuente,
Moreno Falaschi,
César Ferri,
Ginés Moreno,
Germán Vidal:
Un Sistema de Transformación para Programas Multiparadigma.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 8: 27-35 (1999) |
| 1998 |
|---|
| 43 | | José Luis Freire-Nistal,
Moreno Falaschi,
Manuel Vilares Ferro:
1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998
APPIA-GULP-PRODE 1998 |
| 42 | | Elvira Albert,
María Alpuente,
Moreno Falaschi,
Pascual Julián Iranzo,
Germán Vidal:
Polygenetic Partial Evaluation of Lazy Functional Logic Programs.
APPIA-GULP-PRODE 1998: 151-164 |
| 41 | EE | Elvira Albert,
María Alpuente,
Moreno Falaschi,
Pascual Julián Iranzo,
Germán Vidal:
Improving Control in Functional Logic Program Specialization.
SAS 1998: 262-277 |
| 40 | EE | María Alpuente,
Moreno Falaschi,
Germán Vidal:
A Unifying View of Functional and Logic Program Specialization.
ACM Comput. Surv. 30(3es): 9 (1998) |
| 39 | EE | María Alpuente,
Moreno Falaschi,
Germán Vidal:
Partial Evaluation of Functional Logic Programs.
ACM Trans. Program. Lang. Syst. 20(4): 768-844 (1998) |
| 1997 |
|---|
| 38 | | Moreno Falaschi,
Marisa Navarro,
Alberto Policriti:
1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997
APPIA-GULP-PRODE 1997 |
| 37 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing.
ALP/HOA 1997: 1-15 |
| 36 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing.
APPIA-GULP-PRODE 1997: 347-358 |
| 35 | EE | María Alpuente,
Moreno Falaschi,
Pascual Julián Iranzo,
Germán Vidal:
Specialization of Lazy Functional Logic Programs.
PEPM 1997: 151-162 |
| 34 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators.
Inf. Comput. 137(1): 41-67 (1997) |
| 33 | | Michael Codish,
Moreno Falaschi,
Kim Marriott,
William H. Winsborough:
A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs.
J. Log. Program. 30(1): 53-81 (1997) |
| 32 | EE | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Confluence in Concurrent Constraint Programming.
Theor. Comput. Sci. 183(2): 281-315 (1997) |
| 1996 |
|---|
| 31 | | María Alpuente,
Moreno Falaschi,
Pascual Julián Iranzo,
Germán Vidal:
Call-By Name Partial Evaluation of Functional Logic Programs.
APPIA-GULP-PRODE 1996: 17-28 |
| 30 | | María Alpuente,
Moreno Falaschi,
Germán Vidal:
Narrowing-Driven Partial Evaluation of Functional Logic Programs.
ESOP 1996: 45-61 |
| 29 | | Moreno Falaschi,
Patrick Hicks,
William H. Winsborough:
Demand Transformation Analysis for Concurrent Constraint Programs.
JICSLP 1996: 333-347 |
| 28 | EE | María Alpuente,
Moreno Falaschi,
Germán Vidal:
A Compositional Semantic Basis for the Analysis of Equational Horn Programs.
Theor. Comput. Sci. 165(1): 133-169 (1996) |
| 1995 |
|---|
| 27 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Confluence in Concurrent Constraint Programming.
AMAST 1995: 531-545 |
| 26 | | María Alpuente,
Moreno Falaschi,
Ferdinando Manzo:
Analyses of Unsatisfiability for Equational Logic Programming.
J. Log. Program. 22(3): 223-254 (1995) |
| 25 | EE | María Alpuente,
Moreno Falaschi,
Giorgio Levi:
Incremental Constraint Satisfaction for Equational Logic Programming.
Theor. Comput. Sci. 142(1): 27-57 (1995) |
| 1994 |
|---|
| 24 | | María Alpuente,
Moreno Falaschi,
Germán Vidal:
Compositional Analysis for Equational Horn Programs.
ALP 1994: 77-94 |
| 23 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Confluence and Concurrent Constraint Programming.
GULP-PRODE (1) 1994: 140-154 |
| 22 | | María Alpuente,
Moreno Falaschi,
María José Ramis,
Germán Vidal:
A Compositional Semantics for Conditional Term Rewriting Systems.
GULP-PRODE (1) 1994: 62-76 |
| 21 | | María Alpuente,
Moreno Falaschi,
María José Ramis,
Germán Vidal:
A Compositional Semantics for Conditional Term Rewriting Systems.
ICCL 1994: 171-182 |
| 20 | EE | Michael Codish,
Moreno Falaschi,
Kim Marriott:
Suspension Analyses for Concurrent Logic Programs.
ACM Trans. Program. Lang. Syst. 16(3): 649-686 (1994) |
| 1993 |
|---|
| 19 | | Patrick Cousot,
Moreno Falaschi,
Gilberto Filé,
Antoine Rauzy:
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings
Springer 1993 |
| 18 | | María Alpuente,
Moreno Falaschi,
María José Ramis,
Germán Vidal:
Using Narrowing Approximations to Optimize Equational Logic Programs.
GULP 1993: 127-142 |
| 17 | | Michael Codish,
Moreno Falaschi,
Kim Marriott,
William H. Winsborough:
Efficient Analysis of Concurrent Constraint Logic Programs.
ICALP 1993: 633-644 |
| 16 | | A. Mora,
J. Piris,
María José Ramírez,
Moreno Falaschi:
A Prototype System for Equational Constructive Negation.
ILPS 1993: 638 |
| 15 | | María Alpuente,
Moreno Falaschi,
Germán Vidal:
Incremental Equational Constraint Analyses.
ILPS 1993: 657 |
| 14 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Compositional Analysis for Concurrent Constraint Programming
LICS 1993: 210-221 |
| 13 | | María Alpuente,
Moreno Falaschi,
María José Ramis,
Germán Vidal:
Narrowing Approximations as an Optimization for Equational Logic Programs.
PLILP 1993: 391-409 |
| 12 | | Moreno Falaschi,
Giorgio Levi,
Maurizio Martelli,
Catuscia Palamidessi:
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs
Inf. Comput. 103(1): 86-113 (1993) |
| 1992 |
|---|
| 11 | | María José Ramírez,
Moreno Falaschi:
Conditional Narrowing with Constructive Negation.
ELP 1992: 59-79 |
| 10 | | María Alpuente,
Moreno Falaschi,
Ferdinando Manzo:
Analyses of Inconsistency for Incremental Equational Logic Programming.
PLILP 1992: 443-457 |
| 9 | | Michael Codish,
Moreno Falaschi,
Kim Marriott,
William H. Winsborough:
Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs.
WSA 1992: 35-42 |
| 1991 |
|---|
| 8 | | Michael Codish,
Moreno Falaschi,
Kim Marriott:
Suspension Analysis for Concurrent Logic Programs.
ICLP 1991: 331-345 |
| 7 | | María Alpuente,
Moreno Falaschi:
Narrowing as an Incremental Constraint Satisfaction Algorithm.
PLILP 1991: 111-122 |
| 1990 |
|---|
| 6 | | Moreno Falaschi,
Maurizio Gabbrielli,
Giorgio Levi,
Masaki Murakami:
Nested Guarded Horn Clauses.
Int. J. Found. Comput. Sci. 1(3): 249-264 (1990) |
| 5 | | Moreno Falaschi,
Giorgio Levi:
Finite Failures and Partial Computations in Concurrent Logic Languages.
Theor. Comput. Sci. 75(1&2): 45-66 (1990) |
| 1989 |
|---|
| 4 | | Moreno Falaschi,
Giorgio Levi,
Catuscia Palamidessi,
Maurizio Martelli:
Declarative Modeling of the Operational Behavior of Logic Languages.
Theor. Comput. Sci. 69(3): 289-318 (1989) |
| 1988 |
|---|
| 3 | | Moreno Falaschi,
Giorgio Levi:
Finite Failures and Partial Computations in Concurrent Logic Languages.
FGCS 1988: 364-373 |
| 2 | | Moreno Falaschi,
Giorgio Levi,
Maurizio Martelli,
Catuscia Palamidessi:
A New Declarative Semantics for Logic Languages.
ICLP/SLP 1988: 993-1005 |
| 1984 |
|---|
| 1 | | Moreno Falaschi,
Giorgio Levi,
Catuscia Palamidessi:
A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses
Information and Control 60(1-3): 36-69 (1984) |
