dblp.uni-trier.dewww.uni-trier.de

Nicolas Tabareau Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
9EEPaul-André Melliès, Nicolas Tabareau, Christine Tasson: An Explicit Formula for the Free Exponential Modality of Linear Logic. ICALP (2) 2009: 247-260
8EENick Benton, Nicolas Tabareau: Compiling functional types to relational specifications for low level imperative code. TLDI 2009: 3-14
2008
7EEBenoî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
6EEPaul-André Melliès, Nicolas Tabareau: Resource modalities in game semantics. LICS 2007: 389-398
5EENicolas 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)
4EEPaul-André Melliès, Nicolas Tabareau: Resource modalities in game semantics CoRR abs/0705.0462: (2007)
2006
3EEDeepak D'Souza, Nicolas Tabareau: On timed automata with input-determined guards CoRR abs/cs/0601096: (2006)
2EENicolas Tabareau: De l'oprateur de trace dans les jeux de Conway CoRR abs/math/0607462: (2006)
2004
1EEDeepak D'Souza, Nicolas Tabareau: On Timed Automata with Input-Determined Guards. FORMATS/FTRTFT 2004: 68-83

Coauthor Index

1Daniel Bennequin [5]
2Nick Benton (P. N. Benton) [8]
3Alain Berthoz [5] [7]
4Deepak D'Souza [1] [3]
5Benoît Girard [5] [7]
6Paul-André Melliès [4] [6] [9]
7Quang-Cuong Pham [7]
8Jean-Jacques E. Slotine [5] [7]
9Christine Tasson [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)