Gilles Geeraerts

20 papers and 86 indexed citations i.

Gilles Geeraerts has authored 20 papers that have received a total of 86 indexed citations. This includes 16 papers in Computational Theory and Mathematics, 5 papers in Computer Networks and Communications and 5 papers in Management Science and Operations Research. The topics of these papers are Formal Methods in Verification (13 papers), Petri Nets in System Modeling (10 papers) and Distributed systems and fault tolerance (4 papers). Gilles Geeraerts is often cited by papers focused on Formal Methods in Verification (13 papers), Petri Nets in System Modeling (10 papers) and Distributed systems and fault tolerance (4 papers) and collaborates with scholars based in Belgium, France and Germany. Gilles Geeraerts's co-authors include Jean-François Raskin, Laurent Van Begin, Benjamin Monmege, Joël Goossens and Thomas Brihaye and has published in prestigious journals such as Journal of Archaeological Science, Journal of Computer and System Sciences and Theoretical Computer Science