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
Carlos Alberto Olarte Vega
Grupo de Investigación en Ambientes Visuales de Programación Aplicativa - AVISPA
Pontificia Universidad Javeriana
Universidad del Valle
Laboratorio de informático de París Norte
Centro Nacional para la Investigación Científica
Universidad Sorbonne Paris Nord
Universidad Pierre y Marie Curie
Perfil externo:
Citaciones:
513
Productos:
84
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...
84 Productos
Más citado
CSV
API
Models and emerging trends of concurrent constraint programming
Ver producto
Acceso Abierto
ID Minciencias: ART-0000086614-30016
Ranking: ART-ART_B
Fuente: Constraints
Carlos Alberto Olarte Vega
Camilo Rueda Calderon
Frank Valencia
Tópico:
Constraint Satisfaction and Optimization
Publicado: 2013
Citaciones:
40
Altmétricas:
0
Artículo de revista
Universal concurrent constraint programing
Ver producto
Acceso Cerrado
ID Minciencias: CAP_LIB-0000150525-52
Ranking: CAP_LIB-GC_CAP_LIB
Carlos Alberto Olarte Vega
Frank D Valencia
Frank Valencia
Tópico:
Formal Methods in Verification
Publicado: 2008
Citaciones:
38
Altmétricas:
0
Publicaciones editoriales no especializadas
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000086614-30001
Ranking: ART-ART_B
Fuente: Lecture notes in computer science
JESUS ALEXANDER ARANDA BUENO
Gerard Assayag
Carlos Alberto Olarte Vega
Jorge Andres Perez Parra
Camilo Rueda Calderon
Mauricio Toro Bermúdez
Frank Valencia
Tópico:
Formal Methods in Verification
Publicado: 2009
Citaciones:
27
Altmétricas:
0
Artículo de revista
Concurrent constraints models of music interaction
Ver producto
Acceso Abierto
ID Minciencias: CAP_LIB-0000086614-30006
Ranking: CAP_LIB-GC_CAP_LIB
Fuente: HAL (Le Centre pour la Communication Scientifique Directe)
Mauricio Toro Bermúdez
Camilo Rueda Calderon
Frank Valencia
Gerardo M Sarria M
Carlos Alberto Olarte Vega
Gerardo Mauricio Sarria Montemiranda
Tópico:
Model-Driven Software Engineering Techniques
Publicado: 2011
Citaciones:
27
Capítulo de libro
A General Proof System for Modalities in Concurrent Constraint Programming
Ver producto
Acceso Cerrado
Fuente: Lecture notes in computer science
Vivek Nigam
Carlos Alberto Olarte Vega
Elaine Pimentel
Tópico:
Logic, programming, and type systems
Publicado: 2013
Citaciones:
24
Altmétricas:
0
Capítulo de libro
A Declarative Language for Dynamic Multimedia Interaction Systems
Ver producto
Acceso Abierto
ID Minciencias: ART-0000086614-30022
Ranking: ART-ART_C
Fuente: Communications in computer and information science
Carlos Alberto Olarte Vega
Camilo Rueda Calderon
Tópico:
Model-Driven Software Engineering Techniques
Publicado: 2009
Citaciones:
21
Altmétricas:
0
Artículo de revista
Modelling non-Markovian dynamics in biochemical reactions
Ver producto
Acceso Abierto
ID Minciencias: ART-0000150525-1
Ranking: ART-ART_A1
Fuente: BMC Systems Biology
Davide Chiarugi
Moreno FALASCHI
Diana Hermith
Carlos Alberto Olarte Vega
Luca Torella
Tópico:
Gene Regulatory Network Analysis
Publicado: 2015
Citaciones:
20
Altmétricas:
0
Artículo de revista
The expressivity of universal timed CCP
Ver producto
Acceso Abierto
ID Minciencias: CAP_LIB-0000150525-51
Ranking: CAP_LIB-GC_CAP_LIB
Carlos Alberto Olarte Vega
Frank D Valencia
Frank Valencia
Tópico:
Advanced Authentication Protocols Security
Publicado: 2008
Citaciones:
20
Altmétricas:
0
Publicaciones editoriales no especializadas
Programming Languages with Applications to Biology and Security
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000150525-20
Ranking: ART-GC_ART
Fuente: Lecture notes in computer science
CHIARA BODEI
GIAN LUIGI FERRARI
Corrado Priami
Carlos Alberto Olarte Vega
Tópico:
Scientific Computing and Data Management
Publicado: 2015
Citaciones:
19
Altmétricas:
0
Publicaciones editoriales no especializadas
Subexponential concurrent constraint programming
Ver producto
Acceso Abierto
ID Minciencias: ART-0000150525-5
Ranking: ART-ART_A1
Fuente: Theoretical Computer Science
Carlos Alberto Olarte Vega
Elaine Pimentel
Vivek Nigam
Tópico:
Logic, programming, and type systems
Publicado: 2015
Citaciones:
18
Altmétricas:
0
Artículo de revista
1
NaN
NaN / pág.
