Timed Concurrent Constraint Programming for Analysing Biological Systems. - Julian Gutierrez 001; Jorge A. Pérez 001; Camilo Rueda; Frank D. Valencia (MeCBIC@ICALP, 2006)

Logics and Bisimulation Games for Concurrency, Causality and Conflict. - Julian Gutierrez 001 (FoSSaCS, 2009)

Logics and Games for True Concurrency - Julian Gutierrez 001 (CoRR, 2010)

Concurrent Logic Games on Partial Orders. - Julian Gutierrez 001 (WoLLIC, 2011)

Model-checking games for fixpoint logics with partial order models. - Julian Gutierrez 001; Julian C. Bradfield (Inf. Comput., 2011)

On bisimulation and model-checking for concurrent systems with partial order semantics. - Julian Gutierrez 001 (2011)

The Winning Ways of Concurrent Games. - Pierre Clairambault; Julian Gutierrez 001; Glynn Winskel (LICS, 2012)

Imperfect Information in Logic and Concurrent Games. - Pierre Clairambault; Julian Gutierrez 001; Glynn Winskel (Computation, Logic, Games, and Quantum Foundations, 2013)

Borel Determinacy of Concurrent Games. - Julian Gutierrez 001; Glynn Winskel (CONCUR, 2013)

Equilibria of concurrent games on event structures. - Julian Gutierrez 001; Michael J. Wooldridge (CSL-LICS, 2014)

On the determinacy of concurrent games on event structures with infinite winning sets. - Julian Gutierrez 001; Glynn Winskel (J. Comput. Syst. Sci., 2014)

The μ-calculus alternation hierarchy collapses over structures with restricted connectivity. - Julian Gutierrez 001; Felix Klaedtke; Martin Lange (Theor. Comput. Sci., 2014)

Expresiveness and Complexity Results for Strategic Reasoning. - Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (CONCUR, 2015)

A Mathematical Game Semantics of Concurrency and Nondeterminism. - Julian Gutierrez 001 (ICTAC, 2015)

A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. - Alexis Toumi; Julian Gutierrez 001; Michael J. Wooldridge (ICTAC, 2015)

Iterated Boolean games. - Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (Inf. Comput., 2015)

Rational Verification: From Model Checking to Equilibrium Checking. - Michael J. Wooldridge; Julian Gutierrez 001; Paul Harrenstein; Enrico Marchioni; Giuseppe Perelli; Alexis Toumi (AAAI, 2016)

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction. - Julian C. Bradfield; Julian Gutierrez 001; Michael J. Wooldridge (Synth., 2016)

Iterated Games with LDL Goals over Finite Traces. - Julian Gutierrez 001; Giuseppe Perelli; Michael J. Wooldridge (AAMAS, 2017)

Iterated Boolean Games for Rational Verification. - Tong Gao; Julian Gutierrez 001; Michael J. Wooldridge (AAMAS, 2017)

Nash Equilibria in Concurrent Games with Lexicographic Preferences. - Julian Gutierrez 001; Aniello Murano; Giuseppe Perelli; Sasha Rubin; Michael J. Wooldridge (IJCAI, 2017)

From model checking to equilibrium checking: Reactive modules for rational verification. - Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (Artif. Intell., 2017)

Reasoning about equilibria in game-like concurrent systems. - Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (Ann. Pure Appl. Log., 2017)

Local Equilibria in Logic-Based Multi-Player Games. - Julian Gutierrez 001; Paul Harrenstein; Thomas Steeples; Michael J. Wooldridge (AAMAS, 2018)

EVE: A Tool for Temporal Equilibrium Analysis. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (ATVA, 2018)

Imperfect information in Reactive Modules games. - Julian Gutierrez 001; Giuseppe Perelli; Michael J. Wooldridge (Inf. Comput., 2018)

Preface to the SR-2015 special issue. - Julian Gutierrez 001; Michael J. Wooldridge (Inf. Comput., 2018)

On fixpoint logics and equivalences for processes with restricted nondeterminism. - Julian Gutierrez 001 (J. Log. Comput., 2018)

Federated logic conference (FLoC) at Oxford. - Daniele Ahmed; Katherine Fletcher; Julian Gutierrez 001 (ACM SIGLOG News, 2018)

Cooperative Concurrent Games. - Julian Gutierrez 001; Sarit Kraus; Michael J. Wooldridge (AAMAS, 2019)

Equilibrium Design for Concurrent Games. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (CONCUR, 2019)

On Computational Tractability for Rational Verification. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (IJCAI, 2019)

Nash Equilibrium and Bisimulation Invariance. - Julian Gutierrez 001; Paul Harrenstein; Giuseppe Perelli; Michael J. Wooldridge (Log. Methods Comput. Sci., 2019)

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (Artif. Intell., 2020)

Multi-Agent Reinforcement Learning with Temporal Logic Specifications. - Lewis Hammond; Alessandro Abate; Julian Gutierrez 001; Michael J. Wooldridge (AAMAS, 2021)

Rational Verification for Probabilistic Systems. - Julian Gutierrez 001; Lewis Hammond; Anthony W. Lin; Muhammad Najib; Michael J. Wooldridge (KR, 2021)

Equilibria for games with combined qualitative and quantitative objectives. - Julian Gutierrez 001; Aniello Murano; Giuseppe Perelli; Sasha Rubin; Thomas Steeples; Michael J. Wooldridge (Acta Informatica, 2021)

Rational verification: game-theoretic verification of multi-agent systems. - Alessandro Abate; Julian Gutierrez 001; Lewis Hammond; Paul Harrenstein; Marta Kwiatkowska; Muhammad Najib; Giuseppe Perelli; Thomas Steeples; Michael J. Wooldridge (Appl. Intell., 2021)

Multi-player games with LDL goals over finite traces. - Julian Gutierrez 001; Giuseppe Perelli; Michael J. Wooldridge (Inf. Comput., 2021)

Expressiveness and Nash Equilibrium in Iterated Boolean Games. - Julian Gutierrez 001; Paul Harrenstein; Giuseppe Perelli; Michael J. Wooldridge (ACM Trans. Comput. Log., 2021)

Giving Instructions in Linear Temporal Logic. - Julian Gutierrez 001; Sarit Kraus; Giuseppe Perelli; Michael J. Wooldridge (TIME, 2022)

Mean-Payoff Games with ω-Regular Specifications. - Julian Gutierrez 001; Thomas Steeples; Michael J. Wooldridge (Games, 2022)

Partial Order Games. - Valeria Zahoransky; Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (Games, 2022)

k-Prize Weighted Voting Game. - Wei-Chen Lee; David Hyland; Alessandro Abate; Edith Elkind; Jiarui Gan; Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (AAMAS, 2023)

Principal-Agent Boolean Games. - David Hyland; Julian Gutierrez 001; Michael J. Wooldridge (IJCAI, 2023)

A Matrix-Based Approach to Parity Games. - Saksham Aggarwal; Alejandro Stuckey de la Banda; Luke Yang; Julian Gutierrez 001 (TACAS (1), 2023)

Cooperative concurrent games. - Julian Gutierrez 001; Szymon Kowara; Sarit Kraus; Thomas Steeples; Michael J. Wooldridge (Artif. Intell., 2023)

k-Prize Weighted Voting Games. - Wei-Chen Lee; David Hyland; Alessandro Abate; Edith Elkind; Jiarui Gan; Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (CoRR, 2023)

Incentive Engineering for Concurrent Games. - David Hyland; Julian Gutierrez 001; Michael J. Wooldridge (TARK, 2023)

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). - Julian Gutierrez 001; Anthony W. Lin; Muhammad Najib; Thomas Steeples; Michael J. Wooldridge (CoRR, 2023)

On the complexity of rational verification. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (Ann. Math. Artif. Intell., 2023)

Rational Verification with Quantitative Probabilistic Goals. - David Hyland; Julian Gutierrez 001; Shankaranarayanan Krishna; Michael J. Wooldridge (AAMAS, 2024)

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. - Julian Gutierrez 001; Anthony W. Lin; Muhammad Najib; Thomas Steeples; Michael J. Wooldridge (CSL, 2024)

Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. - Julian Gutierrez 001; David Hyland; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (IJCAI, 2024)

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (Log. Methods Comput. Sci., 2024)

NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. - Zhixi Cai; Cristian Rojas Cardenas; Kevin Leo; Chenyuan Zhang; Kal Backman; Hanbing Li; Boying Li; Mahsa Ghorbanali; Stavya Datta; Lizhen Qu; Julian Gutierrez 001; Alexey Ignatiev; et al. (IEEE Robotics Autom. Lett., 2025)