| 2008 |
|---|
| 12 | EE | Demis Ballis,
Andrea Baruzzo,
Marco Comini:
A Minimalist Visual Notation for Design Patterns and Antipatterns.
ITNG 2008: 51-56 |
| 2007 |
|---|
| 11 | EE | María Alpuente,
Demis Ballis,
Moreno Falaschi,
Pedro Ojeda,
Daniel Romero:
A Fast Algebraic Web Verification Service.
RR 2007: 239-248 |
| 2006 |
|---|
| 10 | EE | María Alpuente,
Demis Ballis,
Moreno Falaschi,
Daniel Romero:
A Semi-Automatic Methodology for Repairing FaultyWeb Sites.
SEFM 2006: 31-40 |
| 9 | 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) |
| 8 | EE | María Alpuente,
Demis Ballis,
Moreno Falaschi:
Rule-based verification of Web sites.
STTT 8(6): 565-585 (2006) |
| 2005 |
|---|
| 7 | | Demis Ballis,
Javier García-Vivó:
A Rewriting-based system for Web site Verification.
WWV 2005: 153-156 |
| 6 | 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 |
|---|
| 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) |
