Nicolas Tabareau
About
Nicolas Tabareau has authored 28 papers that have received a total of 372 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
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Helena Corvacho Top countries impacted by papers by Natalya Buchkina Top journals papers by Jonathan Castillo are published in Top countries impacted by papers by Yusliza Mohd Yusoff Top journals papers by Jing Liang are published in Top fields papers by Th. Foitzik are about Top authors papers by Guillaume Couégnat are co-authored with Top countries impacted by papers by Jiankang Ren