nicolas tabareau

Citada per

	Totes	Des de 2020
Citacions	2292	1212
Índex h	27	19
Índex i10	47	31

260

130

195

200620072008200920102011201220132014201520162017201820192020202120222023202420259 15 15 40 69 47 57 85 120 96 91 99 113 194 188 235 238 231 244 72

Accés públic

Mostra-ho tot

24 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Matthieu SozeauResarcher, Inria Paris and PPSCorreu electrònic verificat a inria.fr
Éric TanterProfessor of Computer Science, University of ChileCorreu electrònic verificat a dcc.uchile.cl
Jean-Jacques SlotineMIT, Professor of Mechanical Engineering and Information Sciences, Professor of Brain SciencesCorreu electrònic verificat a mit.edu
Théo WinterhalterInria SaclayCorreu electrònic verificat a inria.fr
Paul-André MellièsCNRS, Université Paris CitéCorreu electrònic verificat a irif.fr
Benoît GirardDirecteur de Recherche, CNRSCorreu electrònic verificat a isir.upmc.fr
Phạm Quang CườngEureka RoboticsCorreu electrònic verificat a normalesup.org
Yannick ForsterCambium Team, Inria ParisCorreu electrònic verificat a inria.fr
Guilhem JaberUniversité de NantesCorreu electrònic verificat a univ-nantes.fr
Jesper CockxTU DelftCorreu electrònic verificat a sikanda.be
Meven Lennon- BertrandResearch Associate, University of CambridgeCorreu electrònic verificat a cam.ac.uk
Loïc PujetStockholm UniversityCorreu electrònic verificat a math.su.se
Pierre-Evariste DagandCNRSCorreu electrònic verificat a evr.ist
Christine TassonProfessorCorreu electrònic verificat a isae-supaero.fr
Gregory MalechaBedRock Systems, IncCorreu electrònic verificat a bedrocksystems.com
Rémi DouenceAssistant Professor, IMT AltantiqueCorreu electrònic verificat a imt-atlantique.fr
Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceCorreu electrònic verificat a iisc.ac.in
Nick BentonEngineering Manager, FacebookCorreu electrònic verificat a fb.com
Tom HirschowitzCNRSCorreu electrònic verificat a univ-smb.fr
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamCorreu electrònic verificat a cs.nott.ac.uk

Segueix

nicolas tabareau

Inria

Correu electrònic verificat a inria.fr - Pàgina d'inici

computer science


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
A contraction theory approach to stochastic incremental stability QC Pham, N Tabareau, JJ Slotine IEEE Transactions on Automatic Control 54 (4), 816-820, 2009	197	2009
The metacoq project M Sozeau, A Anand, S Boulier, C Cohen, Y Forster, F Kunze, G Malecha, ... Journal of automated reasoning 64 (5), 947-999, 2020	130	2020
How synchronization protects from noise N Tabareau, JJ Slotine, QC Pham PLoS computational biology 6 (1), e1000637, 2010	124	2010
Coq coq correct! verification of type checking and erasure for coq, in coq M Sozeau, S Boulier, Y Forster, N Tabareau, T Winterhalter Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019	120	2019
The next 700 syntactical models of type theory S Boulier, PM Pédrot, N Tabareau Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017	93	2017
Universe Polymorphism in Coq M Sozeau, N Tabareau International Conference on Interactive Theorem Proving, 499-514, 2014	88	2014
Definitional proof-irrelevance without K G Gilbert, J Cockx, M Sozeau, N Tabareau Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019	87	2019
Resource modalities in tensor logic PA Melliès, N Tabareau Annals of Pure and Applied Logic 161 (5), 632-653, 2010	80	2010
Where neuroscience and dynamic system theory meet autonomous robotics: a contracting basal ganglia model for action selection B Girard, N Tabareau, QC Pham, A Berthoz, JJ Slotine Neural Networks 21 (4), 628-641, 2008	77	2008
Towards Certified Meta-Programming with Typed Template-Coq A Anand, S Boulier, C Cohen, M Sozeau, N Tabareau International Conference on Interactive Theorem Proving, 20-39, 2018	74	2018
An explicit formula for the free exponential modality of linear logic PA Melliès, N Tabareau, C Tasson International Colloquium on Automata, Languages, and Programming, 247-260, 2009	58	2009
Failure is Not an Option: An Exceptional Type Theory PM Pédrot, N Tabareau Programming Languages and Systems: 27th European Symposium on Programming …, 2018	55	2018
Geometry of the superior colliculus mapping and efficient oculomotor computation N Tabareau, D Bennequin, A Berthoz, JJ Slotine, B Girard Biological cybernetics 97, 279-292, 2007	52	2007
Extending type theory with forcing G Jaber, N Tabareau, M Sozeau 2012 27th Annual IEEE Symposium on Logic in Computer Science, 395-404, 2012	51	2012
On timed automata with input-determined guards D d’Souza, N Tabareau International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2004	49	2004
The fire triangle: how to mix substitution, dependent elimination, and effects PM Pédrot, N Tabareau Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019	47	2019
Equivalences for free: univalent parametricity for effective transport N Tabareau, É Tanter, M Sozeau Proceedings of the ACM on Programming Languages 2 (ICFP), 1-29, 2018	47	2018
Compiling functional types to relational specifications for low level imperative code N Benton, N Tabareau Proceedings of the 4th international workshop on Types in language design …, 2009	47	2009
An effectful way to eliminate addiction to dependence PM Pédrot, N Tabareau 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017	44	2017
Eliminating reflection from type theory T Winterhalter, M Sozeau, N Tabareau Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019	41	2019

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors