Silvano Dal Zilio

13 papers and 77 indexed citations i.

Silvano Dal Zilio has authored 13 papers that have received a total of 77 indexed citations. This includes 9 papers in Computational Theory and Mathematics, 6 papers in Artificial Intelligence and 4 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (9 papers), Petri Nets in System Modeling (5 papers) and Business Process Modeling and Analysis (4 papers). Silvano Dal Zilio is often cited by papers focused on Formal Methods in Verification (9 papers), Petri Nets in System Modeling (5 papers) and Business Process Modeling and Analysis (4 papers) and collaborates with scholars based in France, China and Poland. Silvano Dal Zilio's co-authors include Pierre-Emmanuel Hladik, Andrew D. Gordon, Félix Ingrand, Bernard Berthomieu and Didier Le Botlan and has published in prestigious journals such as Theoretical Computer Science, Robotics and Autonomous Systems and Journal of Systems and Software