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
Bernhard Paul Harrenstein
Universidad de Oxford
Perfil externo:
Citaciones:
102
Productos:
6
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...
6 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
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
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
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
