Moreno Falaschi

	2010
87		María Alpuente, Demis Ballis, Moreno Falaschi: Transformation and Debugging of Functional Logic Programs. 25 Years GULP 2010: 271-299
86		Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi: Compositional modelling of signalling pathways in timed concurrent constraint programming. BCB 2010: 414-417
85		María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi: A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM 2010: 43-52
84		María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis: Completeness of Unfolding for Rewriting Logic Theories. SYNASC 2010: 116-123
83		Michele Baggi, Demis Ballis, Moreno Falaschi: An Access Control Language Based on Term Rewriting and Description Logic. WFLP 2010: 66-83
82		María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra: A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411(37): 3348-3371 (2010)
81		María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi: An integrated framework for the diagnosis and correction of rule-based programs. Theor. Comput. Sci. 411(47): 4055-4101 (2010)
	2009
80		Michele Baggi, Demis Ballis, Moreno Falaschi: Quantitative Pathway Logic for Computational Biology. CMSB 2009: 68-82
79		Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi: A framework for abstract interpretation of timed concurrent constraint programs. PPDP 2009: 207-218
78		Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 246: 1-2 (2009)
77		Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi: Foreword. Theor. Comput. Sci. 410(46): 4601-4602 (2009)
	2008
76		María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi: Semantic Verification of Web System Contents. ER Workshops 2008: 437-446
75		Michele Baggi, Moreno Falaschi, Demis Ballis: XML Semantic Filtering via Ontology Reasoning. ICIW 2008: 482-487
74		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		Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP 2007: 271-285
72		María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero: A Fast Algebraic Web Verification Service. RR 2007: 239-248
71		Moreno Falaschi, Michael J. Maher: Introduction Special Issue on Multiparadigm Languages and Constraint Programming. TPLP 7(1-2): 1-2 (2007)
	2006
70		María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero: A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM 2006: 31-40
69		María Alpuente, Santiago Escobar, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 157(2): 1-2 (2006)
68		María Alpuente, Demis Ballis, Moreno Falaschi: Rule-based verification of Web sites. STTT 8(6): 565-585 (2006)
67		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		Moreno Falaschi, Alicia Villanueva: Automatic Verification of Timed Concurrent Constraint Programs CoRR abs/cs/0505026: (2005)
63		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		María Alpuente, Demis Ballis, Moreno Falaschi: Verdi: An Automated Tool for Web Sites Verification. JELIA 2004: 726-729
60		María Alpuente, Moreno Falaschi, Alicia Villanueva: A Symbolic Model Checker for tccp Programs. RISE 2004: 45-56
59		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		María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi: Correction of Functional Logic Programs. ESOP 2003: 54-68
56		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): 105-122 (2003)
55		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): 85-104 (2003)
54		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		María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16
52		María Alpuente, Francisco J. Correa, Moreno Falaschi: A Debugging Scheme for Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 64: 18-55 (2002)
51		Marco Comini, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 76: 269-270 (2002)
	2001
50		Moreno Falaschi, Alberto Policriti, Alicia Villanueva: Modeling concurrent systems specified in a temporal concurrent constraint language-I. Electr. Notes Theor. Comput. Sci. 48: 197-210 (2001)
49		María Alpuente, Francisco J. Correa, Moreno Falaschi: Declarative Debugging of Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 57: 17-40 (2001)
	2000
48		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		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 3(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		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		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		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		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		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		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		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		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)

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page