dblp.uni-trier.dewww.uni-trier.de

Moreno Falaschi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
78EEMichele Baggi, Demis Ballis, Moreno Falaschi: Quantitative Pathway Logic for Computational Biology. CMSB 2009: 68-82
77EEMoreno Falaschi, Carlos Olarte, Catuscia Palamidessi: A framework for abstract interpretation of timed concurrent constraint programs. PPDP 2009: 207-218
2008
76EEMaría Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi: Semantic Verification of Web System Contents. ER Workshops 2008: 437-446
75EEMichele Baggi, Moreno Falaschi, Demis Ballis: XML Semantic Filtering via Ontology Reasoning. ICIW 2008: 482-487
74EEMaría Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi: An Abstract Generic Framework for Web Site Verification. SAINT 2008: 104-110
2007
73EEMoreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP 2007: 271-285
72EEMaría Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero: A Fast Algebraic Web Verification Service. RR 2007: 239-248
71EEMoreno Falaschi, Michael J. Maher: Introduction Special Issue on Multiparadigm Languages and Constraint Programming. TPLP 7(1-2): 1-2 (2007)
2006
70EEMaría Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero: A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM 2006: 31-40
69EEMaría Alpuente, Santiago Escobar, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 157(2): 1-2 (2006)
68EEMaría Alpuente, Demis Ballis, Moreno Falaschi: Rule-based verification of Web sites. STTT 8(6): 565-585 (2006)
67EEMoreno 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
64EEMoreno Falaschi, Alicia Villanueva: Automatic Verification of Timed Concurrent Constraint Programs CoRR abs/cs/0505026: (2005)
63EEMarí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
61EEMaría Alpuente, Demis Ballis, Moreno Falaschi: Verdi: An Automated Tool for Web Sites Verification. JELIA 2004: 726-729
60EEMaría Alpuente, Moreno Falaschi, Alicia Villanueva: A Symbolic Model Checker for tccp Programs. RISE 2004: 45-56
59EEMarí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
57EEMaría Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi: Correction of Functional Logic Programs. ESOP 2003: 54-68
56EEMarí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)
55EEDemis 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)
54EEMaría Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Uniform Lazy Narrowing. J. Log. Comput. 13(2): 287-312 (2003)
2002
53EEMaría Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16
52EEMaría Alpuente, Francisco J. Correa, Moreno Falaschi: A Debugging Scheme for Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 64: (2002)
51EEMarco Comini, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 76: (2002)
2001
50EEMoreno Falaschi, Alberto Policriti, Alicia Villanueva: Modeling concurrent systems specified in a temporal concurrent constraint language-I. Electr. Notes Theor. Comput. Sci. 48: (2001)
49EEMaría Alpuente, Francisco J. Correa, Moreno Falaschi: Declarative Debugging of Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 57: (2001)
2000
48EEMarí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
44EEMarí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
41EEElvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Improving Control in Functional Logic Program Specialization. SAS 1998: 262-277
40EEMaría Alpuente, Moreno Falaschi, Germán Vidal: A Unifying View of Functional and Logic Program Specialization. ACM Comput. Surv. 30(3es): 9 (1998)
39EEMarí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
37EEMarí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
35EEMarí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)
32EEMoreno 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
30EEMarí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
28EEMarí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)
25EEMaría Alpuente, Moreno Falaschi, Giorgio Levi: Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. 142(1): 27-57 (1995)
1994
24EEMarí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
20EEMichael 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
17EEMichael 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
11EEMaría José Ramírez, Moreno Falaschi: Conditional Narrowing with Constructive Negation. ELP 1992: 59-79
10EEMarí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
7EEMarí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)

Coauthor Index

1Elvira Albert [41] [42]
2María Alpuente [7] [10] [13] [15] [18] [21] [22] [24] [25] [26] [28] [30] [31] [35] [36] [37] [39] [40] [41] [42] [44] [45] [47] [48] [49] [52] [53] [54] [56] [57] [58] [59] [60] [61] [62] [63] [65] [66] [68] [69] [70] [72] [74] [76]
3Michele Baggi [75] [76] [78]
4Demis Ballis [55] [56] [57] [58] [61] [62] [63] [68] [70] [72] [74] [75] [76] [78]
5Michael Codish [8] [9] [17] [20] [33]
6Marco Comini [51] [53]
7Francisco J. Correa [49] [52] [57]
8Patrick Cousot [19]
9Santiago Escobar [53] [56] [58] [65] [66] [69]
10César Ferri (Cèsar Ferri Ramirez) [44] [55]
11Manuel Vilares Ferro [43]
12Gilberto Filé [19]
13José Luis Freire-Nistal (José Luis Freire) [43]
14Maurizio Gabbrielli [6] [14] [23] [27] [32] [34]
15José Hernández-Orallo [55]
16Patrick Hicks [29] [46]
17Pascual Julián Iranzo [31] [35] [41] [42] [54]
18Giorgio Levi [1] [2] [3] [4] [5] [6] [12] [25]
19Salvador Lucas [53] [56] [58]
20Michael J. Maher [71]
21Ferdinando Manzo [10] [26]
22Kim Marriott [8] [9] [14] [17] [20] [23] [27] [32] [33] [34]
23Maurizio Martelli [2] [4] [12]
24A. Mora [16]
25Ginés Moreno [36] [37] [44] [45] [47] [48] [59]
26Masaki Murakami [6]
27Marisa Navarro [38]
28Pedro Ojeda [72] [74]
29Carlos Olarte (Carlos Alberto Olarte) [73] [77]
30Catuscia Palamidessi [1] [2] [4] [12] [14] [23] [27] [32] [34] [73] [77]
31J. Piris [16]
32Alberto Policriti [38] [50]
33M. José Ramírez-Quintana (María José Ramírez) [11] [16] [55]
34María José Ramis [13] [18] [21] [22]
35Antoine Rauzy [19]
36Daniel Romero [70] [72] [74]
37Frank D. Valencia (Frank Valencia) [73]
38Germán Vidal [13] [15] [18] [21] [22] [24] [28] [30] [31] [35] [36] [37] [39] [40] [41] [42] [44] [45] [47] [48] [54] [59]
39Alicia Villanueva [50] [60] [64] [67]
40William H. Winsborough [9] [17] [29] [33] [46]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)