Salvador Tamarit
Title
Cited by
Cited by
Year
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
42*2013
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
362008
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
212014
The MEB and CEB static analysis for CSP specifications
M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit
International Symposium on Logic-Based Program Synthesis and Transformation …, 2008
212008
System dependence graphs in sequential erlang
J Silva, S Tamarit, C Tomás
International Conference on Fundamental Approaches to Software Engineering …, 2012
152012
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
152009
Precise explanation of success typing errors
K Sagonas, J Silva, S Tamarit
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013
142013
Static slicing of CSP specifications
M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit
Proc. of the 18th International Symposium on Logic-Based Program Synthesis …, 2008
112008
A declarative debugger for sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
International Conference on Tests and Proofs, 96-114, 2013
102013
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
82012
Preserving sharing in the partial evaluation of lazy functional programs
S Fischer, J Silva, S Tamarit, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2007
82007
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
72015
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
72015
A declarative debugger for concurrent erlang programs (extended version)
R Caballero, E Martın-Martın, A Riesco, S Tamarit
Technical Report SIC-15/13, Dpto. Sistemas Informáticos y Computación …, 2013
72013
An algorithm to generate the context-sensitive synchronized control flow graph
M Llorens, J Oliver, J Silva, S Tamarit
Proceedings of the 2010 ACM Symposium on Applied Computing, 2144-2148, 2010
72010
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
62019
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
62018
Transforming communicating sequential processes to Petri nets
M Llorens, J Oliver, J Silva, S Tamarit
Seventh Int’l Conf. on Engineering Computational Technology (ICECT’10 …, 2010
62010
Site-level web template extraction based on DOM analysis
J Alarte, D Insa, J Silva, S Tamarit
International Andrei Ershov Memorial Conference on Perspectives of System …, 2015
52015
Automatic detection of webpages that share the same web template
J Alarte, D Insa, J Silva, S Tamarit
arXiv preprint arXiv:1409.2590, 2014
52014
The system can't perform the operation now. Try again later.
Articles 1–20