| Dynamic slicing techniques for petri nets M Llorens, J Oliver, J Silva, S Tamarit, G Vidal Electronic Notes in Theoretical Computer Science 223, 153-165, 2008 | 49 | 2008 |
| Using the words/leafs ratio in the DOM tree for content extraction D Insa Cabrera, JF Silva Galiana, S Tamarit Journal of Logic and Algebraic Programming 82 (8), 311-325, 2013 | 32 | 2013 |
| EDD: A declarative debugger for sequential Erlang programs R Caballero, E Martin-Martin, A Riesco, S Tamarit International Conference on Tools and Algorithms for the Construction and …, 2014 | 23 | 2014 |
| System dependence graphs in sequential erlang J Silva, S Tamarit, C Tomás International Conference on Fundamental Approaches to Software Engineering …, 2012 | 21 | 2012 |
| The MEB and CEB static analysis for CSP specifications M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit Logic-Based Program Synthesis and Transformation: 18th International …, 2009 | 20 | 2009 |
| Precise explanation of success typing errors K Sagonas, J Silva, S Tamarit Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013 | 19 | 2013 |
| Declarative debugging of concurrent Erlang programs R Caballero, E Martin-Martin, A Riesco, S Tamarit Journal of logical and algebraic methods in programming 101, 22-41, 2018 | 17 | 2018 |
| SOC: a slicer for CSP specifications M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009 | 14 | 2009 |
| What web template extractor should I use? A benchmarking and comparison for five template extractors J Alarte, J Silva, S Tamarit ACM Transactions on the Web (TWEB) 13 (2), 1-19, 2019 | 12 | 2019 |
| Temex: the web template extractor J Alarte, D Insa, J Silva, S Tamarit Proceedings of the 24th International Conference on World Wide Web, 155-158, 2015 | 12 | 2015 |
| A core Erlang semantics for declarative debugging R Caballero, E Martin-Martin, A Riesco, S Tamarit Journal of Logical and Algebraic Methods in Programming 107, 1-37, 2019 | 10 | 2019 |
| A declarative debugger for sequential Erlang programs R Caballero, E Martin-Martin, A Riesco, S Tamarit Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013 | 10 | 2013 |
| Static slicing of CSP specifications M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit 18th Int’l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR …, 2008 | 10 | 2008 |
| Dynamic slicing of concurrent specification languages M Llorens, J Oliver, J Silva, S Tamarit Parallel Computing 53, 1-22, 2016 | 9 | 2016 |
| A zoom-declarative debugger for sequential Erlang programs R Caballero, E Martin-Martin, A Riesco, S Tamarit Science of Computer Programming 110, 104-118, 2015 | 9 | 2015 |
| Generating a Petri net from a CSP specification: A semantics-based method M Llorens, J Oliver, J Silva, S Tamarit Advances in Engineering Software 50, 110-130, 2012 | 9 | 2012 |
| Semiautomatic generation and assessment of Java exercises in engineering education D Insa, S Pérez, J Silva, S Tamarit Computer Applications in Engineering Education 29 (5), 1034-1050, 2021 | 8 | 2021 |
| Preserving sharing in the partial evaluation of lazy functional programs S Fischer, J Silva, S Tamarit, G Vidal Logic-Based Program Synthesis and Transformation: 17th International …, 2008 | 8 | 2008 |
| Automatic testing of program slicers S Pérez, J Silva, S Tamarit Scientific Programming 2019 (1), 4108652, 2019 | 7 | 2019 |
| Behaviour preservation across code versions in Erlang D Insa, S Pérez, J Silva, S Tamarit Scientific Programming 2018 (1), 9251762, 2018 | 7 | 2018 |
Josep SilvaUniversitat Politècnica de ValènciaVerified email at dsic.upv.es
