Marina Ribaudo

20 papers and 218 indexed citations i.

About

Marina Ribaudo has authored 20 papers that have received a total of 218 indexed citations. This includes 9 papers in Computer Networks and Communications, 9 papers in Computational Theory and Mathematics and 6 papers in Artificial Intelligence. The topics of these papers are Petri Nets in System Modeling (7 papers), Formal Methods in Verification (6 papers) and Business Process Modeling and Analysis (5 papers). Marina Ribaudo is often cited by papers focused on Petri Nets in System Modeling (7 papers), Formal Methods in Verification (6 papers) and Business Process Modeling and Analysis (5 papers) and collaborates with scholars based in Italy and United Kingdom. Marina Ribaudo's co-authors include Stephen Gilmore, G. Franceschinis, Jane Hillston, Luca Console and Giovanni Lagorio and has published in prestigious journals such as Artificial Intelligence, IEEE Transactions on Software Engineering and Information and Software Technology

In The Last Decade

Rankless by CCL
2025