Salvador Tamarit
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
14
Active years
2007–2020
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | RC | ReverCSP: Time-Travelling in CSP Computations. | Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit |
| 2018 | WISE | Main Content Extraction from Heterogeneous Webpages. | Julin Alarte, David Insa, Josep Silva, Salvador Tamarit |
| 2017 | LOPSTR | Erlang Code Evolution Control. | David Insa, Sergio Prez, Josep Silva, Salvador Tamarit |
| 2016 | ITiCSE | Where You Sit MattersHow Classroom Seating Might Affect Marks. | David Insa, Josep Silva, Salvador Tamarit |
| 2016 | TAP | Debugging Meets Testing in Erlang. | Salvador Tamarit, Adrin Riesco, Enrique Martin-Martin, Rafael Caballero |
| 2015 | PADL | A Haskell Implementation of a Rule-Based Program Transformation for C Programs. | Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mario |
| 2015 | WWW | TeMex: The Web Template Extractor. | Julin Alarte, David Insa, Josep Silva, Salvador Tamarit |
| 2014 | TACAS | EDD: A Declarative Debugger for Sequential Erlang Programs. | Rafael Caballero, Enrique Martin-Martin, Adrin Riesco, Salvador Tamarit |
| 2013 | ITiCSE | The influence of students distribution on their grades. | Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2013 | ITiCSE | An empirical analysis of the influence of classmates on the academic performance. | Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2013 | PEPM | Precise explanation of success typing errors. | Konstantinos Sagonas, Josep Silva, Salvador Tamarit |
| 2013 | TAP | A Declarative Debugger for Sequential Erlang Programs. | Rafael Caballero, Enrique Martin-Martin, Adrin Riesco, Salvador Tamarit |
| 2012 | FASE | System Dependence Graphs in Sequential Erlang. | Josep Silva, Salvador Tamarit, Csar Toms |
| 2011 | CIKM | XQuery optimization based on program slicing. | Jess Manuel Almendros-Jimnez, Josep Silva, Salvador Tamarit |
| 2010 | LOPSTR | Graph Generation to Statically Represent CSP Processes. | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2010 | MPC | A Tracking Semantics for CSP. | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2010 | PDPTA | Translating CSP Specifications to Equivalent Petri Nets. | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2010 | SAC | An algorithm to generate the context-sensitive synchronized control flow graph. | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2009 | PEPM | SOC: a slicer for CSP specifications. | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2008 | LOPSTR | A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. | Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germn Vidal |
| 2008 | LOPSTR | The MEB and CEB Static Analysis for CSP Specifications. | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2007 | LOPSTR | Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. | Sebastian Fischer, Josep Silva, Salvador Tamarit, Germn Vidal |