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
JESUS ALEXANDER ARANDA BUENO
Universidad del Valle
Escuela de Ingenieria de Sistemas y Computacion
Facultad de Ingenieria
Grupo de Investigación en Ambientes Visuales de Programación Aplicativa - Avispa
Grupo de Univalle en Inteligencia Artificial (guia)
Grupo de Estudios Doctorales en Informática - GEDI
Pontificia Universidad Javeriana
Perfil externo:
2
Citaciones:
182
Productos:
49
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...
49 Productos
Más citado
CSV
API
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
On the Asynchronous Nature of the Asynchronous π-Calculus
Ver producto
Acceso Abierto
ID Minciencias: ART-0000094269-31584
Ranking: ART-ART_B
Fuente: Lecture notes in computer science
Romain Beauxis
Catuscia Palamidessi
Frank Valencia
JESUS ALEXANDER ARANDA BUENO
Tópico:
Distributed systems and fault tolerance
Publicado: 2008
Citaciones:
25
Altmétricas:
0
Artículo de revista
On the Expressive Power of Restriction and Priorities in CCS with Replication
Ver producto
Acceso Abierto
ID Minciencias: ART-0000094269-31596
Ranking: ART-ART_A2
Fuente: Lecture notes in computer science
JESUS ALEXANDER ARANDA BUENO
Frank Valencia
Cristian Versari
Tópico:
semigroups and automata theory
Publicado: 2009
Citaciones:
20
Altmétricas:
0
Artículo de revista
Formal Methods for Components and Objects
Ver producto
Acceso Cerrado
Fuente: Lecture notes in computer science
JESUS ALEXANDER ARANDA BUENO
Cinzia Di Giusto
Catuscia Palamidessi
Frank D Valencia
Tópico:
Manufacturing Process and Optimization
Publicado: 2007
Citaciones:
18
Altmétricas:
0
Libro
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000094269-31562
Ranking: ART-ART_B
Fuente: Springer eBooks
Moreno FALASCHI
Carlos Alberto Olarte Vega
Catuscia Palamidessi
Frank D Valencia
Frank Valencia
JESUS ALEXANDER ARANDA BUENO
Tópico:
Logic, programming, and type systems
Publicado: 2007
Citaciones:
17
Altmétricas:
0
Artículo de revista
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
Ver producto
Acceso Abierto
ID Minciencias: ART-0000094269-31575
Ranking: ART-ART_A2
Fuente: Electronic Notes in Theoretical Computer Science
Diletta Romana CACCIAGRANO
Flavio CORRADINI
JESUS ALEXANDER ARANDA BUENO
Frank Valencia
Tópico:
Logic, programming, and type systems
Publicado: 2008
Citaciones:
16
Altmétricas:
0
Artículo de revista
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
Ver producto
Acceso Abierto
ID Minciencias: ART-0000086614-29997
Ranking: ART-ART_B
Fuente: Lecture notes in computer science
JESUS ALEXANDER ARANDA BUENO
Jorge Andres Perez Parra
Camilo Rueda Calderon
Frank Valencia
Tópico:
Model-Driven Software Engineering Techniques
Publicado: 2008
Citaciones:
9
Altmétricas:
0
Artículo de revista
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000094269-31574
Ranking: ART-ART_B
Fuente: Lecture notes in computer science
JESUS ALEXANDER ARANDA BUENO
Cinzia Di Giusto
Mogens Nielsen
Frank Valencia
Tópico:
Computability, Logic, AI Algorithms
Publicado: 2007
Citaciones:
8
Altmétricas:
0
Artículo de revista
On Recursion, Replication and Scope Mechanisms in Process Calculi
Ver producto
Acceso Abierto
Fuente: Lecture notes in computer science
JESUS ALEXANDER ARANDA BUENO
Cinzia Di Giusto
Catuscia Palamidessi
Frank Valencia
Tópico:
Formal Methods in Verification
Publicado: 2007
Citaciones:
7
Altmétricas:
0
Artículo de revista
Concurrent and Reactive Constraint Programming
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000094269-31589
Ranking: ART-ART_B
Fuente: Lecture notes in computer science
MAURIZIO GABBRIELLI
Catuscia Palamidessi
Frank Valencia
JESUS ALEXANDER ARANDA BUENO
Tópico:
Formal Methods in Verification
Publicado: 2010
Citaciones:
7
Altmétricas:
0
Artículo de revista
1
NaN
NaN / pág.
