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
Giuseppe Perelli
Universidad de Roma La Sapienza
Perfil externo:
Citaciones:
86
Productos:
5
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...
5 Productos
Más citado
CSV
API
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
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
