Ciro Carbone

6 papers and 195 indexed citations i.

Ciro Carbone has authored 6 papers that have received a total of 195 indexed citations. This includes 4 papers in Computational Theory and Mathematics, 2 papers in Aerospace Engineering and 2 papers in Hardware and Architecture. The topics of these papers are Petri Nets in System Modeling (4 papers), Formal Methods in Verification (2 papers) and Real-Time Systems Scheduling (2 papers). Ciro Carbone is often cited by papers focused on Petri Nets in System Modeling (4 papers), Formal Methods in Verification (2 papers) and Real-Time Systems Scheduling (2 papers) and collaborates with scholars based in Italy. Ciro Carbone's co-authors include Francesco Basile, Pasquale Chiacchio, Salvatore Luongo, Federico Corraro and Umberto Ciniglio and has published in prestigious journals such as IEEE Transactions on Automatic Control and Control Engineering Practice.