Francesco Basile

82 papers and 1.3k indexed citations i.

Francesco Basile has authored 82 papers that have received a total of 1.3k indexed citations. This includes 65 papers in Computational Theory and Mathematics, 30 papers in Industrial and Manufacturing Engineering and 23 papers in Management Information Systems. The topics of these papers are Petri Nets in System Modeling (65 papers), Formal Methods in Verification (40 papers) and Flexible and Reconfigurable Manufacturing Systems (27 papers). Francesco Basile is often cited by papers focused on Petri Nets in System Modeling (65 papers), Formal Methods in Verification (40 papers) and Flexible and Reconfigurable Manufacturing Systems (27 papers) and collaborates with scholars based in Italy, Macao and France. Francesco Basile's co-authors include Pasquale Chiacchio, G. De Tommasi, Alessandro Giua, Carla Seatzu and Zhiwu Li and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and American Heart Journal.