| 2009 |
|---|
| 8 | EE | Nick Benton,
Nicolas Tabareau:
Compiling functional types to relational specifications for low level imperative code.
TLDI 2009: 3-14 |
| 2008 |
|---|
| 7 | EE | 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 | EE | Paul-André Melliès,
Nicolas Tabareau:
Resource modalities in game semantics.
LICS 2007: 389-398 |
| 5 | EE | 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 | EE | Paul-André Melliès,
Nicolas Tabareau:
Resource modalities in game semantics
CoRR abs/0705.0462: (2007) |
| 2006 |
|---|
| 3 | EE | Deepak D'Souza,
Nicolas Tabareau:
On timed automata with input-determined guards
CoRR abs/cs/0601096: (2006) |
| 2 | EE | Nicolas Tabareau:
De l'oprateur de trace dans les jeux de Conway
CoRR abs/math/0607462: (2006) |
| 2004 |
|---|
| 1 | EE | Deepak D'Souza,
Nicolas Tabareau:
On Timed Automata with Input-Determined Guards.
FORMATS/FTRTFT 2004: 68-83 |
