Silvain Rideau

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 3

Top Topics

Learning Agents

Equilibrium Strategies

Nash Equilibria

Top Venues

Log. Methods Comput. Sci.

Publications

Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
Games and Strategies as Event Structures. Log. Methods Comput. Sci. 13 (3) (2017)
Silvain Rideau, Pierre Simon
Definable and Invariant Types in Enrichments of NIP Theories. J. Symb. Log. 82 (1) (2017)
Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
Concurrent Games. CoRR (2016)
Silvain Rideau, Glynn Winskel
Concurrent Strategies. LICS (2011)
Silvain Rideau, Xavier Leroy
Validating Register Allocation and Spilling. CC (2010)