Jean-Luc Richier
About
Jean-Luc Richier has authored 5 papers that have received a total of 40 indexed citations.
This includes 3 papers in Computational Theory and Mathematics, 2 papers in Artificial Intelligence and 1 paper in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (3 papers), Advanced Software Engineering Methodologies (2 papers) and Parallel Computing and Optimization Techniques (1 paper). Jean-Luc Richier is often cited by papers focused on Formal Methods in Verification (3 papers), Advanced Software Engineering Methodologies (2 papers) and Parallel Computing and Optimization Techniques (1 paper) and collaborates with scholars based in France. Jean-Luc Richier's co-authors include Laurent Mounier, Jean-Claude Fernandez, Ylìès Falcone, Yves Ledru and Andrzej Duda and has published in prestigious journals such as Computer Networks, Formal Methods in System Design and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Justine Levan are about Top fields papers by B. Casaponsa are about Top countries impacted by papers by Enid Schutte Top journals papers by Steve Dye are published in Top fields papers by T. Pershing are about Top fields papers by Chris Densham are about Top journals papers by Richards J. Heuer are published in Top fields papers by Anna Cooper are about