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
Michael Wooldridge
Universidad de Oxford
Perfil externo:
Citaciones:
166
Productos:
10
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...
10 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
Rational Verification: From Model Checking to Equilibrium Checking
Ver producto
Acceso Abierto
Fuente: Proceedings of the AAAI Conference on Artificial Intelligence
Michael Wooldridge
Julian Gutierrez
Bernhard Paul Harrenstein
Enrico Marchioni
Giuseppe Perelli
Alexis Toumi
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 2016
Citaciones:
27
Altmétricas:
0
Artículo de revista
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
EVE: A Tool for Temporal Equilibrium Analysis
Ver producto
Acceso Cerrado
Fuente: Lecture notes in computer science
Julian Gutierrez
Muhammad Najib
Giuseppe Perelli
Michael Wooldridge
Tópico:
Formal Methods in Verification
Publicado: 2018
Citaciones:
24
Altmétricas:
0
Capítulo de libro
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
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
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
Nash equilibrium and bisimulation invariance
Ver producto
Acceso Cerrado
ID Minciencias: ART-0001314661-38
Ranking: ART-GC_ART
Fuente: International Conference on Concurrency Theory
Julian Eduardo Gutierrez Santiago
Bernhard Paul Harrenstein
Giuseppe Perelli
Michael Wooldridge
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 2017
Citaciones:
6
Altmétricas:
0
Publicaciones editoriales no especializadas
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
Ver producto
Acceso Cerrado
ID Minciencias: ART-0001314661-34
Ranking: ART-ART_A1
Fuente: Synthese
Julian Bradfield
Julian Eduardo Gutierrez Santiago
Michael Wooldridge
Tópico:
Formal Methods in Verification
Publicado: 2015
Citaciones:
5
Altmétricas:
0
Artículo de revista
Expressiveness and Nash Equilibrium in Iterated Boolean Games
Ver producto
Acceso Cerrado
ID Minciencias: CAP_LIB-0001314661-35
Ranking: CAP_LIB-GC_CAP_LIB
Fuente: Adaptive Agents and Multi-Agents Systems
Julian Gutierrez
Bernhard Paul Harrenstein
Giuseppe Perelli
Michael Wooldridge
Julian Eduardo Gutierrez Santiago
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 2016
Citaciones:
5
Altmétricas:
0
Publicaciones editoriales no especializadas
1
NaN
