Jean-Louis Boimond
About
Jean-Louis Boimond has authored 41 papers that have received a total of 497 indexed citations.
This includes 40 papers in Computational Theory and Mathematics, 11 papers in Hardware and Architecture and 9 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (36 papers), Formal Methods in Verification (30 papers) and Real-Time Systems Scheduling (10 papers). Jean-Louis Boimond is often cited by papers focused on Petri Nets in System Modeling (36 papers), Formal Methods in Verification (30 papers) and Real-Time Systems Scheduling (10 papers) and collaborates with scholars based in France, Czechia and The Netherlands. Jean-Louis Boimond's co-authors include Jan Komenda, Laurent Hardouin, J.L. Ferrier, Bertrand Cottenceau and Ton van den Boom and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and International Journal of Production Research
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by J. J. Čomor are about Top journals papers by Andrés Morales are published in Top fields papers by Ewelina Cholewińska are about Top fields papers by Inari Laaksonen are about Top authors papers by Yuzhu Liu are co-authored with Top authors papers by Nikolay Angelov are co-authored with Top authors papers by Kedar Prasad Baral are co-authored with Top authors papers by Vítor Alexandre Coelho are co-authored with