dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Daniel Romero (Selection)

Daniel Omar Romero

Universidad Nacional de Río Cuarto, Argentinia and Universidad Politécnica de Valencia, Spain

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero: Julienne: A Trace Slicer for Conditional Rewrite Theories. FM 2012: 28-32
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero: Backward Trace Slicing for Conditional Rewrite Theories. LPAR 2012: 62-76
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Demis Ballis, Javier Espert, Daniel Romero: Backward Trace Slicing for Rewriting Logic Theories. CADE 2011: 34-48
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero: Debugging of Web Applications with Web-TLR WWV 2011: 66-80
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Demis Ballis, Javier Espert, Daniel Romero: Dynamic Backward Slicing of Rewriting Logic Computations CoRR abs/1105.2665: (2011)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Romero, Michael Ringborn, Pablo Laguna, Olle Pahlm, Esther Pueyo: Depolarization Changes During Acute Myocardial Ischemia by Evaluation of QRS Slopes: Standard Lead and Vectorial Approach. IEEE Trans. Biomed. Engineering 58(1): 110-120 (2011)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Demis Ballis, Javier Espert, Daniel Romero: Model-Checking Web Applications with Web-TLR. ATVA 2010: 341-346
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Daniel Romero: A Tool for Computing the Visual Similarity of Web Pages. SAINT 2010: 45-51
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Demis Ballis, Daniel Romero: Specification and Verification of Web Applications in Rewriting Logic. FM 2009: 790-805
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Daniel Romero: A Visual Technique for Web Pages Comparison. Electr. Notes Theor. Comput. Sci. 235: 3-18 (2009)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio 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)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi: An Abstract Generic Framework for Web Site Verification. SAINT 2008: 104-110
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero: A Fast Algebraic Web Verification Service. RR 2007: 239-248
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarayan 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero: A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM 2006: 31-40
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Riesco, Marcela Daniele, Daniel Romero, German Montejano: Extensions to UML Using Stereotypes. Encyclopedia of Information Science and Technology (II) 2005: 1169-1173

Selection of 16 from 16 records - Daniel Romero has 19 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page