Demis Ballis

	2009
22		Michele Baggi, Demis Ballis, Moreno Falaschi: Quantitative Pathway Logic for Computational Biology. CMSB 2009: 68-82
21		María Alpuente, Demis Ballis, Daniel Romero: Specification and Verification of Web Applications in Rewriting Logic. FM 2009: 790-805
20		Demis Ballis, Santiago Escobar: Preface. Electr. Notes Theor. Comput. Sci. 235: 1-2 (2009)
	2008
19		María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi: Semantic Verification of Web System Contents. ER Workshops 2008: 437-446
18		Michele Baggi, Moreno Falaschi, Demis Ballis: XML Semantic Filtering via Ontology Reasoning. ICIW 2008: 482-487
17		Demis Ballis, Andrea Baruzzo, Marco Comini: A Minimalist Visual Notation for Design Patterns and Antipatterns. ITNG 2008: 51-56
16		María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi: An Abstract Generic Framework for Web Site Verification. SAINT 2008: 104-110
15		Demis Ballis, Santiago Escobar, Massimo Marchiori: Preface. Electr. Notes Theor. Comput. Sci. 200(3): 1-2 (2008)
14		Michele Baggi, Demis Ballis: Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. Electr. Notes Theor. Comput. Sci. 216: 93-109 (2008)
13		Demis Ballis, Andrea Baruzzo, Marco Comini: A Rule-based Method to Match Software Patterns Against UML Models. Electr. Notes Theor. Comput. Sci. 219: 51-66 (2008)
	2007
12		María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero: A Fast Algebraic Web Verification Service. RR 2007: 239-248
	2006
11		María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero: A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM 2006: 31-40
10		Demis Ballis, Javier García-Vivó: A Rule-based System for Web site Verification. Electr. Notes Theor. Comput. Sci. 157(2): 11-17 (2006)
9		María Alpuente, Demis Ballis, Moreno Falaschi: Rule-based verification of Web sites. STTT 8(6): 565-585 (2006)
	2005
8		Demis Ballis, Javier García-Vivó: A Rewriting-based system for Web site Verification. WWV 2005: 153-156
7		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
6		María Alpuente, Demis Ballis, Moreno Falaschi: Automated Verification of Web Sites Using Partial Rewriting. ISoLA (Preliminary proceedings) 2004: 81-88
5		María Alpuente, Demis Ballis, Moreno Falaschi: Verdi: An Automated Tool for Web Sites Verification. JELIA 2004: 726-729
	2003
4		María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433
3		María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi: Correction of Functional Logic Programs. ESOP 2003: 54-68
2		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)
1		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)

Coauthor Index

1	María Alpuente	[2] [3] [4] [5] [6] [7] [9] [11] [12] [16] [19] [21]
2	Michele Baggi	[14] [18] [19] [22]
3	Andrea Baruzzo	[13] [17]
4	Marco Comini	[13] [17]
5	Francisco J. Correa	[3]
6	Santiago Escobar	[2] [4] [15] [20]
7	Moreno Falaschi	[1] [2] [3] [4] [5] [6] [7] [9] [11] [12] [16] [18] [19] [22]
8	César Ferri (Cèsar Ferri Ramirez)	[1]
9	Javier García-Vivó	[8] [10]
10	José Hernández-Orallo	[1]
11	Salvador Lucas	[2] [4]
12	Massimo Marchiori	[15]
13	Pedro Ojeda	[12] [16]
14	M. José Ramírez-Quintana (María José Ramírez)	[1]
15	Daniel Romero	[11] [12] [16] [21]

Colors in the list of coauthors