Silvain Rideau

According to our database, Silvain Rideau authored at least 6 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

A short note on groups in separably closed valued fields.

Silvain Rideau-Kikuchi

Ann. Pure Appl. Log., 2021

2017

Games and Strategies as Event Structures.

Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel

Log. Methods Comput. Sci., 2017

Definable and Invariant Types in Enrichments of NIP Theories.

Silvain Rideau, Pierre Simon

J. Symb. Log., 2017

2016

Concurrent Games.

Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel

CoRR, 2016

2011

Concurrent Strategies.

Silvain Rideau, Glynn Winskel

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

2010

Validating Register Allocation and Spilling.

Silvain Rideau, Xavier Leroy

Proceedings of the Compiler Construction, 19th International Conference, 2010