Josep Silva
Cited by
Cited by
A survey on sleep assessment methods
V Ibáñez, J Silva, O Cauli
PeerJ 6, e4849, 2018
A vocabulary of program slicing-based techniques
J Silva
ACM computing surveys (CSUR) 44 (3), 1-41, 2012
A survey on sleep questionnaires and diaries
V Ibáñez, J Silva, O Cauli
Sleep medicine 42, 90-96, 2018
A survey on algorithmic debugging strategies
J Silva
Advances in engineering software 42 (11), 976-991, 2011
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
A comparative study of algorithmic debugging strategies
J Silva
International Symposium on Logic-Based Program Synthesis and Transformation …, 2006
An algorithmic debugger for Java
D Insa, J Silva
2010 IEEE International Conference on Software Maintenance, 1-6, 2010
A survey of algorithmic debugging
R Caballero, A Riesco, J Silva
ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017
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
Automatic assessment of Java code
D Insa, J Silva
Computer Languages, Systems & Structures 53, 59-72, 2018
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
Combining algorithmic debugging and program slicing
J Silva, O Chitil
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
Dynamic slicing based on redex trails
C Ochoa, J Silva, G Vidal
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
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
Fast narrowing-driven partial evaluation for inductively sequential programs
JG Ramos, J Silva, G Vidal
ACM SIGPLAN Notices 40 (9), 228-239, 2005
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
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
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
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
System dependence graphs in sequential erlang
J Silva, S Tamarit, C Tomás
International Conference on Fundamental Approaches to Software Engineering …, 2012
The system can't perform the operation now. Try again later.
Articles 1–20