Gianfranco Ciardo
About
Gianfranco Ciardo has authored 52 papers that have received a total of 805 indexed citations.
This includes 35 papers in Computational Theory and Mathematics, 15 papers in Management Information Systems and 12 papers in Hardware and Architecture. The topics of these papers are Petri Nets in System Modeling (26 papers), Formal Methods in Verification (25 papers) and Software Reliability and Analysis Research (10 papers). Gianfranco Ciardo is often cited by papers focused on Petri Nets in System Modeling (26 papers), Formal Methods in Verification (25 papers) and Software Reliability and Analysis Research (10 papers) and collaborates with scholars based in United States, Italy and Germany. Gianfranco Ciardo's co-authors include Kishor S. Trivedi, Evgenia Smirni, Andrew S. Miner, David M. Nicol and Kishor S. Trivedi and has published in prestigious journals such as Bioinformatics, PLoS Computational Biology and IEEE Transactions on Software Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Md Zillur Rahman are co-authored with Top countries impacted by papers by P.B.S. Fowler Top fields papers by Satyajit Mojumder are about Top authors papers by Christopher J. Rogers are co-authored with Top countries impacted by papers by Chisook Moon Top journals papers by I. B. Hales are published in Top fields papers by Leslie J. Sage are about Top journals papers by Jean Hanson are published in