Josep Silva
TitleCited byYear
O novo rural brasileiro
JG da Silva
Nova economia 7 (1), 1997
14851997
A vocabulary of program slicing-based techniques
J Silva
ACM computing surveys (CSUR) 44 (3), 12, 2012
1272012
A comparative study of algorithmic debugging strategies
J Silva
International Symposium on Logic-Based Program Synthesis and Transformation …, 2006
712006
A survey on algorithmic debugging strategies
J Silva
Advances in engineering software 42 (11), 976-991, 2011
472011
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
An algorithmic debugger for Java
D Insa, J Silva
2010 IEEE International Conference on Software Maintenance, 1-6, 2010
422010
Combining algorithmic debugging and program slicing
J Silva, O Chitil
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
382006
Dynamic slicing based on redex trails
C Ochoa, J Silva, G Vidal
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
382004
Concurrent design and manufacturing for mechanical systems
KH Chang, J Silva, I Bryant
Concurrent Engineering 7 (4), 290-308, 1999
381999
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
342008
A survey on sleep assessment methods
V Ibáñez, J Silva, O Cauli
PeerJ 6, e4849, 2018
282018
Fast narrowing-driven partial evaluation for inductively sequential programs
JG Ramos, J Silva, G Vidal
ACM SIGPLAN Notices 40 (9), 228-239, 2005
262005
Aprendizaje basado en proyectos en la carrera de Ingeniería Informática
V Estruch, J Silva
Actas de las XII Jornadas de la Enseñanza Universitaria de la Informática …, 2006
252006
Run-time profiling of functional logic programs
B Brassel, M Hanus, F Huch, J Silva, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2004
212004
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
202008
Semi-automatic assessment of unrestrained Java code: a library, a DSL, and a workbench to assess exams and exercises
D Insa, J Silva
Proceedings of the 2015 ACM Conference on Innovation and Technology in …, 2015
192015
System dependence graphs in sequential erlang
J Silva, S Tamarit, C Tomás
International Conference on Fundamental Approaches to Software Engineering …, 2012
142012
Improving offline narrowing-driven partial evaluation using size-change graphs
G Arroyo, JG Ramos, J Silva, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2006
142006
Lightweight program specialization via dynamic slicing
C Ochoa, J Silva, G Vidal
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic …, 2005
142005
A new hybrid debugging architecture for eclipse
J González, D Insa, J Silva
International Symposium on Logic-Based Program Synthesis and Transformation …, 2013
132013
The system can't perform the operation now. Try again later.
Articles 1–20