Follow
Josep Silva
Title
Cited by
Cited by
Year
A survey on sleep assessment methods
V Ibáñez, J Silva, O Cauli
PeerJ 6, e4849, 2018
3272018
A vocabulary of program slicing-based techniques
J Silva
ACM computing surveys (CSUR) 44 (3), 1-41, 2012
2192012
A survey on sleep questionnaires and diaries
V Ibáñez, J Silva, O Cauli
Sleep medicine 42, 90-96, 2018
1762018
A comparative study of algorithmic debugging strategies
J Silva
International Symposium on Logic-Based Program Synthesis and Transformation …, 2006
782006
A survey on algorithmic debugging strategies
J Silva
Advances in engineering software 42 (11), 976-991, 2011
772011
Aprendizaje basado en proyectos en la carrera de Ingeniería Informática
V Estruch, J Silva
Asociación de Enseñantes Universitarios de la Informática (AENUI), 2006
722006
An algorithmic debugger for Java
D Insa, J Silva
2010 IEEE International Conference on Software Maintenance, 1-6, 2010
502010
A survey of algorithmic debugging
R Caballero, A Riesco, J Silva
ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017
492017
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
492008
Automatic assessment of Java code
D Insa, J Silva
Computer Languages, Systems & Structures 53, 59-72, 2018
482018
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
452015
Sleep assessment devices: types, market analysis, and a critical view on accuracy and validation
V Ibáñez, J Silva, E Navarro, O Cauli
Expert review of medical devices 16 (12), 1041-1052, 2019
422019
Combining algorithmic debugging and program slicing
J Silva, O Chitil
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
412006
Dynamic slicing based on redex trails
C Ochoa, J Silva, G Vidal
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
402004
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
322013
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
282005
Fast narrowing-driven partial evaluation for inductively sequential programs
JG Ramos, J Silva, G Vidal
ACM SIGPLAN Notices 40 (9), 228-239, 2005
272005
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
System dependence graphs in sequential erlang
J Silva, S Tamarit, C Tomás
International Conference on Fundamental Approaches to Software Engineering …, 2012
202012
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
202009
The system can't perform the operation now. Try again later.
Articles 1–20