G. Franceschinis

44 papers and 1.2k indexed citations i.

About

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 Real-Time Systems Scheduling (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 Real-Time Systems Scheduling (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, G. Chiola and Susanna Donatelli and has published in prestigious journals such as Bioinformatics, IEEE Transactions on Software Engineering and Reliability Engineering & System Safety.

In The Last Decade

Fields of papers published by G. Franceschinis

Since Specialization
EngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics

Countries citing papers authored by G. Franceschinis

Since Specialization
Citations
Rankless by CCL
2025