Nicolas Tabareau

28 papers and 374 indexed citations i.

Nicolas Tabareau has authored 28 papers that have received a total of 374 indexed citations. This includes 24 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (21 papers), Logic, Reasoning, and Knowledge (12 papers) and Formal Methods in Verification (8 papers). Nicolas Tabareau is often cited by papers focused on Logic, programming, and type systems (21 papers), Logic, Reasoning, and Knowledge (12 papers) and Formal Methods in Verification (8 papers) and collaborates with scholars based in France, Chile and United States. Nicolas Tabareau's co-authors include Matthieu Sozeau, Éric Tanter, Paul-André Melliès, Quang‐Cuong Pham and J.-J.E. Slotine and has published in prestigious journals such as IEEE Transactions on Automatic Control, PLoS Computational Biology and Journal of the ACM.