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
Nobuko Yoshida
Universidad de Oxford
Perfil externo:
Citaciones:
39
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...
Cargando información...
3 Productos
Más citado
CSV
API
Expression of GP82 and GP90 surface glycoprotein genes of Trypanosoma cruzi during in vivo metacyclogenesis in the insect vector Rhodnius prolixus
Ver producto
Acceso Cerrado
Fuente: Acta Tropica
Esteban M Cordero
Luciana G Gentil
Gladys Crisante
JOSE LUIS RAMIREZ
Nobuko Yoshida
Néstor Añez Rojas
José Franco da Silveira
Tópico:
Trypanosoma species research and implications
Publicado: 2007
Citaciones:
16
Altmétricas:
0
Artículo de revista
Protocol-based verification of message-passing parallel programs
Ver producto
Acceso Cerrado
Fuente: ACM SIGPLAN Notices
Hugo Andres Lopez Acosta
Eduardo RB Marques
Francisco Martins
Nicholas Ng
César Santos
Vasco Thudichum Vasconcelos
Nobuko Yoshida
Tópico:
Formal Methods in Verification
Publicado: 2015
Citaciones:
14
Altmétricas:
0
Artículo de revista
Characteristic bisimulation for higher-order session processes
Ver producto
Acceso Abierto
ID Minciencias: ART-0000698580-54
Ranking: ART-ART_A2
Fuente: Acta Informatica
Dimitrios Kouzapas
Jorge Andres Perez Parra
Nobuko Yoshida
Tópico:
Logic, programming, and type systems
Publicado: 2016
Citaciones:
9
Altmétricas:
0
Artículo de revista
1
NaN
