Josep Silva

Cited by

	All	Since 2016
Citations	2436	1267
h-index	17	12
i10-index	40	14

380

190

285

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020216 9 13 11 23 24 53 82 73 59 115 93 129 109 103 165 177 183 234 281 365 17

Co-authors

Salvador TamaritUniversitat Politècnica de ValènciaVerified email at dsic.upv.es
German VidalProfessor of Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Javier Oliver VillarroyaProfesor ETSIT, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Marisa LlorensUniversitat Politècnica de ValènciaVerified email at dsic.upv.es
J. Guadalupe RamosInstituto Tecnológico de MoreliaVerified email at pricemining.com
Claudio OchoaResearch at Technical University of MadridVerified email at fi.upm.es
Julian AlarteUniversidad Politécnica de ValenciaVerified email at doctor.upv.es
David Insa CabreraUniversidad Politécnica de ValenciaVerified email at dsic.upv.es
Omar CauliUniversity of ValenciaVerified email at uv.es
Jose A. CarsíProfessor of Computer Science, DSIC - Universidad Politécnica de ValenciaVerified email at dsic.upv.es
Michael LeuschelHeinrich-Heine Universität DüsseldorfVerified email at hhu.de
Isidro RamosProfessor Computer Science Valencia Technical UniversityVerified email at dsic.upv.es
Adrián RiescoPhD Assistant Professor in Computer Science, Dpto. Sistemas Informáticos y Computación, UniversidadVerified email at fdi.ucm.es
Jennifer Perez BenediUniversidad Politécnica de Madrid (UPM)Verified email at eui.upm.es
Michael HanusProfessor of Computer Science, Institute of Informatics, CAU KielVerified email at informatik.uni-kiel.de
Olaf ChitilLecturer, School of Computing, University of KentVerified email at kent.ac.uk
Javier JaenAssociate Professor (Universidad Politécnica de Valencia)Verified email at dsic.upv.es
Nour AliSenior Lecturer in Computer Science at Brunel UniversityVerified email at brunel.ac.uk
Konstantinos SagonasUppsala University and National Technical University of Athens (on leave)Verified email at it.uu.se
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es

Josep Silva

Universitat Politècnica de València

Verified email at dsic.upv.es - Homepage

Debugging Self-healing systems Program slicing Static analysis of programs Semantics of programming languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A vocabulary of program slicing-based techniques J Silva ACM computing surveys (CSUR) 44 (3), 1-41, 2012	162	2012
A survey on sleep assessment methods V Ibáñez, J Silva, O Cauli PeerJ 6, e4849, 2018	93	2018
A comparative study of algorithmic debugging strategies J Silva International Symposium on Logic-Based Program Synthesis and Transformation …, 2006	76	2006
Software based fault tolerance: a survey GK Saha Ubiquity 2006 (July), 1-1, 2006	53	2006
A survey on algorithmic debugging strategies J Silva Advances in engineering software 42 (11), 976-991, 2011	52	2011
An algorithmic debugger for Java D Insa, J Silva 2010 IEEE International Conference on Software Maintenance, 1-6, 2010	45	2010
A survey on sleep questionnaires and diaries V Ibáñez, J Silva, O Cauli Sleep medicine 42, 90-96, 2018	44	2018
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
Dynamic slicing based on redex trails C Ochoa, J Silva, G Vidal Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004	39	2004
Combining algorithmic debugging and program slicing J Silva, O Chitil Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006	38	2006
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	38	2006
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	36	2008
Fast narrowing-driven partial evaluation for inductively sequential programs JG Ramos, J Silva, G Vidal ACM SIGPLAN Notices 40 (9), 228-239, 2005	26	2005
A survey of algorithmic debugging R Caballero, A Riesco, J Silva ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017	21	2017
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	20	2008
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	19	2015
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	19	2004
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	17	2005
A new hybrid debugging architecture for eclipse J González, D Insa, J Silva International Symposium on Logic-Based Program Synthesis and Transformation …, 2013	14	2013
Precise explanation of success typing errors K Sagonas, J Silva, S Tamarit Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013	14	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors