Seguir
Josep Silva
Título
Citado por
Citado por
Ano
A survey on sleep assessment methods
V Ibáñez, J Silva, O Cauli
PeerJ 6, e4849, 2018
3772018
A vocabulary of program slicing-based techniques
J Silva
ACM computing surveys (CSUR) 44 (3), 1-41, 2012
2292012
A survey on sleep questionnaires and diaries
V Ibáñez, J Silva, O Cauli
Sleep medicine 42, 90-96, 2018
2042018
A comparative study of algorithmic debugging strategies
J Silva
International Symposium on Logic-Based Program Synthesis and Transformation …, 2006
772006
A survey on algorithmic debugging strategies
J Silva
Advances in engineering software 42 (11), 976-991, 2011
762011
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
732006
Automatic assessment of Java code
D Insa, J Silva
Computer Languages, Systems & Structures 53, 59-72, 2018
542018
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
512019
A survey of algorithmic debugging
R Caballero, A Riesco, J Silva
ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017
502017
An algorithmic debugger for Java
D Insa, J Silva
2010 IEEE International Conference on Software Maintenance, 1-6, 2010
502010
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
492015
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
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
352013
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
292005
Fast narrowing-driven partial evaluation for inductively sequential programs
JG Ramos, J Silva, G Vidal
ACM SIGPLAN Notices 40 (9), 228-239, 2005
282005
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
232004
System dependence graphs in sequential erlang
J Silva, S Tamarit, C Tomás
International Conference on Fundamental Approaches to Software Engineering …, 2012
212012
Precise explanation of success typing errors
K Sagonas, J Silva, S Tamarit
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013
202013
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20