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
Ariel Pablo Lopez
Universidad de Buenos Aires
Rhodes College
Perfil externo:
Citaciones:
3
Productos:
1
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...
1 Producto
Más citado
CSV
API
Towards Security Assurance in Round-Trip Engineering: A Type-Based Approach
Acceso Abierto
ART-ART_A2
ID Minciencias: ART-0001348996-42
Fuente: Electronic Notes in Theoretical Computer Science
Jaime Pavlich Mariscal
Lina María Consuelo Franky De Toro
Ariel Pablo Lopez
Temas:
Computer science
Software security assurance
Mathematical proof
Programming language
Software engineering
Correctness
Consistency (knowledge bases)
Sketch
Code (set theory)
Information security
Computer security
Algorithm
Security service
Geometry
Mathematics
Set (abstract data type)
Artificial intelligence
Publicado: 2013
Citaciones:
3
Altmétricas:
0
Artículo de revista
1
NaN
