Old Web
English
Sign In
Acemap
>
authorDetail
>
Santiago Bermúdez
Santiago Bermúdez
Computer science
Theoretical computer science
Java
Soundness
Completeness (statistics)
5
Papers
8
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.
2019
arXiv: Software Engineering
Luciano Zemín
Simón Gutiérrez Brida
Santiago Bermúdez
Santiago Perez De Rosso
Nazareno Aguirre
Ali Mili
Ali Jaoua
Marcelo F. Frias
Show All
Source
Cite
Save
Citations (1)
Strategy of the Latin American Thoracic Association (ALAT). Ten Strategic Goals for Development in 2016–2020
2016
Archivos De Bronconeumologia
Alejandro Casas
Maria Montes de Oca
Andrés Palomar
Mark Cohen
Luis Fernando Giraldo
María Victorina López
Carlos A. Torres-Duque
Rogelio Pérez-Padilla
Santiago Bermúdez
Alejandra Rey
José Roberto Jardim
Silvia Quadrelli
Stella Martínez
Gustavo Zabert
Francisco Arancibia
Agustín Acuña
Juan Carlos Vázquezh
Show All
Source
Cite
Save
Citations (0)
Parallel bounded analysis in code with rich invariants by refinement of field bounds
2013
ISSTA | International Symposium on Software Testing and Analysis
Nicolás Rosner
Juan Pablo Galeotti
Santiago Bermúdez
Guido Marucci Blas
Santiago Perez De Rosso
Lucas Pizzagalli
Luciano Zemín
Marcelo F. Frias
Show All
Source
Cite
Save
Citations (7)
Identificar caracteristicas asociadas al sindrome de Estocolmo en un grupo de mujeres Puertorriquenas victimas de violencia domestica
2012
Santiago Bermúdez
V. Maria
Show All
Source
Cite
Save
Citations (0)
Programa intergeneracional para el desarrollo comunitario : la ocmunicación como base de un grupo
2005
Santiago Bermúdez
Esther
Gallego Serrano
Ana Isabel
Show All
Source
Cite
Save
Citations (0)
1