Julian Gutierrez

Процитировано

	Все	Начиная с 2020 г.
Статистика цитирования	948	546
h-индекс	19	15
i10-индекс	30	19

160

120

200620072008200920102011201220132014201520162017201820192020202120222023202420254 3 10 19 5 12 11 14 25 19 53 72 69 69 59 101 70 142 157 12

Общий доступ

Просмотреть все

33 статьи

0 статей

доступно

недоступно

На основе финансирования

Соавторы

Michael WooldridgeUniversity of OxfordПодтвержден адрес электронной почты в домене cs.ox.ac.uk
Giuseppe PerelliAssociate Professor at Sapienza University of RomeПодтвержден адрес электронной почты в домене di.uniroma1.it
Paul HarrensteinPost-doctoral researcher, University of OxfordПодтвержден адрес электронной почты в домене in.tum.de
Muhammad NajibHeriot-Watt UniversityПодтвержден адрес электронной почты в домене hw.ac.uk
Glynn WinskelUniversity of CambridgeПодтвержден адрес электронной почты в домене cl.cam.ac.uk
Alexis ToumiPlantingSpaceПодтвержден адрес электронной почты в домене planting.space
Jorge A. PérezAssociate Professor, University of GroningenПодтвержден адрес электронной почты в домене rug.nl
Pierre ClairambaultCNRS & LIS, Aix-Marseille UniversitéПодтвержден адрес электронной почты в домене cnrs.fr
Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIПодтвержден адрес электронной почты в домене unina.it
Sasha RubinUniversity of SydneyПодтвержден адрес электронной почты в домене sydney.edu.au
Enrico MarchioniLecturer at the Department of Electronics and Computer Science, University of SouthamptonПодтвержден адрес электронной почты в домене soton.ac.uk
Sarit KrausProfessor Of Computer Science, Bar-Ilan UniversityПодтвержден адрес электронной почты в домене cs.biu.ac.il
Alejandro ArbelaezAutonomous University of MadridПодтвержден адрес электронной почты в домене uam.es
Frank D. ValenciaCNRS, École Polytechnique de ParisПодтвержден адрес электронной почты в домене lix.polytechnique.fr
Martin LangeProfessor of Computer Science, University of KasselПодтвержден адрес электронной почты в домене uni-kassel.de
Carlos OlarteAssociate Professor at Université Sorbonne Paris NordПодтвержден адрес электронной почты в домене lipn.univ-paris13.fr

Julian Gutierrez

Associate Professor, University of Sussex

Подтвержден адрес электронной почты в домене sussex.ac.uk - Главная страница

Logic Game theory Multiagent systems Formal verification Decision theory


Название По числу цитат По году По названию	Процитировано Процитировано	Год
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	62	2016
Multi-Agent Reinforcement Learning with Temporal Logic Specifications L Hammond, A Abate, J Gutierrez, M Wooldridge arXiv preprint arXiv:2102.00582, 2021	52	2021
From model checking to equilibrium checking: Reactive modules for rational verification J Gutierrez, P Harrenstein, M Wooldridge Artificial Intelligence 248, 123-157, 2017	48	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	37	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
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	33	2021
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games J Gutierrez, M Najib, G Perelli, M Wooldridge Artificial Intelligence 287, 103353, 2020	32	2020
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
Expresiveness and complexity results for strategic reasoning J Gutierrez, P Harrenstein, M Wooldridge 26th International Conference on Concurrency Theory (CONCUR 2015), 2015	27	2015
Cooperative concurrent games J Gutierrez, S Kowara, S Kraus, T Steeples, M Wooldridge Artificial Intelligence 314, 103806, 2023	21	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	20	2021
On Computational Tractability for Rational Verification J Gutierrez, M Najib, G Perelli, M Wooldridge Schloss Dagstuhl, 2019	20	2019
Nash Equilibrium and Bisimulation Invariance M Wooldridge, G Perelli, P Harrenstein, J Gutierrez Logical Methods in Computer Science 15, 2019	19*	2019
Equilibrium Design for Concurrent Games J Gutierrez, M Najib, G Perelli, M Wooldridge 30th International Conference on Concurrency Theory (CONCUR 2019), 2019	19	2019
On bisimulation and model-checking for concurrent systems with partial order semantics J Gutierrez The University of Edinburgh, 2011	19	2011

В данный момент система не может выполнить эту операцию. Повторите попытку позднее.

Статьи 1–20

Ссылок за год

Повторяющиеся цитирования

Объединенные цитирования

СоавторыСоавторы

Подписаться

Процитировано

Соавторы