Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia
Santiago Escobar
Universidad Politécnica de Valencia
Perfil externo:
Citaciones:
36
Productos:
8
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
Cargando información...
8 Productos
Más citado
CSV
API
Abstract Certification of Global Non-interference in Rewriting Logic
Ver producto
Acceso Abierto
ID Minciencias: ART-0000183083-156
Ranking: ART-ART_B
Fuente: Lecture notes in computer science
Mauricio Alba Castro
MARÍA ALPUENTE
Santiago Escobar
Tópico:
Security and Verification in Computing
Publicado: 2010
Citaciones:
9
Altmétricas:
0
Artículo de revista
Automatic Certification of Java Source Code in Rewriting Logic
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000183083-139
Ranking: ART-ART_B
Fuente: Formal Methods for Industrial Critical Systems
Mauricio Alba Castro
MARÍA ALPUENTE
Santiago Escobar
Tópico:
Logic, programming, and type systems
Publicado: 2008
Citaciones:
8
Altmétricas:
0
Artículo de revista
Approximating Non-interference and Erasure in Rewriting Logic
Ver producto
Acceso Cerrado
ID Minciencias: CAP_LIB-0000183083-157
Ranking: CAP_LIB-CAP_LIB_B
Mauricio Alba Castro
MARÍA ALPUENTE
Santiago Escobar
Tópico:
Security and Verification in Computing
Publicado: 2010
Citaciones:
7
Altmétricas:
0
Capítulo de libro
Automated Certification of Non-Interference in Rewriting Logic
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000183083-135
Ranking: ART-ART_A2
Fuente: Lecture notes in computer science
Mauricio Alba Castro
MARÍA ALPUENTE
Santiago Escobar
Tópico:
Security and Verification in Computing
Publicado: 2009
Citaciones:
6
Altmétricas:
0
Artículo de revista
A Tool for Automated Certification of Java Source Code in Maude
Ver producto
Acceso Abierto
ID Minciencias: ART-0000183083-155
Ranking: ART-ART_A2
Fuente: Electronic Notes in Theoretical Computer Science
Mauricio Alba Castro
MARÍA ALPUENTE
Santiago Escobar
Pedro Ojeda
Darwin Byron Romero Guaman
Tópico:
Security and Verification in Computing
Publicado: 2009
Citaciones:
3
Altmétricas:
0
Artículo de revista
Nueva metodología geométrica para evaluar la morfología del eritrocito normal
Ver producto
Acceso Abierto
ID Minciencias: ART-0000313238-201
Ranking: ART-ART_D
Fuente: Nova
Javier Oswaldo Rodríguez Velásquez
Santiago Escobar
Lesly Abder
Johnsen Del Río
Luis Quintero
David Ocampo Rincón
Tópico:
Blood properties and coagulation
Publicado: 2017
Citaciones:
3
Altmétricas:
0
Artículo de revista
Abstract Certification of Global Non-Interference in Rewriting Logic
Ver producto
Acceso Abierto
Fuente: arXiv (Cornell University)
Mauricio Alba Castro
MARÍA ALPUENTE
Santiago Escobar
Tópico:
Security and Verification in Computing
Publicado: 2010
Citaciones:
0
Altmétricas:
0
Artículo de revista
New physical and mathematical methodology to evaluate the morphology of normal erythrocyte
Ver producto
Acceso Cerrado
Javier Rodríguez
Santiago Escobar
Lesly Abder
Johnsen del Río
Luis Qu
David Ocampo Rincón
Tópico:
Blood properties and coagulation
Publicado: 2017
Citaciones:
0
Capítulo de libro
1
NaN
