Raymond Devillers

50 papers and 352 indexed citations i.

Raymond Devillers has authored 50 papers that have received a total of 352 indexed citations. This includes 40 papers in Computational Theory and Mathematics, 18 papers in Management Information Systems and 14 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (34 papers), Formal Methods in Verification (27 papers) and Business Process Modeling and Analysis (17 papers). Raymond Devillers is often cited by papers focused on Petri Nets in System Modeling (34 papers), Formal Methods in Verification (27 papers) and Business Process Modeling and Analysis (17 papers) and collaborates with scholars based in Belgium, France and Germany. Raymond Devillers's co-authors include Eike Best, Maciej Koutny, Hanna Klaudel, Franck Pommereau and Joël Goossens and has published in prestigious journals such as Communications of the ACM, BMC Bioinformatics and Theoretical Computer Science.