Demis Ballis

2009
20	EE	Demis Ballis, Santiago Escobar: Preface. Electr. Notes Theor. Comput. Sci. 235: 1-2 (2009)
2008
19	EE	María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi: Semantic Verification of Web System Contents. ER Workshops 2008: 437-446
18	EE	Michele Baggi, Moreno Falaschi, Demis Ballis: XML Semantic Filtering via Ontology Reasoning. ICIW 2008: 482-487
17	EE	Demis Ballis, Andrea Baruzzo, Marco Comini: A Minimalist Visual Notation for Design Patterns and Antipatterns. ITNG 2008: 51-56
16	EE	María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi: An Abstract Generic Framework for Web Site Verification. SAINT 2008: 104-110
15	EE	Demis Ballis, Santiago Escobar, Massimo Marchiori: Preface. Electr. Notes Theor. Comput. Sci. 200(3): 1-2 (2008)
14	EE	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	EE	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	EE	María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero: A Fast Algebraic Web Verification Service. RR 2007: 239-248
2006
11	EE	María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero: A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM 2006: 31-40
10	EE	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	EE	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	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
6		María Alpuente, Demis Ballis, Moreno Falaschi: Automated Verification of Web Sites Using Partial Rewriting. ISoLA (Preliminary proceedings) 2004: 81-88
5	EE	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	EE	María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi: Correction of Functional Logic Programs. ESOP 2003: 54-68
2	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)
1	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)

Coauthor Index

1	María Alpuente	[2] [3] [4] [5] [6] [7] [9] [11] [12] [16] [19]
2	Michele Baggi	[14] [18] [19]
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]
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]

Colors in the list of coauthors