Nicolas Tabareau

Publications

Citations

H-Index

2006

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Université Paris Cité

Nantes Université

Centre National de la Recherche Scientifique

University of Chile

Nicolas Tabareau is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, automated reasoning, and formal methods.

ORCID

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationSoftware AnalysisProgram AnalysisSemanticsSoftware Design

Publications per year

2006–2024

Publications

A Contraction Theory Approach to Stochastic Incremental Stability

Quang‐Cuong Pham, Nicolas Tabareau, J.-J.E. Slotine · IEEE Transactions on Automatic Control · 2009 · 174 citations · Full text

Engineering, Stability, Stochastic System +7

How Synchronization Protects from Noise

Nicolas Tabareau, Jean-Jacques Slotine, Quang‐Cuong Pham · PLoS Computational Biology · 2010 · 99 citations · Full text

The MetaCoq Project

Matthieu Sozeau, Abhishek Anand, Simon Boulier et al. · Journal of Automated Reasoning · 2020 · 71 citations

Engineering, Graph Query Language, Very Large Database +6

Coq Coq correct! verification of type checking and erasure for Coq, in Coq

Matthieu Sozeau, Simon Boulier, Yannick Forster et al. · Proceedings of the ACM on Programming Languages · 2019 · 60 citations · Full text

Engineering, Coq Definitions, Type Theory +18

Where neuroscience and dynamic system theory meet autonomous robotics: A contracting basal ganglia model for action selection

Benoît Girard, Nicolas Tabareau, Quang‐Cuong Pham et al. · Neural Networks · 2008 · 57 citations · Full text

Autonomous Robotics, Cognitive Science, Contracting Basal +14

Rows per page

1–5 of 29