 | 2009 |
|---|
| 10 |       | Paul-André Melliès,
Nicolas Tabareau,
Christine Tasson:
An Explicit Formula for the Free Exponential Modality of Linear Logic.
ICALP (2) 2009: 247-260 |
| 9 | | Nick Benton,
Nicolas Tabareau:
Compiling functional types to relational specifications for low level imperative code.
TLDI 2009: 3-14 |
| 8 | | Paul-André Melliès,
Nicolas Tabareau:
An Algebraic Account of References in Game Semantics.
Electr. Notes Theor. Comput. Sci. 249: 377-405 (2009) |
| 2008 |
|---|
| 7 | | Benoît Girard,
Nicolas Tabareau,
Quang-Cuong Pham,
Alain Berthoz,
Jean-Jacques E. Slotine:
Where neuroscience and dynamic system theory meet autonomous robotics: A contracting basal ganglia model for action selection.
Neural Networks 21(4): 628-641 (2008) |
| 2007 |
|---|
| 6 | | Paul-André Melliès,
Nicolas Tabareau:
Resource modalities in game semantics.
LICS 2007: 389-398 |
| 5 | | Nicolas Tabareau,
Daniel Bennequin,
Alain Berthoz,
Jean-Jacques E. Slotine,
Benoît Girard:
Geometry of the superior colliculus mapping and efficient oculomotor computation.
Biological Cybernetics 97(4): 279-292 (2007) |
| 4 | | Paul-André Melliès,
Nicolas Tabareau:
Resource modalities in game semantics
CoRR abs/0705.0462: (2007) |
| 2006 |
|---|
| 3 | | Deepak D'Souza,
Nicolas Tabareau:
On timed automata with input-determined guards
CoRR abs/cs/0601096: (2006) |
| 2 | | Nicolas Tabareau:
De l'oprateur de trace dans les jeux de Conway
CoRR abs/math/0607462: (2006) |
| 2004 |
|---|
| 1 | | Deepak D'Souza,
Nicolas Tabareau:
On Timed Automata with Input-Determined Guards.
FORMATS/FTRTFT 2004: 68-83 |
