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
3022018
A vocabulary of program slicing-based techniques
J Silva
ACM computing surveys (CSUR) 44 (3), 1-41, 2012
2072012
A survey on sleep questionnaires and diaries
V Ibáñez, J Silva, O Cauli
Sleep medicine 42, 90-96, 2018
1602018
A survey on algorithmic debugging strategies
J Silva
Advances in engineering software 42 (11), 976-991, 2011
842011
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
A comparative study of algorithmic debugging strategies
J Silva
International Symposium on Logic-Based Program Synthesis and Transformation …, 2006
712006
An algorithmic debugger for Java
D Insa, J Silva
2010 IEEE International Conference on Software Maintenance, 1-6, 2010
492010
A survey of algorithmic debugging
R Caballero, A Riesco, J Silva
ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017
462017
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
462008
Automatic assessment of Java code
D Insa, J Silva
Computer Languages, Systems & Structures 53, 59-72, 2018
452018
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
432015
Combining algorithmic debugging and program slicing
J Silva, O Chitil
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
422006
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
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
322019
Fast narrowing-driven partial evaluation for inductively sequential programs
JG Ramos, J Silva, G Vidal
ACM SIGPLAN Notices 40 (9), 228-239, 2005
272005
The use of multivariate analysis to characterize carcass and meat quality of goat kids protected by the PGI “Cabrito de Barroso”
VAC Santos, JA Silva, AMD Silvestre, SR Silva, JMT Azevedo
Livestock Science 116 (1-3), 70-81, 2008
252008
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
252005
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
Logic-Based Program Synthesis and Transformation: 18th International …, 2009
202009
System dependence graphs in sequential erlang
J Silva, S Tamarit, C Tomás
International Conference on Fundamental Approaches to Software Engineering …, 2012
192012
The system can't perform the operation now. Try again later.
Articles 1–20