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
Julian Eduardo Gutierrez Santiago
Grupo de Investigación en Ambientes Visuales de Programación Aplicativa - AVISPA
Pontificia Universidad Javeriana
Universidad del Valle
Perfil externo:
Citaciones:
217
Productos:
35
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...
35 Productos
Más citado
CSV
API
From model checking to equilibrium checking: Reactive modules for rational verification
Ver producto
Acceso Abierto
ID Minciencias: ART-0001314661-39
Ranking: ART-ART_A1
Fuente: Artificial Intelligence
Julian Eduardo Gutierrez Santiago
Bernhard Paul Harrenstein
Michael Wooldridge
Tópico:
Formal Methods in Verification
Publicado: 2017
Citaciones:
33
Altmétricas:
0
Artículo de revista
The Winning Ways of Concurrent Games
Ver producto
Acceso Abierto
ID Minciencias: ART-0001314661-12
Ranking: ART-GC_ART
Pierre Clairambault
Julian Eduardo Gutierrez Santiago
Glynn Winskel
Tópico:
Logic, programming, and type systems
Publicado: 2012
Citaciones:
30
Altmétricas:
0
Publicaciones editoriales no especializadas
Imperfect information in Reactive Modules games
Ver producto
Acceso Abierto
ID Minciencias: ART-0001314661-42
Ranking: ART-ART_A2
Fuente: Information and Computation
Julian Eduardo Gutierrez Santiago
Giuseppe Perelli
Michael Wooldridge
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 2018
Citaciones:
24
Altmétricas:
0
Artículo de revista
Expresiveness and Complexity Results for Strategic Reasoning
Ver producto
Acceso Cerrado
ID Minciencias: ART-0001314661-17
Ranking: ART-GC_ART
Fuente: International Conference on Concurrency Theory
Julian Gutierrez
Bernhard Paul Harrenstein
Michael Wooldridge
Julian Eduardo Gutierrez Santiago
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 2015
Citaciones:
19
Altmétricas:
0
Publicaciones editoriales no especializadas
Logics and Bisimulation Games for Concurrency, Causality and Conflict
Ver producto
Acceso Abierto
ID Minciencias: ART-0001314661-7
Ranking: ART-GC_ART
Fuente: Lecture notes in computer science
Julian Eduardo Gutierrez Santiago
Tópico:
Logic, programming, and type systems
Publicado: 2009
Citaciones:
13
Altmétricas:
0
Artículo de revista
Reasoning about equilibria in game-like concurrent systems
Ver producto
Acceso Cerrado
Fuente: Principles of Knowledge Representation and Reasoning
Julian Gutierrez
Bernhard Paul Harrenstein
Michael Wooldridge
Julian Eduardo Gutierrez Santiago
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 2014
Citaciones:
12
Capítulo de libro
Timed Concurrent Constraint Programming for Analysing Biological Systems
Ver producto
Acceso Abierto
ID Minciencias: ART-0000086614-30003
Ranking: ART-ART_A2
Fuente: Electronic Notes in Theoretical Computer Science
Julian Eduardo Gutierrez Santiago
Jorge Andres Perez Parra
Camilo Rueda Calderon
Frank Valencia
Tópico:
Formal Methods in Verification
Publicado: 2007
Citaciones:
11
Altmétricas:
0
Artículo de revista
Equilibria of concurrent games on event structures
Ver producto
Acceso Abierto
ID Minciencias: ART-0001314661-18
Ranking: ART-GC_ART
Julian Eduardo Gutierrez Santiago
Michael Wooldridge
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 2014
Citaciones:
11
Altmétricas:
0
Publicaciones editoriales no especializadas
Concurrent Logic Games on Partial Orders
Ver producto
Acceso Cerrado
ID Minciencias: ART-0001314661-9
Ranking: ART-GC_ART
Fuente: Lecture notes in computer science
Julian Eduardo Gutierrez Santiago
Tópico:
Formal Methods in Verification
Publicado: 2011
Citaciones:
10
Altmétricas:
0
Artículo de revista
Model-Checking Games for Fixpoint Logics with Partial Order Models
Ver producto
Acceso Cerrado
ID Minciencias: ART-0001314661-10
Ranking: ART-ART_A2
Fuente: Lecture notes in computer science
Julian Eduardo Gutierrez Santiago
Julian Bradfield
Tópico:
Formal Methods in Verification
Publicado: 2009
Citaciones:
10
Altmétricas:
0
Artículo de revista
1
NaN
NaN / pág.
