Marina Zanella

41 papers and 396 indexed citations i.

Marina Zanella has authored 41 papers that have received a total of 396 indexed citations. This includes 23 papers in Computational Theory and Mathematics, 11 papers in Artificial Intelligence and 9 papers in Control and Systems Engineering. The topics of these papers are Petri Nets in System Modeling (21 papers), Formal Methods in Verification (13 papers) and Fault Detection and Control Systems (8 papers). Marina Zanella is often cited by papers focused on Petri Nets in System Modeling (21 papers), Formal Methods in Verification (13 papers) and Fault Detection and Control Systems (8 papers) and collaborates with scholars based in Italy, China and United States. Marina Zanella's co-authors include Gianfranco Lamperti, Xiangfu Zhao, Paolo Gubian, Pietro Baroni and P. Pogliano and has published in prestigious journals such as Artificial Intelligence, Omega and IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)