Laurent Régnier
About
Laurent Régnier has authored 10 papers that have received a total of 377 indexed citations.
This includes 10 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 2 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (7 papers) and Formal Methods in Verification (5 papers). Laurent Régnier is often cited by papers focused on Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (7 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in France. Laurent Régnier's co-authors include Vincent Danos, Thomas Ehrhard, Patrick Baillot, Cosimo Laneve and Hugo Herbelin and has published in prestigious journals such as Theoretical Computer Science, Electronic Notes in Theoretical Computer Science and Archive for Mathematical Logic
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Shinpei Hirano are about Top journals papers by Veronika Elišáková are published in Top fields papers by Johannes Peter Böhm are about Top authors papers by D. Grehan are co-authored with Top journals papers by Christie McCollum are published in Top fields papers by Gregory Lieberman are about Top authors papers by Lina Cordeddu are co-authored with Top fields papers by Tobias Nägeli are about