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) |