 | 2009 |
|---|
| 9 |       | Daniel Romero,
Rafael Sebastián,
Bart Bijnens,
Viviana Zimmerman,
Patrick M. Boyle,
Edward J. Vigmond,
Alejandro F. Frangi:
The Purkinje System and Cardiac Geometry: Assessing Their Influence on the Paced Heart.
FIMH 2009: 68-77 |
| 8 | | María Alpuente,
Demis Ballis,
Daniel Romero:
Specification and Verification of Web Applications in Rewriting Logic.
FM 2009: 790-805 |
| 7 | | María Alpuente,
Daniel Romero:
A Visual Technique for Web Pages Comparison.
Electr. Notes Theor. Comput. Sci. 235: 3-18 (2009) |
| 6 | | Mauricio Alba-Castro,
María Alpuente,
Santiago Escobar,
Pedro Ojeda,
Daniel Romero:
A Tool for Automated Certification of Java Source Code in Maude.
Electr. Notes Theor. Comput. Sci. 248: 19-29 (2009) |
| 2008 |
|---|
| 5 | | María Alpuente,
Pedro Ojeda,
Daniel Romero,
Demis Ballis,
Moreno Falaschi:
An Abstract Generic Framework for Web Site Verification.
SAINT 2008: 104-110 |
| 2007 |
|---|
| 4 | | María Alpuente,
Demis Ballis,
Moreno Falaschi,
Pedro Ojeda,
Daniel Romero:
A Fast Algebraic Web Verification Service.
RR 2007: 239-248 |
| 2006 |
|---|
| 3 | | Narayan C. Debnath,
Daniel Riesco,
Manuel Pérez Cota,
J. Baltasar García Perez-Schofield,
Daniel Romero,
Marcelo Uva:
Supporting the SPEM with a UML Extended Workflow Metamodel.
AICCSA 2006: 1151-1154 |
| 2 | | María Alpuente,
Demis Ballis,
Moreno Falaschi,
Daniel Romero:
A Semi-Automatic Methodology for Repairing FaultyWeb Sites.
SEFM 2006: 31-40 |
| 2005 |
|---|
| 1 |  | Daniel Riesco,
Marcela Daniele,
Daniel Romero,
German Montejano:
Extensions to UML Using Stereotypes.
Encyclopedia of Information Science and Technology (II) 2005: 1169-1173 |
