×

zbMATH — the first resource for mathematics

Tabareau, Nicolas

Compute Distance To:
Author ID: tabareau.nicolas Recent zbMATH articles by "Tabareau, Nicolas"
Published as: Tabareau, Nicolas
External Links: MGP
Documents Indexed: 22 Publications since 2004

Publications by Year

Citations contained in zbMATH

12 Publications have been cited 64 times in 60 Documents Cited by Year
A contraction theory approach to stochastic incremental stability. Zbl 1367.60073
Pham, Quang-Cuong; Tabareau, Nicolas; Slotine, Jean-Jacques
20
2009
An explicit formula for the free exponential modality of linear logic. Zbl 1248.03080
Melliès, Paul-André; Tabareau, Nicolas; Tasson, Christine
16
2009
Resource modalities in tensor logic. Zbl 1223.03048
Melliès, Paul-André; Tabareau, Nicolas
10
2010
On timed automata with input-determined guards. Zbl 1109.68503
D’Souza, Deepak; Tabareau, Nicolas
6
2004
Universe polymorphism in Coq. Zbl 1416.68179
Sozeau, Matthieu; Tabareau, Nicolas
3
2014
Towards certified meta-programming with typed Template-Coq. Zbl 06946971
Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Sozeau, Matthieu; Tabareau, Nicolas
2
2018
Extending type theory with forcing. Zbl 1364.03016
Jaber, Guilhem; Tabareau, Nicolas; Sozeau, Matthieu
2
2012
Foundations of dependent interoperability. Zbl 06913641
Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, Éric
1
2018
The definitional side of the forcing. Zbl 1394.68063
Jaber, Guilhem; Lewertowski, Gabriel; Pédrot, Pierre-Marie; Sozeau, Matthieu; Tabareau, Nicolas
1
2016
Partial type equivalences for verified dependent interoperability. Zbl 1360.68322
Dagand, Pierre-Evariste; Tabareau, Nicolas; Tanter, Éric
1
2016
An algebraic account of references in game semantics. Zbl 1337.68074
Melliès, Paul-André; Tabareau, Nicolas
1
2009
Geometry of the superior colliculus mapping and efficient oculomotor computation. Zbl 1125.92016
Tabareau, Nicolas; Bennequin, Daniel; Berthoz, Alain; Slotine, Jean-Jacques; Girard, Benoît
1
2007
Towards certified meta-programming with typed Template-Coq. Zbl 06946971
Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Sozeau, Matthieu; Tabareau, Nicolas
2
2018
Foundations of dependent interoperability. Zbl 06913641
Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, Éric
1
2018
The definitional side of the forcing. Zbl 1394.68063
Jaber, Guilhem; Lewertowski, Gabriel; Pédrot, Pierre-Marie; Sozeau, Matthieu; Tabareau, Nicolas
1
2016
Partial type equivalences for verified dependent interoperability. Zbl 1360.68322
Dagand, Pierre-Evariste; Tabareau, Nicolas; Tanter, Éric
1
2016
Universe polymorphism in Coq. Zbl 1416.68179
Sozeau, Matthieu; Tabareau, Nicolas
3
2014
Extending type theory with forcing. Zbl 1364.03016
Jaber, Guilhem; Tabareau, Nicolas; Sozeau, Matthieu
2
2012
Resource modalities in tensor logic. Zbl 1223.03048
Melliès, Paul-André; Tabareau, Nicolas
10
2010
A contraction theory approach to stochastic incremental stability. Zbl 1367.60073
Pham, Quang-Cuong; Tabareau, Nicolas; Slotine, Jean-Jacques
20
2009
An explicit formula for the free exponential modality of linear logic. Zbl 1248.03080
Melliès, Paul-André; Tabareau, Nicolas; Tasson, Christine
16
2009
An algebraic account of references in game semantics. Zbl 1337.68074
Melliès, Paul-André; Tabareau, Nicolas
1
2009
Geometry of the superior colliculus mapping and efficient oculomotor computation. Zbl 1125.92016
Tabareau, Nicolas; Bennequin, Daniel; Berthoz, Alain; Slotine, Jean-Jacques; Girard, Benoît
1
2007
On timed automata with input-determined guards. Zbl 1109.68503
D’Souza, Deepak; Tabareau, Nicolas
6
2004
all top 5

Cited by 117 Authors

5 Tabareau, Nicolas
4 Melliès, Paul-André
3 Terui, Kazushige
2 Basaldella, Michele
2 Bersani, Marcello M.
2 Geeraerts, Gilles
2 Laird, James D.
2 Laird, Jim
2 Lenisa, Marina
2 Manzonetto, Giulio
2 Mazza, Damiano
2 McCusker, Guy Andrew
2 Pang, Hongbo
2 Pietro, Pierluigi San
2 Raskin, Jean-François
2 Rossi, Matteo A. C.
2 Saurin, Alexis
2 Slotine, Jean-Jacques E.
2 Sznajder, Nathalie
2 Tasson, Christine
2 Zhao, Jun
1 Abate, Alessandro
1 Abrahamsson, Oskar
1 Ahbe, Eva
1 Ahrens, Benedikt
1 Anand, Abhishek
1 Arapostathis, Aristotle
1 Aschemann, Harald
1 Auer, Ekaterina
1 Beikzadeh, Hossein
1 Ben Hamed, Bassem
1 Birkedal, Lars
1 Biswas, Anup
1 Bizjak, Aleš
1 Boffi, Nicholas M.
1 Boulier, Simon
1 Bouvrie, Jake
1 Brunel, Aloïs
1 Carroll, Johnson
1 Cheah, Chien Chern
1 Churchill, Martin
1 Clouston, Ranald A.
1 Cohen, Cyril
1 Constantinescu, Daniela
1 Crubillé, Raphaëlle
1 Dabrowski, Yoann
1 Dagand, Pierre-Evariste
1 de Paiva, Valeria
1 Dötschel, Thomas
1 Eades, Harley III
1 Ehrhard, Thomas
1 Erjaee, Gholamhossien
1 Farahi, Mohammad Hadi
1 Forster, Yannick
1 Frey, Jonas
1 Futatsugi, Kokichi
1 Gaboardi, Marco
1 Goossens, H. H. L. M.
1 Grathwohl, Hans Bugge
1 Hill, David John
1 Ho, Hsi-Ming
1 Ho, Son Lam
1 Honsell, Furio
1 Iannelli, Andrea
1 Imsland, Lars
1 Ji, Yan
1 Jouffroy, Jerome
1 Kanabar, Hrutvik
1 Kar, Indra Narayan
1 Kerjean, Marie
1 Kirst, Dominik
1 Kumar, Ramana
1 Kunze, Fabian
1 Lavaei, Abolfazl
1 Li, Yuchun
1 Licata, Daniel R.
1 Liu, Tao
1 Liu, Xiaotao
1 Liu, Ximei
1 Maksimov, D. Yu.
1 Malecha, Gregory
1 Maree, Johannes Philippus
1 Margaliot, Michael
1 Marquez, Horacio Jose
1 Matthes, Ralph
1 Mohamed, Majeed
1 Murfet, Daniel
1 Myreen, Magnus O.
1 New, Max S.
1 Norrish, Michael
1 Ogawa, Mizuhito
1 Ouaknine, Joel O.
1 Pacaud Lemay, Jean-Simon
1 Pagani, Michele
1 Paykin, Jennifer
1 Phillips, Sean
1 Rauh, Andreas
1 Redamalla, Rekha
1 Riba, Colin
1 Ruzitalab, Ahmad
...and 17 more Authors

Citations by Year