G. Franceschinis

44 papers and 1.2k indexed citations i.

G. Franceschinis has authored 44 papers that have received a total of 1.2k indexed citations. This includes 29 papers in Computational Theory and Mathematics, 12 papers in Hardware and Architecture and 11 papers in Management Information Systems. The topics of these papers are Petri Nets in System Modeling (29 papers), Formal Methods in Verification (17 papers) and Business Process Modeling and Analysis (11 papers). G. Franceschinis is often cited by papers focused on Petri Nets in System Modeling (29 papers), Formal Methods in Verification (17 papers) and Business Process Modeling and Analysis (11 papers) and collaborates with scholars based in Italy, France and United States. G. Franceschinis's co-authors include Marco Beccuti, Serge Haddad, C. Dutheillet, Susanna Donatelli and G. Chiola and has published in prestigious journals such as Bioinformatics, IEEE Transactions on Software Engineering and Reliability Engineering & System Safety.