Julian Gutierrez

Citado por

	Total	Desde 2019
Citas	925	592
Índice h	19	16
Índice i10	29	21

160

120

20062007200820092010201120122013201420152016201720182019202020212022202320244 3 10 19 5 12 11 14 25 19 53 72 69 69 59 101 70 154 131

Acceso público

Ver todo

32 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Michael WooldridgeUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Giuseppe PerelliAssociate Professor at Sapienza University of RomeDirección de correo verificada de di.uniroma1.it
Paul HarrensteinPost-doctoral researcher, University of OxfordDirección de correo verificada de in.tum.de
Glynn WinskelUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
Alexis ToumiPlantingSpaceDirección de correo verificada de planting.space
Jorge A. PérezAssociate Professor, University of GroningenDirección de correo verificada de rug.nl
Pierre ClairambaultCNRS & LIS, Aix-Marseille UniversitéDirección de correo verificada de cnrs.fr
Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIDirección de correo verificada de unina.it
Sasha RubinUniversity of SydneyDirección de correo verificada de sydney.edu.au
Enrico MarchioniLecturer at the Department of Electronics and Computer Science, University of SouthamptonDirección de correo verificada de soton.ac.uk
Sarit KrausProfessor Of Computer Science, Bar-Ilan UniversityDirección de correo verificada de cs.biu.ac.il
Alejandro ArbelaezAutonomous University of MadridDirección de correo verificada de uam.es
Frank D. ValenciaCNRS, École Polytechnique de ParisDirección de correo verificada de lix.polytechnique.fr
Martin LangeProfessor of Computer Science, University of KasselDirección de correo verificada de uni-kassel.de
Carlos OlarteAssociate Professor at Université Sorbonne Paris NordDirección de correo verificada de lipn.univ-paris13.fr
Muhammad NajibHeriot-Watt UniversityDirección de correo verificada de hw.ac.uk

Seguir

Julian Gutierrez

Monash University Senior Lecturer

Dirección de correo verificada de monash.edu - Página principal

Logic Game theory Multiagent systems Formal verification Decision theory


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Iterated boolean games J Gutierrez, P Harrenstein, M Wooldridge Information and Computation 242, 53-79, 2015	84	2015
Rational Verification: From Model Checking to Equilibrium Checking M Wooldridge, J Gutierrez, P Harrenstein, E Marchioni, G Perelli, A Toumi AAAI 16, 4184-4191, 2016	61	2016
Multi-Agent Reinforcement Learning with Temporal Logic Specifications L Hammond, A Abate, J Gutierrez, M Wooldridge arXiv preprint arXiv:2102.00582, 2021	51	2021
From model checking to equilibrium checking: Reactive modules for rational verification J Gutierrez, P Harrenstein, M Wooldridge Artificial Intelligence 248, 123-157, 2017	47	2017
Reasoning about equilibria in game-like concurrent systems J Gutierrez, P Harrenstein, M Wooldridge Annals of Pure and Applied Logic 168 (2), 373-403, 2017	45	2017
The winning ways of concurrent games P Clairambault, J Gutierrez, G Winskel 2012 27th Annual IEEE Symposium on Logic in Computer Science, 235-244, 2012	40	2012
Imperfect information in reactive modules games J Gutierrez, G Perelli, M Wooldridge Information and Computation 261, 650-675, 2018	36	2018
EVE: A Tool for Temporal Equilibrium Analysis J Gutierrez, M Najib, G Perelli, M Wooldridge Automated Technology for Verification and Analysis: 16th International …, 2018	34	2018
A tool for the automated verification of Nash equilibria in concurrent games A Toumi, J Gutierrez, M Wooldridge Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015	34	2015
Timed concurrent constraint programming for analysing biological systems J Gutiérrez, JA Pérez, C Rueda, FD Valencia Electronic Notes in Theoretical Computer Science 171 (2), 117-137, 2007	32	2007
Nash equilibria in concurrent games with lexicographic preferences J Gutierrez, A Murano, G Perelli, S Rubin, M Wooldridge 2017 International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017	31	2017
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games J Gutierrez, M Najib, G Perelli, M Wooldridge Artificial Intelligence 287, 103353, 2020	30	2020
Rational verification: game-theoretic verification of multi-agent systems A Abate, J Gutierrez, L Hammond, P Harrenstein, M Kwiatkowska, M Najib, ... Applied Intelligence 51 (9), 6569-6584, 2021	29	2021
Expresiveness and complexity results for strategic reasoning J Gutierrez, P Harrenstein, M Wooldridge 26th International Conference on Concurrency Theory (CONCUR 2015), 2015	27	2015
On Computational Tractability for Rational Verification J Gutierrez, M Najib, G Perelli, M Wooldridge Schloss Dagstuhl, 2019	20	2019
Cooperative concurrent games J Gutierrez, S Kowara, S Kraus, T Steeples, M Wooldridge Artificial Intelligence 314, 103806, 2023	19	2023
Equilibria for games with combined qualitative and quantitative objectives J Gutierrez, A Murano, G Perelli, S Rubin, T Steeples, M Wooldridge Acta Informatica 58 (6), 585-610, 2021	19	2021
Nash Equilibrium and Bisimulation Invariance M Wooldridge, G Perelli, P Harrenstein, J Gutierrez Logical Methods in Computer Science 15, 2019	19*	2019
On bisimulation and model-checking for concurrent systems with partial order semantics J Gutierrez The University of Edinburgh, 2011	19	2011
Logics and bisimulation games for concurrency, causality and conflict J Gutierrez Foundations of Software Science and Computational Structures, 48-62, 2009	19	2009

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores