Julian Gutierrez

Lecturer, Department of Data Science & AI
Monash Data Futures Institute

EmailJulian.Gutierrez@monash.edu

Accepting PhD Students

PhD projects

Fully-funded PhD studentships at Monash (any topic within my research interests). Contact me by email if you are interested. More information below -- see PhD opportunities. Working with me: I do no supervise students in the fields of Machine Learning or Data Science.

Research activity per year

If you made any changes in Pure these will be visible here soon.

26 Conference Paper
14 Article
1 Editorial

26 results

Filter

2019

Cooperative concurrent games
Gutierrez, J., Kraus, S. & Wooldridge, M., 2019, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. Agmon, N. & E. Taylor, M. (eds.). Richland SC USA: International Foundation for Autonomous Agents and Multiagent Systems, p. 1198-1206 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Equilibrium design for concurrent games
Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., 2019, 30th International Conference on Concurrency Theory. Fokkink, W. & van Glabbeek, R. (eds.). Saarbrücken/Wadern Germany: LIPIcsSchloss Dagstuhl – Leibniz Center for Informatics, 16 p. 22. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File
On computational tractability for rational verification
Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence . Kraus, S. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 329-335 7 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File

2 Citations (Scopus)
2018

EVE: a tool for temporal equilibrium analysis
Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., 2018, Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018 Los Angeles, CA, USA, October 7–10, 2018 Proceedings. Lahiri, S. K. & Wang, C. (eds.). Cham Switzerland: Springer, p. 551-557 7 p. (Lecture Notes in Computer Science ; vol. 11138 ).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

10 Citations (Scopus)
Local equilibria in logic-based multi-player games
Gutierrez, J., Harrenstein, P., Steeples, T. & Wooldridge, M., 2018, Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems. Dastani, M. & Sukthankar, G. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 399-406 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File
2017

Iterated Boolean games for rational verification
Gao, T., Gutierrez, J. & Wooldridge, M., 2017, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. Das, S. & Durfee, E. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 705-713 9 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File

3 Citations (Scopus)
Iterated games with LDL goals over finite traces
Gutierrez, J., Perelli, G. & Wooldridge, M., 2017, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. Das, S. & Durfee, E. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 696-704 9 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File

8 Citations (Scopus)
Nash equilibria in concurrent games with lexicographic preferences
Gutierrez, J., Murano, A., Perelli, G., Rubin, S. & Wooldridge, M., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Sierra, C. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1067-1073 7 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File

12 Citations (Scopus)
Nash equilibrium and bisimulation invariance
Gutierrez, J., Harrenstein, P., Perelli, G. & Wooldridge, M., 2017, 28th International Conference on Concurrency Theory. Meyer, R. & Nestmann, U. (eds.). Saarbrücken/Wadern Germany: LIPIcsSchloss Dagstuhl – Leibniz Center for Informatics, 16 p. 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 85).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File

9 Citations (Scopus)
2016

Expressiveness and Nash equilibrium in iterated Boolean games
Gutierrez, J., Harrenstein, P., Perelli, G. & Wooldridge, M., 2016, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. Thangarajah, J. & Tuyls, K. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 707-715 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File

2 Citations (Scopus)
Imperfect information in Reactive Modules Games
Gutierrez, J., Perelli, G. & Wooldridge, M., 2016, Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-16). Baral, C., Delgrande, J. & Wolter, F. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 390-399 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

10 Citations (Scopus)
Rational verification: from model checking to equilibrium checking
Wooldridge, M., Gutierrez, J., Harrenstein, P., Marchioni, E., Perelli, G. & Toumi, A., 2016, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence . Schuurmans, D. & Wellman, M. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 4184-4190 7 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File

27 Citations (Scopus)
2015

A mathematical game semantics of concurrency and nondeterminism
Gutierrez, J., 2015, Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015 Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). Cham Switzerland: Springer, p. 597-607 11 p. (Lecture Notes in Computer Science ; vol. 9399).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
A tool for the automated verification of Nash equilibria in concurrent games
Toumi, A., Gutierrez, J. & Wooldridge, M., 2015, Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015 Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). Cham Switzerland: Springer, p. 583-594 12 p. (Lecture Notes in Computer Science ; vol. 9399).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

20 Citations (Scopus)
Expressiveness and complexity results for strategic reasoning
Gutierrez, J., Harrenstein, P. & Wooldridge, M., 2015, 26th International Conference on Concurrency Theory. Aceto, L. & de Frutos Escrig, D. (eds.). Saarbrücken/Wadern Germany: LIPIcsSchloss Dagstuhl – Leibniz Center for Informatics, p. 268-282 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 42).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File

14 Citations (Scopus)
2014

Equilibria of concurrent games on event structures
Gutierrez, J. & Wooldridge, M., 2014, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Henzinger, T. & Miller, D. (eds.). New York NY USA: Association for Computing Machinery (ACM), 10 p. 46
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File

7 Citations (Scopus)
On the structure of events in Boolean games
Bradfield, J., Gutierrez, J. & Wooldridge, M., 2014, LOFT 2014: The Eleventh Conference on Logic and The Foundations of Game and Decision Theory. Agotnes, T., Bonanno, G. & van der Hoek, W. (eds.). Bergen Norway: Springer, 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Reasoning about equilibria in game-like concurrent systems
Gutierrez, J., Harrenstein, P. & Wooldridge, M., 2014, Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning. Baral, C. & De Giacomo, G. (eds.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 408-417 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File

9 Citations (Scopus)
2013

Borel determinacy of concurrent games
Gutierrez, J. & Winskel, G., 2013, Concurrency Theory - 24th International Conference, CONCUR 2013, Proceedings. Springer, p. 516-530 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8052 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

1 Citation (Scopus)
Imperfect information in logic and concurrent games
Clairambault, P., Gutierrez, J. & Winskel, G., 2013, Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Coecke, B., Ong, L. & Panangaden, P. (eds.). Springer, p. 7-20 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7860 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

3 Citations (Scopus)
Iterated Boolean games
Gutierrez, J., Harrenstein, P. & Wooldridge, M., 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence (AAAI), p. 932-938 7 p. (IJCAI International Joint Conference on Artificial Intelligence).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

14 Citations (Scopus)
2012

The winning ways of concurrent games
Clairambault, P., Gutierrez, J. & Winskel, G., 2012, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012. IEEE, Institute of Electrical and Electronics Engineers, p. 235-244 10 p. 6280442. (Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

20 Citations (Scopus)
The μ-calculus alternation hierarchy collapses over structures with restricted connectivity
Gutierrez, J., Klaedtke, F. & Lange, M., 2012, 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012. Open Publishing Association, Vol. 96. p. 113-126 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access

2 Citations (Scopus)
2011

Concurrent logic games on partial orders
Gutierrez, J., 2011, Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Proceedings. Springer, p. 146-160 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6642 LNAI).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

6 Citations (Scopus)
2009

Logics and bisimulation games for concurrency, causality and conflict
Gutierrez, J., 2009, Foundations of Software Science and Computational Structures - 12th International Conference, FOSSACS 2009 - Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2009, Proc.. Springer, p. 48-62 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5504 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

13 Citations (Scopus)
Model-checking games for Fixpoint Logics with partial order models
Gutierrez, J. & Bradfield, J., 2009, CONCUR 2009 - Concurrency Theory - 20th International Conference, CONCUR 2009, Proceedings. Springer, p. 354-368 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5710 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

9 Citations (Scopus)

Search results