Demis Ballis

	2012
33		María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero: Backward Trace Slicing for Conditional Rewrite Theories. LPAR 2012: 62-76
	2011
32		María Alpuente, Demis Ballis, Javier Espert, Daniel Romero: Backward Trace Slicing for Rewriting Logic Theories. CADE 2011: 34-48
31		María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero: Debugging of Web Applications with Web-TLR WWV 2011: 66-80
30		María Alpuente, Demis Ballis, Javier Espert, Daniel Romero: Dynamic Backward Slicing of Rewriting Logic Computations CoRR abs/1105.2665: (2011)
29		Demis Ballis, Temur Kutsia: Foreword. J. Symb. Comput. 46(2): 93-94 (2011)
	2010
28		María Alpuente, Demis Ballis, Moreno Falaschi: Transformation and Debugging of Functional Logic Programs. 25 Years GULP 2010: 271-299
27		María Alpuente, Demis Ballis, Javier Espert, Daniel Romero: Model-Checking Web Applications with Web-TLR. ATVA 2010: 341-346
26		María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi: A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM 2010: 43-52
25		María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis: Completeness of Unfolding for Rewriting Logic Theories. SYNASC 2010: 116-123
24		Michele Baggi, Demis Ballis, Moreno Falaschi: An Access Control Language Based on Term Rewriting and Description Logic. WFLP 2010: 66-83
23		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
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): 105-122 (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): 85-104 (2003)

Coauthor Index

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page