Julian Gutierrez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
16
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPAIOR | No-Opponent-Cycle Propagators for Solving Parity Games. | Gonzalo Hernandez, Julian Garcia, Julian Gutierrez, Guido Tack |
| 2026 | KR | Semantic Foundations of Neuro-Symbolic Multi-Agent Systems. | Julian Gutierrez |
| 2024 | CSL | Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. | Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge |
| 2024 | IJCAI | Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. | Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2023 | IJCAI | Principal-Agent Boolean Games. | David Hyland, Julian Gutierrez, Michael J. Wooldridge |
| 2023 | TACAS | A Matrix-Based Approach to Parity Games. | Saksham Aggarwal, Alejandro Stuckey de la Banda, Luke Yang, Julian Gutierrez |
| 2022 | EATIS | LOD-RoadTran18: Supporting the cross-border use of Road Traffic Data with Linked Open Data based on DATEX II. | Julian Gutierrez, J. Javier Samper, Ana Delgado, Jose Rocha, Bures Petr, Zuzana Purkrabkova |
| 2022 | TIME | Giving Instructions in Linear Temporal Logic. | Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge |
| 2021 | KR | Rational Verification for Probabilistic Systems. | Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge |
| 2019 | CONCUR | Equilibrium Design for Concurrent Games. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2019 | IJCAI | On Computational Tractability for Rational Verification. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2018 | ATVA | EVE: A Tool for Temporal Equilibrium Analysis. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2018 | ISPASS | Evaluating Performance Tradeoffs on the Radeon Open Compute Platform. | Yifan Sun, Saoni Mukherjee, Trinayan Baruah, Shi Dong, Julian Gutierrez, Prannoy Mohan, David R. Kaeli |
| 2018 | SC | Peachy Parallel Assignments (EduHPC 2018). | Eduard Ayguad, Lluc Alvarez, Fabio Banchelli, Martin Burtscher, Arturo Gonzlez-Escribano, Julian Gutierrez, David A. Joiner, David R. Kaeli, Fritz Previlon, Eduardo Rodriguez-Gutiez, David P. Bunde |
| 2018 | SC | Employing Student Retention Strategies for an Introductory GPU Programming Course. | Julian Gutierrez, Fritz Previlon, David R. Kaeli |
| 2017 | CONCUR | Nash Equilibrium and Bisimulation Invariance. | Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge |
| 2017 | IJCAI | Nash Equilibria in Concurrent Games with Lexicographic Preferences. | Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge |
| 2016 | AAAI | Rational Verification: From Model Checking to Equilibrium Checking. | Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi |
| 2016 | KR | Imperfect Information in Reactive Modules Games. | Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge |
| 2016 | SC | A Fast Level-Set Segmentation Algorithm for Image Processing Designed For Parallel Architectures. | Julian Gutierrez, Fanny Nina Paravecino, David R. Kaeli |
| 2015 | CONCUR | Expresiveness and Complexity Results for Strategic Reasoning. | Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge |
| 2015 | ICTAC | A Mathematical Game Semantics of Concurrency and Nondeterminism. | Julian Gutierrez |
| 2015 | ICTAC | A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. | Alexis Toumi, Julian Gutierrez, Michael J. Wooldridge |
| 2014 | CSL | Equilibria of concurrent games on event structures. | Julian Gutierrez, Michael J. Wooldridge |
| 2014 | KR | Reasoning about Equilibria in Game-Like Concurrent Systems. | Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge |
| 2013 | CONCUR | Borel Determinacy of Concurrent Games. | Julian Gutierrez, Glynn Winskel |
| 2013 | IJCAI | Iterated Boolean Games. | Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge |
| 2012 | LICS | The Winning Ways of Concurrent Games. | Pierre Clairambault, Julian Gutierrez, Glynn Winskel |
| 2011 | WoLLIC | Concurrent Logic Games on Partial Orders. | Julian Gutierrez |
| 2009 | CONCUR | Model-Checking Games for Fixpoint Logics with Partial Order Models. | Julian Gutierrez, Julian C. Bradfield |
| 2009 | FOSSACS | Logics and Bisimulation Games for Concurrency, Causality and Conflict. | Julian Gutierrez |