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.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/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
Acceso Abierto
ART-ART_A1
ID Minciencias: ART-0001314661-39
Fuente: Artificial Intelligence
Julian Eduardo Gutierrez Santiago
Bernhard Paul Harrenstein
Michael Wooldridge
Temas:
Nondeterministic algorithm
Computer science
Temporal logic
Model checking
Linear temporal logic
Computation tree logic
Theoretical computer science
Nash equilibrium
Range (aeronautics)
Game theory
Equilibrium selection
Mathematical economics
Mathematics
Repeated game
Materials science
Composite material
Publicado: 2017
Citaciones:
33
Altmétricas:
0
Artículo de revista
Rational Verification: From Model Checking to Equilibrium Checking
Acceso Abierto
Fuente: Proceedings of the AAAI Conference on Artificial Intelligence
Michael Wooldridge
Julian Gutierrez
Bernhard Paul Harrenstein
Enrico Marchioni
Giuseppe Perelli
Alexis Toumi
Temas:
Model checking
Computer science
Formal verification
Key (lock)
Temporal logic
Formal methods
Computation
Computation tree logic
Work (physics)
Rational planning model
Software verification
Theoretical computer science
Software
Software engineering
Programming language
Software system
Computer security
Engineering
Software construction
Mechanical engineering
Civil engineering
Publicado: 2016
Citaciones:
27
Altmétricas:
0
Artículo de revista
Imperfect information in Reactive Modules games
Acceso Abierto
ART-ART_A2
ID Minciencias: ART-0001314661-42
Fuente: Information and Computation
Julian Eduardo Gutierrez Santiago
Giuseppe Perelli
Michael Wooldridge
Temas:
Computer science
Imperfect
Perfect information
Mathematical economics
Mathematics
Linguistics
Philosophy
Publicado: 2018
Citaciones:
24
Altmétricas:
0
Artículo de revista
EVE: A Tool for Temporal Equilibrium Analysis
Acceso Cerrado
Fuente: Lecture notes in computer science
Julian Gutierrez
Muhammad Najib
Giuseppe Perelli
Michael Wooldridge
Temas:
Temporal logic
Computer science
Linear temporal logic
Simple (philosophy)
Nash equilibrium
Programming language
Theoretical computer science
Algorithm
Mathematical economics
Mathematics
Philosophy
Epistemology
Publicado: 2018
Citaciones:
24
Altmétricas:
0
Capítulo de libro
Expresiveness and Complexity Results for Strategic Reasoning
Acceso Cerrado
ART-GC_ART
ID Minciencias: ART-0001314661-17
Fuente: International Conference on Concurrency Theory
Julian Eduardo Gutierrez Santiago
Bernhard Paul Harrenstein
Michael Wooldridge
Julian Eduardo Gutierrez Santiago
Temas:
Temporal logic
Computer science
Nash equilibrium
Theoretical computer science
Range (aeronautics)
Computation
Linear temporal logic
Zero (linguistics)
Mathematical economics
Mathematics
Algorithm
Linguistics
Philosophy
Materials science
Composite material
Publicado: 2015
Citaciones:
19
Altmétricas:
0
Publicaciones editoriales no especializadas
Reasoning about equilibria in game-like concurrent systems
Acceso Cerrado
Fuente: Principles of Knowledge Representation and Reasoning
Julian Gutierrez
Bernhard Paul Harrenstein
Michael Wooldridge
Temas:
Computer science
Quantifier (linguistics)
Key (lock)
Nash equilibrium
Temporal logic
Theoretical computer science
Path (computing)
Operator (biology)
Branching (polymer chemistry)
Game theory
Computation
Mathematical economics
Mathematics
Artificial intelligence
Algorithm
Programming language
Biochemistry
Chemistry
Materials science
Computer security
Repressor
Transcription factor
Composite material
Gene
Publicado: 2014
Citaciones:
12
Capítulo de libro
Equilibria of concurrent games on event structures
Acceso Abierto
ART-GC_ART
ID Minciencias: ART-0001314661-18
Julian Eduardo Gutierrez Santiago
Michael Wooldridge
Temas:
Computer science
Event (particle physics)
Physics
Quantum mechanics
Publicado: 2014
Citaciones:
11
Altmétricas:
0
Publicaciones editoriales no especializadas
Nash equilibrium and bisimulation invariance
Acceso Cerrado
ART-GC_ART
ID Minciencias: ART-0001314661-38
Fuente: International Conference on Concurrency Theory
Julian Eduardo Gutierrez Santiago
Bernhard Paul Harrenstein
Giuseppe Perelli
Michael Wooldridge
Temas:
Bisimulation
Nash equilibrium
Computer science
Mathematical economics
Best response
Game theory
Perspective (graphical)
Normal-form game
Set (abstract data type)
Theoretical computer science
Repeated game
Mathematics
Artificial intelligence
Programming language
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
Acceso Cerrado
ART-ART_A1
ID Minciencias: ART-0001314661-34
Fuente: Synthese
Julian Bradfield
Julian Eduardo Gutierrez Santiago
Michael Wooldridge
Temas:
Boolean data type
Mathematics
Dependency (UML)
Truth value
Variable (mathematics)
Computer science
Boolean expression
Value (mathematics)
Discrete mathematics
Order (exchange)
Theoretical computer science
Boolean function
Combinatorics
Artificial intelligence
Mathematical analysis
Statistics
Finance
Economics
Programming language
Publicado: 2015
Citaciones:
5
Altmétricas:
0
Artículo de revista
Expressiveness and Nash Equilibrium in Iterated Boolean Games
Acceso Cerrado
CAP_LIB-GC_CAP_LIB
ID Minciencias: CAP_LIB-0001314661-35
Fuente: Adaptive Agents and Multi-Agents Systems
Julian Eduardo Gutierrez Santiago
Bernhard Paul Harrenstein
Giuseppe Perelli
Michael Wooldridge
Julian Eduardo Gutierrez Santiago
Temas:
Iterated function
Nash equilibrium
Computer science
Theoretical computer science
Mathematical economics
Best response
Set (abstract data type)
Fragment (logic)
Linear temporal logic
Temporal logic
Discrete mathematics
Mathematics
Algorithm
Programming language
Mathematical analysis
Publicado: 2016
Citaciones:
5
Altmétricas:
0
Publicaciones editoriales no especializadas
1
NaN
