João Carlos Basilio
About
João Carlos Basilio has authored 68 papers that have received a total of 907 indexed citations.
This includes 53 papers in Computational Theory and Mathematics, 28 papers in Industrial and Manufacturing Engineering and 19 papers in Control and Systems Engineering. The topics of these papers are Petri Nets in System Modeling (46 papers), Formal Methods in Verification (39 papers) and Flexible and Reconfigurable Manufacturing Systems (27 papers). João Carlos Basilio is often cited by papers focused on Petri Nets in System Modeling (46 papers), Formal Methods in Verification (39 papers) and Flexible and Reconfigurable Manufacturing Systems (27 papers) and collaborates with scholars based in Brazil, United Kingdom and United States. João Carlos Basilio's co-authors include Marcos V. Moreira, Lilian K. Carvalho, Marcos V. S. Alves, Stéphane Lafortune and B. Kouvaritakis and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and Information Sciences.
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by B. Cretin Top countries impacted by papers by Antonio Iula Top fields papers by Andrea Baran are about Top fields papers by Antonio García are about Top fields papers by Dan Deckelbaum are about Top journals papers by Qili Li are published in Top fields papers by Yoshiharu Mukouyama are about Top countries impacted by papers by Lulu Liu