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.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/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...
8 Productos
Más citado
CSV
API
Abstract Certification of Global Non-interference in Rewriting Logic
Acceso Abierto
ART-ART_A2
ID Minciencias: ART-0000183083-136
Fuente: Lecture notes in computer science
Mauricio Alba Castro
MARÍA ALPUENTE
Santiago Escobar
Temas:
Computer science
Rewriting
Programming language
Java
Semantics (computer science)
Certification
Operational semantics
Theoretical computer science
Political science
Law
Publicado: 2010
Citaciones:
9
Altmétricas:
0
Artículo de revista
Automatic Certification of Java Source Code in Rewriting Logic
Acceso Cerrado
ART-ART_B
ID Minciencias: ART-0000183083-139
Fuente: Formal Methods for Industrial Critical Systems
Mauricio Alba Castro
MARÍA ALPUENTE
Santiago Escobar
Temas:
Programming language
Computer science
Rewriting
Generics in Java
Java
Logic programming
Semantics (computer science)
Certification
Java annotation
Real time Java
Political science
Law
Publicado: 2008
Citaciones:
8
Altmétricas:
0
Artículo de revista
Approximating Non-interference and Erasure in Rewriting Logic
Acceso Cerrado
CAP_LIB-CAP_LIB_B
ID Minciencias: CAP_LIB-0000183083-157
Mauricio Alba Castro
MARÍA ALPUENTE
Santiago Escobar
Temas:
Computer science
Erasure
Rewriting
Confidentiality
Programming language
Semantics (computer science)
Java
Certification
Theoretical computer science
State (computer science)
Computer security
Political science
Law
Publicado: 2010
Citaciones:
7
Altmétricas:
0
Capítulo de libro
Automated Certification of Non-Interference in Rewriting Logic
Acceso Cerrado
ART-ART_A2
ID Minciencias: ART-0000183083-135
Fuente: Lecture notes in computer science
Mauricio Alba Castro
MARÍA ALPUENTE
Santiago Escobar
Temas:
Computer science
Programming language
Rewriting
Semantics (computer science)
Java bytecode
Operational semantics
Java
Axiomatic semantics
Theoretical computer science
Java applet
Denotational semantics
Java annotation
Publicado: 2009
Citaciones:
6
Altmétricas:
0
Artículo de revista
A Tool for Automated Certification of Java Source Code in Maude
Acceso Abierto
ART-ART_A2
ID Minciencias: ART-0000183083-155
Fuente: Electronic Notes in Theoretical Computer Science
Mauricio Alba Castro
MARÍA ALPUENTE
Santiago Escobar
Pedro Ojeda
Darwin Byron Romero Guaman
Temas:
Computer science
Programming language
Java annotation
Java
Generics in Java
Rewriting
Java Modeling Language
Java concurrency
Real time Java
Certification
Political science
Law
Publicado: 2009
Citaciones:
3
Altmétricas:
0
Artículo de revista
Nueva metodología geométrica para evaluar la morfología del eritrocito normal
Acceso Abierto
ART-ART_D
ID Minciencias: ART-0000313238-201
Fuente: Nova
Javier Oswaldo Rodríguez Velásquez
Santiago Escobar
Lesly Abder
Johnsen Del Río
Luis Quintero
David Ocampo Rincón
Temas:
Humanities
Philosophy
Publicado: 2017
Citaciones:
3
Altmétricas:
0
Artículo de revista
Abstract Certification of Global Non-Interference in Rewriting Logic
Acceso Abierto
Fuente: arXiv (Cornell University)
Mauricio Alba Castro
MARÍA ALPUENTE
Santiago Escobar
Temas:
Computer science
Rewriting
Programming language
Java
Semantics (computer science)
Certification
Property (philosophy)
Theoretical computer science
Philosophy
Epistemology
Political science
Law
Publicado: 2010
Citaciones:
0
Altmétricas:
0
Artículo de revista
New physical and mathematical methodology to evaluate the morphology of normal erythrocyte
Acceso Cerrado
Javier Rodríguez
Santiago Escobar
Lesly Abder
Johnsen del Río
Luis Qu
David Ocampo Rincón
Temas:
Morphology (biology)
Mathematical morphology
Computer science
Mathematics
Geology
Artificial intelligence
Image processing
Paleontology
Image (mathematics)
Publicado: 2017
Citaciones:
0
Capítulo de libro
1
NaN
