Nicolas Tabareau

1.4k total citations
35 papers, 431 citations indexed

About

Nicolas Tabareau is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Nicolas Tabareau has authored 35 papers receiving a total of 431 indexed citations (citations by other indexed papers that have themselves been cited), including 30 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 9 papers in Information Systems. Recurrent topics in Nicolas Tabareau's work include Logic, programming, and type systems (26 papers), Logic, Reasoning, and Knowledge (12 papers) and Formal Methods in Verification (9 papers). Nicolas Tabareau is often cited by papers focused on Logic, programming, and type systems (26 papers), Logic, Reasoning, and Knowledge (12 papers) and Formal Methods in Verification (9 papers). Nicolas Tabareau collaborates with scholars based in France, Chile and United States. Nicolas Tabareau's co-authors include Quang‐Cuong Pham, J.-J.E. Slotine, Jean-Jacques Slotine, Matthieu Sozeau, Éric Tanter, Benoît Girard, Alain Berthoz, Paul-André Melliès, Yannick Forster and Daniel Bennequin and has published in prestigious journals such as IEEE Transactions on Automatic Control, PLoS Computational Biology and Journal of the ACM.

In The Last Decade

Nicolas Tabareau

28 papers receiving 420 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Nicolas Tabareau France	11	212	137	88	72	57	35	431
Wafaa S. Sayed Egypt	15	142 0.7×	120 0.9×	40 0.5×	57 0.8×	15 0.3×	52	572
Hui Yan China	13	161 0.8×	33 0.2×	19 0.2×	48 0.7×	47 0.8×	52	477
Kenya Jin’no Japan	9	179 0.8×	49 0.4×	47 0.5×	84 1.2×	32 0.6×	82	280
Dake He United States	15	225 1.1×	126 0.9×	59 0.7×	248 3.4×	45 0.8×	115	764
Hugo de Garis United States	12	421 2.0×	191 1.4×	57 0.6×	25 0.3×	139 2.4×	78	668
Sergio Barrachina Spain	12	256 1.2×	60 0.4×	20 0.2×	94 1.3×	7 0.1×	44	534
Bolun Chen China	9	139 0.7×	45 0.3×	9 0.1×	63 0.9×	32 0.6×	26	338
Alhussein Fawzi United Kingdom	3	171 0.8×	49 0.4×	18 0.2×	38 0.5×	14 0.2×	5	377
Takeshi Koshiba Japan	16	384 1.8×	91 0.7×	7 0.1×	101 1.4×	79 1.4×	63	762

Countries citing papers authored by Nicolas Tabareau

Since Specialization

Citations

This map shows the geographic impact of Nicolas Tabareau's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Nicolas Tabareau with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Nicolas Tabareau more than expected).

Fields of papers citing papers by Nicolas Tabareau

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Nicolas Tabareau. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Nicolas Tabareau. The network helps show where Nicolas Tabareau may publish in the future.

Co-authorship network of co-authors of Nicolas Tabareau

This figure shows the co-authorship network connecting the top 25 collaborators of Nicolas Tabareau. A scholar is included among the top collaborators of Nicolas Tabareau based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Nicolas Tabareau. Nicolas Tabareau is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Tabareau, Nicolas, et al.. (2025). Observational Equality Meets CIC. ACM Transactions on Programming Languages and Systems. 47(2). 1–35. 3 indexed citations

Sozeau, Matthieu, et al.. (2025). All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants. Proceedings of the ACM on Programming Languages. 9(POPL). 2253–2281.

Forster, Yannick, Matthieu Sozeau, & Nicolas Tabareau. (2024). Verified Extraction from Coq to OCaml. Proceedings of the ACM on Programming Languages. 8(PLDI). 52–75. 3 indexed citations

Tabareau, Nicolas, et al.. (2024). The Rewster: Type Preserving Rewrite Rules for the Coq Proof Assistant. SPIRE - Sciences Po Institutional REpository.

Sozeau, Matthieu, et al.. (2024). Correct and Complete Type Checking and Certified Erasure for Coq , in Coq. Journal of the ACM. 72(1). 1–74.

Tabareau, Nicolas, et al.. (2023). Impredicative Observational Equality. Proceedings of the ACM on Programming Languages. 7(POPL). 2171–2196. 8 indexed citations

Tabareau, Nicolas, et al.. (2023). The Rewster: The Coq Proof Assistant with Rewrite Rules. SPIRE - Sciences Po Institutional REpository.

Tabareau, Nicolas, et al.. (2022). A reasonably gradual type theory. Proceedings of the ACM on Programming Languages. 6(ICFP). 931–959. 4 indexed citations

Tabareau, Nicolas, et al.. (2022). Gradualizing the Calculus of Inductive Constructions. ACM Transactions on Programming Languages and Systems. 44(2). 1–82. 8 indexed citations

10.

Tabareau, Nicolas, et al.. (2021). The taming of the rew: a type theory with computational assumptions. Proceedings of the ACM on Programming Languages. 5(POPL). 1–29. 9 indexed citations

11.

Tabareau, Nicolas & Éric Tanter. (2018). Chemical foundations of distributed aspects. Distributed Computing. 32(3). 193–216.

12.

Tabareau, Nicolas, et al.. (2018). Foundations of dependent interoperability. Journal of Functional Programming. 28. 11 indexed citations

13.

Sozeau, Matthieu, et al.. (2016). The Definitional Side of the Forcing. 367–376. 4 indexed citations

14.

Tabareau, Nicolas, et al.. (2015). Effect capabilities for Haskell: Taming effect interference in monadic programming. Science of Computer Programming. 119. 3–30. 3 indexed citations

15.

Tanter, Éric, et al.. (2013). Execution levels for aspect-oriented programming: Design, semantics, implementations and applications. Science of Computer Programming. 80. 311–342. 10 indexed citations

16.

Tabareau, Nicolas, Jean-Jacques Slotine, & Quang‐Cuong Pham. (2010). How Synchronization Protects from Noise. PLoS Computational Biology. 6(1). e1000637–e1000637. 57 indexed citations

17.

Tabareau, Nicolas, et al.. (2010). Linear logic as a foundation for service-oriented computing. HAL (Le Centre pour la Communication Scientifique Directe).

18.

Melliès, Paul-André & Nicolas Tabareau. (2009). Resource modalities in tensor logic. Annals of Pure and Applied Logic. 161(5). 632–653. 11 indexed citations

19.

Girard, Benoît, Nicolas Tabareau, Quang‐Cuong Pham, Alain Berthoz, & J.-J.E. Slotine. (2008). Where neuroscience and dynamic system theory meet autonomous robotics: A contracting basal ganglia model for action selection. Neural Networks. 21(4). 628–641. 32 indexed citations

20.

Tabareau, Nicolas, Daniel Bennequin, Alain Berthoz, Jean-Jacques Slotine, & Benoît Girard. (2007). Geometry of the superior colliculus mapping and efficient oculomotor computation. Biological Cybernetics. 97(4). 279–292. 23 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact