Julian Gutierrez

Available identifiers

zbMath Open gutierrez.julianMaRDI QIDQ345708

List of research outcomes

Publication	Date of Publication	Type
A variational approach for price formation models in one dimension	2024-04-11	Paper
Core Type Theory	2024-02-29	Paper
Incentive Engineering for Concurrent Games	2024-02-28	Paper
On the complexity of rational verification	2023-08-21	Paper
Machine learning architectures for price formation models	2023-07-06	Paper
Machine Learning architectures for price formation models with common noise	2023-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q6041367	2023-05-26	Paper
A Random-Supply Mean Field Game Price Model	2023-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q5875383	2023-02-03	Paper
Cooperative concurrent games	2023-01-04	Paper
A mean field game price model with noise	2022-08-25	Paper
The Potential Method For Price-Formation Models	2022-04-04	Paper
Partial order games	2022-03-09	Paper
Mean-payoff games with \(\omega\)-regular specifications	2022-03-09	Paper
Equilibria for games with combined qualitative and quantitative objectives	2021-12-15	Paper
A random-supply Mean Field Game price model	2021-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4986509	2021-04-27	Paper
Multi-player games with LDL goals over finite traces	2021-02-08	Paper
Automated temporal equilibrium analysis: verification and synthesis of multi-player games	2020-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q5111630	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4972730	2019-11-26	Paper
On fixpoint logics and equivalences for processes with restricted nondeterminism	2019-01-31	Paper
Imperfect information in reactive modules games	2018-06-14	Paper
Equilibria of concurrent games on event structures	2018-04-23	Paper
From model checking to equilibrium checking: reactive modules for rational verification	2017-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q5357709	2017-09-12	Paper
The Winning Ways of Concurrent Games	2017-05-16	Paper
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction	2017-03-14	Paper
Reasoning about equilibria in game-like concurrent systems	2016-12-02	Paper
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games	2016-02-25	Paper
A Mathematical Game Semantics of Concurrency and Nondeterminism	2016-02-25	Paper
Iterated Boolean games	2015-06-01	Paper
The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity	2014-12-02	Paper
On the determinacy of concurrent games on event structures with infinite winning sets	2014-06-10	Paper
Timed Concurrent Constraint Programming for Analysing Biological Systems	2013-12-06	Paper
Borel Determinacy of Concurrent Games	2013-08-12	Paper
Imperfect Information in Logic and Concurrent Games	2013-05-28	Paper
Concurrent Logic Games on Partial Orders	2011-05-27	Paper
Model-checking games for fixpoint logics with partial order models	2011-05-04	Paper
Model-Checking Games for Fixpoint Logics with Partial Order Models	2009-10-22	Paper
Logics and Bisimulation Games for Concurrency, Causality and Conflict	2009-03-31	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Julian Gutierrez