Daniel Romero - RankMe

16 papers A 1B 5Journal 4Unranked 6

Year	Rank	Type	Title / Venue / Authors
2014	J	`jnl`	A rewriting logic approach to the formal specification and verification of web applications. Sci. Comput. Program. María Alpuente, Demis Ballis, Daniel Romero
2014	J	`jnl`	Using conditional trace slicing for improving Maude programs. Sci. Comput. Program. María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
2013	J	`jnl`	Rewriting-based repairing strategies for XML repositories. J. Log. Algebraic Methods Program. María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero
2012	B	`conf`	Backward Trace Slicing for Conditional Rewrite Theories. LPAR María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
2012	B	`conf`	Julienne: A Trace Slicer for Conditional Rewrite Theories. FM María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
2011	A	`conf`	Backward Trace Slicing for Rewriting Logic Theories. CADE María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
2011	—	`conf`	Debugging of Web Applications with Web-TLR WWV María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero
2011	J	`jnl`	Dynamic Backward Slicing of Rewriting Logic Computations CoRR María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
2010	—	`conf`	A Tool for Computing the Visual Similarity of Web Pages. SAINT María Alpuente, Daniel Romero
2010	B	`conf`	Model-Checking Web Applications with Web-TLR. ATVA María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
2009	B	`conf`	Specification and Verification of Web Applications in Rewriting Logic. FM María Alpuente, Demis Ballis, Daniel Romero
2008	—	`conf`	A Tool for Automated Certification of Java Source Code in Maude. PROLE Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero
2008	—	`conf`	A Visual Technique for Web Pages Comparison. WWV María Alpuente, Daniel Romero
2008	—	`conf`	An Abstract Generic Framework for Web Site Verification. SAINT María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi
2007	—	`conf`	A Fast Algebraic Web Verification Service. RR María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
2006	B	`conf`	A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero