Supporting the SPEM with a UML extended workflow metamodel N Debnath, D Riesco, MP Cota, JBG Perez-Schofield, DRM Uva IEEE International Conference on Computer Systems and Applications, 2006 …, 2006 | 40 | 2006 |
A visual technique for web pages comparison M Alpuente, D Romero Electronic Notes in Theoretical Computer Science 235, 3-18, 2009 | 29 | 2009 |
Backward trace slicing for rewriting logic theories M Alpuente, D Ballis, J Espert, D Romero Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011 | 27 | 2011 |
Using conditional trace slicing for improving Maude programs M Alpuente, D Ballis, F Frechina, D Romero Science of Computer Programming 80, 385-415, 2014 | 26 | 2014 |
Model-Checking Web Applications with Web-TLR M Alpuente, D Ballis, J Espert, D Romero International Symposium on Automated Technology for Verification and …, 2010 | 22 | 2010 |
Specification and verification of web applications in rewriting logic M Alpuente, D Ballis, D Romero International Symposium on Formal Methods, 790-805, 2009 | 22 | 2009 |
A semi-automatic methodology for repairing faultyweb sites M Alpuente, D Ballis, M Falaschi, D Romero Fourth IEEE International Conference on Software Engineering and Formal …, 2006 | 22 | 2006 |
Desarrollo de un software educativo para la enseñanza de la fotosíntesis M Daniele, SE Angeli, DB Solivellas, G Mori, C Greco, DO Romero, ... I Jornadas de Educación en Informática y TICs en Argentina, 2005 | 22 | 2005 |
Backward trace slicing for conditional rewrite theories M Alpuente, D Ballis, F Frechina, D Romero International Conference on Logic for Programming Artificial Intelligence …, 2012 | 16 | 2012 |
A Fast Algebraic Web Verification Service M Alpuente, D Ballis, M Falaschi, P Ojeda, D Romero International Conference on Web Reasoning and Rule Systems, 239-248, 2007 | 14 | 2007 |
A rewriting logic approach to the formal specification and verification of web applications M Alpuente, D Ballis, D Romero Science of Computer Programming 81, 79-107, 2014 | 13 | 2014 |
A tool for computing the visual similarity of web pages M Alpuente, D Romero 2010 10th IEEE/IPSJ International Symposium on Applications and the Internet …, 2010 | 13 | 2010 |
Fixing web sites using correction strategies D Ballis, D Romero 2nd International Workshop on Automated Specification and Verification of …, 2006 | 10 | 2006 |
Instrucciones procedimentales de los marcadores evidenciales en efecto y efectivamente IC SOLIS GARCIA Pragmalingüística 20, 239-254, 2013 | 9 | 2013 |
Julienne: A Trace Slicer for Conditional Rewrite Theories M Alpuente, D Ballis, F Frechina, D Romero FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 9 | 2012 |
Debugging of Web applications with WEB-TLR M Alpuente, D Ballis, J Espert, F Frechina, D Romero arXiv preprint arXiv:1108.2358, 2011 | 9 | 2011 |
Relativos, un caso de cambio categorial R Pascual, D Romero VI Congreso Internacional de Letras, 2018 | 8 | 2018 |
otros].“Gateway para el reciclaje de sistemas elearning que no cumplen con SCORM” D Romero, JP Barale, CM Rinaldi, R Cuarto Primer Congreso Virtual Latinoamericano de Educación a Distancia 2004, 2004 | 7 | 2004 |
Relaciones causales: Estructuras, nexos e incidencia en el léxico R Pascual, D Romero | 6 | 2017 |
Dynamic backward slicing of rewriting logic computations M Alpuente, D Ballis, J Espert, D Romero arXiv preprint arXiv:1105.2665, 2011 | 5 | 2011 |