Jean-Raymond Abrial
About
Jean-Raymond Abrial has authored 17 papers that have received a total of 476 indexed citations.
This includes 13 papers in Computational Theory and Mathematics, 8 papers in Artificial Intelligence and 5 papers in Software. The topics of these papers are Formal Methods in Verification (11 papers), Logic, programming, and type systems (7 papers) and Petri Nets in System Modeling (5 papers). Jean-Raymond Abrial is often cited by papers focused on Formal Methods in Verification (11 papers), Logic, programming, and type systems (7 papers) and Petri Nets in System Modeling (5 papers) and collaborates with scholars based in Switzerland, France and China. Jean-Raymond Abrial's co-authors include Thai Son Hoang, Wen Su, Dominique Cansell, Andreas Fürst and Michael Butler and has published in prestigious journals such as Computer, Science China Information Sciences and Science of Computer Programming.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Jan Grenz are published in Top journals papers by Alan Gillett are published in Top journals papers by Sonya Chelvanayagam are published in Top countries impacted by papers by Marco A. Vega Top fields papers by Ashish Myles are about Top fields papers by Kip R. Krumwiede are about Top fields papers by Katherine Leonard are about Top fields papers by Michaël P. A. Bus are about