On fixpoint logics and equivalences for processes with restricted nondeterminism by Gutierrez, J

Concurrent logic games on partial orders by Gutierrez, J

On fixpoint logics and equivalences for processes with restricted nondeterminism by Gutierrez, J

Logics and bisimulation games for concurrency, causality and conflict by Gutierrez, J

A mathematical game semantics of concurrency and nondeterminism by Gutierrez, J

Cualquier tiempo pasado fue mejor by Pérez Gutiérrez, J.V.

Get full text

Secondary stroke prevention: challenges and solutions by Esenwa C, Gutierrez J

Get full text

Borel determinacy of concurrent games by Gutierrez, J, Winskel, G

Model-checking games for fixpoint logics with partial order models by Gutierrez, J, Bradfield, J

Equilibria of concurrent games on event structures by Gutierrez, J, Wooldridge, M

Model-checking games for fixpoint logics with partial order models by Gutierrez, J, Bradfield, J

Preface to the SR-2015 special issue by Gutierrez, J, Wooldridge, M

On the determinacy of concurrent games on event structures with infinite winning sets by Gutierrez, J, Winskel, G

Model-checking games for fixpoint logics with partial order models by Gutierrez, J, Bradfield, J

Mean-payoff games with ω-regular specifications by Gutierrez, J, Steeples, T, Wooldridge, M

Cooperative Concurrent Games by Gutierrez, J, Kraus, S, Wooldridge, M

A Modeling Framework to Estimate and Project Species Distributions in Space and Time by Raes, N, Aguirre Gutierrez, J

Can we expect to protect threatened species in protected areas? by Aguirre Gutierrez, J, Duivenvoorden, J

Iterated Boolean games for rational verification by Gutierrez, J, Gao, T, Wooldridge, M

Expressiveness and complexity results for strategic reasoning by Gutierrez, J, Harrenstein, P, Wooldridge, M