Josep Silva

Citado por

	Total	Desde 2019
Citas	2157	1113
Índice h	19	12
Índice i10	43	15

240

120

180

2004200520062007200820092010201120122013201420152016201720182019202020212022202320247 15 21 58 61 44 81 66 94 79 55 96 91 94 115 160 201 235 221 228 67

Acceso público

Ver todo

54 artículos

6 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Salvador TamaritUniversitat Politècnica de ValènciaDirección de correo verificada de dsic.upv.es
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaDirección de correo verificada de dsic.upv.es
Marisa LlorensUniversitat Politècnica de ValènciaDirección de correo verificada de dsic.upv.es
Javier Oliver VillarroyaProfesor ETSIT, Universitat Politècnica de ValènciaDirección de correo verificada de dsic.upv.es
Vanessa Ibáñez Del ValleUniversitat de ValènciaDirección de correo verificada de uv.es
Julian AlarteUniversidad Politécnica de ValenciaDirección de correo verificada de doctor.upv.es
J. Guadalupe RamosInstituto Tecnológico de MoreliaDirección de correo verificada de pricemining.com
Omar CauliUniversity of ValenciaDirección de correo verificada de uv.es
Claudio OchoaResearch at Technical University of MadridDirección de correo verificada de fi.upm.es
C. GalindoUniversitat Jaume I, Castellon SpainDirección de correo verificada de mat.uji.es
Jose A. CarsíProfessor of Computer Science, DSIC - Universidad Politécnica de ValenciaDirección de correo verificada de dsic.upv.es
Michael LeuschelHeinrich-Heine Universität DüsseldorfDirección de correo verificada de hhu.de
Adrián RiescoAssociate Professor in Computer Science, Dpto. Sistemas Informáticos y Computación, UniversidadDirección de correo verificada de fdi.ucm.es
Gustavo Arroyo DelgadoProfesor titular del CIIDETDirección de correo verificada de ciidet.edu.mx
Isidro RamosProfessor Computer Science Valencia Technical UniversityDirección de correo verificada de dsic.upv.es
David Insa CabreraUniversidad Politécnica de ValenciaDirección de correo verificada de dsic.upv.es
Jennifer Perez BenediUniversidad Politécnica de Madrid (UPM)Dirección de correo verificada de upm.es
Michael HanusProfessor of Computer Science, Institute of Informatics, CAU KielDirección de correo verificada de informatik.uni-kiel.de
RAFAEL CABALLERO ROLDANUniversidad Complutense de MadridDirección de correo verificada de ucm.es
Olaf ChitilLecturer, School of Computing, University of KentDirección de correo verificada de kent.ac.uk

Seguir

Josep Silva

Universitat Politècnica de València

Dirección de correo verificada de dsic.upv.es - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
A survey on sleep assessment methods V Ibáñez, J Silva, O Cauli PeerJ 6, e4849, 2018	309	2018
A vocabulary of program slicing-based techniques J Silva ACM computing surveys (CSUR) 44 (3), 1-41, 2012	213	2012
A survey on sleep questionnaires and diaries V Ibáñez, J Silva, O Cauli Sleep medicine 42, 90-96, 2018	165	2018
A comparative study of algorithmic debugging strategies J Silva International Symposium on Logic-Based Program Synthesis and Transformation …, 2006	77	2006
A survey on algorithmic debugging strategies J Silva Advances in engineering software 42 (11), 976-991, 2011	76	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	74	2006
An algorithmic debugger for Java D Insa, J Silva 2010 IEEE International Conference on Software Maintenance, 1-6, 2010	50	2010
A survey of algorithmic debugging R Caballero, A Riesco, J Silva ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017	49	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	48	2008
Automatic assessment of Java code D Insa, J Silva Computer Languages, Systems & Structures 53, 59-72, 2018	45	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	44	2015
Combining algorithmic debugging and program slicing J Silva, O Chitil Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006	41	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	39	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	36	2019
Fast narrowing-driven partial evaluation for inductively sequential programs JG Ramos, J Silva, G Vidal ACM SIGPLAN Notices 40 (9), 228-239, 2005	27	2005
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	26	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	22	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	20	2009
System dependence graphs in sequential erlang J Silva, S Tamarit, C Tomás International Conference on Fundamental Approaches to Software Engineering …, 2012	19	2012
Precise explanation of success typing errors K Sagonas, J Silva, S Tamarit Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013	18	2013

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores