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
Andrés Alberto Aristizábal Pinzón
Grupo Icesi de Informática y Telecomunicaciones (i2T)
Universidad Icesi
Perfil externo:
Citaciones:
11
Productos:
3
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...
3 Productos
Más citado
CSV
API
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
Acceso Abierto
ART-ART_A2
ID Minciencias: ART-0001554950-21
Fuente: arXiv (Cornell University)
Andrés Alberto Aristizábal Pinzón
Dariusz Biernacki
Sergueï Lenglet
Piotr Polesiuk
Andrés Alberto Aristizábal Pinzón
Temas:
Bisimulation
Mathematical proof
Equivalence (formal languages)
Computer science
Calculus (dental)
Algebra over a field
Theoretical computer science
Process calculus
Control (management)
Mathematics
Pure mathematics
Artificial intelligence
Medicine
Geometry
Dentistry
Publicado: 2016
Citaciones:
11
Altmétricas:
0
Artículo de revista
Partition refinement for bisimilarity in CCP
CAP_LIB-GC_CAP_LIB
ID Minciencias: CAP_LIB-0000094269-31590
Frank Valencia
Andrés Alberto Aristizábal Pinzón
Publicado: 2012
Citaciones:
0
Capítulo de libro
Modelo de procesamiento de lenguaje natural para detectar la tasa de éxito de un artículo sobre otro.
Andrés Alberto Aristizábal Pinzón
(Asesor)
Jonatan Ordóñez Burbano
Yesid Leonardo López Sierra
Publicado: 2021
Citaciones:
0
Tesis de posgrado
1
NaN