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
Julian Bradfield
Universidad de Edimburgo
Perfil externo:
Citaciones:
19
Productos:
3
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...
3 Productos
Más citado
CSV
API
Model-Checking Games for Fixpoint Logics with Partial Order Models
Acceso Cerrado
ART-ART_A2
ID Minciencias: ART-0001314661-10
Fuente: Lecture notes in computer science
Julian Eduardo Gutierrez Santiago
Julian Bradfield
Temas:
Interleaving
Decidability
Model checking
Computer science
Modal μ-calculus
Expressive power
Fixed point
Partial order reduction
Semantics (computer science)
Temporal logic
Theoretical computer science
Class (philosophy)
Algorithm
Programming language
Mathematics
Description logic
Artificial intelligence
Multimodal logic
Zeroth-order logic
Mathematical analysis
Operating system
Publicado: 2009
Citaciones:
10
Altmétricas:
0
Artículo de revista
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
Model-checking games for fixpoint logics with partial order models
Acceso Abierto
Fuente: Information and Computation
Julian Eduardo Gutierrez Santiago
Julian Bradfield
Temas:
Order (exchange)
Fixed point
Computer science
Mathematics
Model checking
Mathematical economics
Theoretical computer science
Economics
Mathematical analysis
Finance
Publicado: 2010
Citaciones:
4
Altmétricas:
0
Artículo de revista
1
NaN
