Marina Ribaudo

1.0k total citations
42 papers, 474 citations indexed

About

Marina Ribaudo is a scholar working on Information Systems, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Marina Ribaudo has authored 42 papers receiving a total of 474 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Information Systems, 13 papers in Computational Theory and Mathematics and 12 papers in Computer Networks and Communications. Recurrent topics in Marina Ribaudo's work include Petri Nets in System Modeling (12 papers), Business Process Modeling and Analysis (10 papers) and Formal Methods in Verification (9 papers). Marina Ribaudo is often cited by papers focused on Petri Nets in System Modeling (12 papers), Business Process Modeling and Analysis (10 papers) and Formal Methods in Verification (9 papers). Marina Ribaudo collaborates with scholars based in Italy, United Kingdom and Germany. Marina Ribaudo's co-authors include Jane Hillston, G. Franceschinis, Rossano Gaeta, G. Chiola, Stephen Gilmore, Leı̈la Kloul, Susanna Donatelli, Maurizio Leotta, Luca Console and Claudia Picardi and has published in prestigious journals such as IEEE Access, IEEE Transactions on Software Engineering and Artificial Intelligence.

In The Last Decade

Marina Ribaudo

38 papers receiving 434 citations

Peers

Marina Ribaudo

CTM

CNC

MIS

Nikola Trčka Netherlands

Jonathan Billington Australia

Laure Petrucci France

Gerardo Schneider Sweden

Robert F. Stärk Switzerland

Béatrice Bérard France

Rami Marelly Israel

Giacomo Bucci Italy

Juan Bicarregui United Kingdom

Dines Bjørner Denmark

Nikola Trčka Netherlands

Marina Ribaudo

165 ×0.6

CTM

61 ×0.4

CNC

114 ×1.0

123 ×1.1

MIS

148 ×1.4

Citations per year, relative to Marina Ribaudo Marina Ribaudo (= 1×) peers Nikola Trčka

Countries citing papers authored by Marina Ribaudo

Since Specialization

Citations

This map shows the geographic impact of Marina Ribaudo's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Marina Ribaudo with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Marina Ribaudo more than expected).

Fields of papers citing papers by Marina Ribaudo

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Marina Ribaudo. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Marina Ribaudo. The network helps show where Marina Ribaudo may publish in the future.

Co-authorship network of co-authors of Marina Ribaudo

This figure shows the co-authorship network connecting the top 25 collaborators of Marina Ribaudo. A scholar is included among the top collaborators of Marina Ribaudo based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Marina Ribaudo. Marina Ribaudo is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Leotta, Maurizio, et al.. (2025). Improving Web Accessibility With an LLM-Based Tool: A Preliminary Evaluation for STEM Images. IEEE Access. 13. 107566–107582. 2 indexed citations

Leotta, Maurizio & Marina Ribaudo. (2024). Evaluating the Effectiveness of STEM Images Captioning. CINECA IRIS Institutial Research Information System (University of Genoa). 150–159. 2 indexed citations

Cerioli, Maura, Maurizio Leotta, & Marina Ribaudo. (2024). Enlisting Students in Gamifying Software Testing Education: Results and Key Insights. CINECA IRIS Institutial Research Information System (University of Genoa). 18–25.

Leotta, Maurizio, et al.. (2022). Evaluating the effectiveness of automatic image captioning for web accessibility. Universal Access in the Information Society. 22(4). 1293–1313. 10 indexed citations

Ribaudo, Marina, et al.. (2019). Semi-automatic generation of cybersecurity exercises: a preliminary proposal. CINECA IRIS Institutial Research Information System (University of Genoa). 16–21. 5 indexed citations

Leotta, Maurizio, et al.. (2019). Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. CINECA IRIS Institutial Research Information System (University of Genoa). 434–441. 2 indexed citations

Leotta, Maurizio, Diego Clerissi, Filippo Ricca, et al.. (2018). An acceptance testing approach for Internet of Things systems. IET Software. 12(5). 430–436. 19 indexed citations

Ribaudo, Marina, et al.. (2013). Open Data and Personal Information: A Smart Disclosure Approach Based on OAuth 2.0. CINECA IRIS Institutial Research Information System (University of Genoa). 135–143. 1 indexed citations

Valtolina, Stefano, Barbara Rita Barricelli, Marco Mesiti, & Marina Ribaudo. (2012). User-Centered Design of E-Learning Tools for Users with Special Needs: The VisualPedia Case Study. Interaction design & architecture(s). 47–55. 3 indexed citations

10.

Leotta, Maurizio, Filippo Ricca, Marina Ribaudo, et al.. (2012). SOA adoption in the italian industry. International Conference on Software Engineering. 1441–1442. 4 indexed citations

11.

Mesiti, Marco, et al.. (2010). ACCESSIBILITY AND USABILITY OF A COLLABORATIVE E-LEARNING APPLICATION. 102–109. 2 indexed citations

12.

Gilmore, Stephen, Jane Hillston, Leı̈la Kloul, & Marina Ribaudo. (2003). PEPA nets: a structured performance modelling formalism. Performance Evaluation. 54(2). 79–104. 42 indexed citations

13.

Console, Luca, Claudia Picardi, & Marina Ribaudo. (2002). Process algebras for systems diagnosis. Artificial Intelligence. 142(1). 19–51. 16 indexed citations

14.

Bernardo, Marco, Nadia Busi, & Marina Ribaudo. (2002). Integrating TwoTowers and GreatSPN through a compact net semantics. Performance Evaluation. 50(2-3). 153–187.

15.

Ribaudo, Marina. (2002). Stochastic Petri net semantics for stochastic process algebras. CINECA IRIS Institutial Research Information System (University of Genoa). 255. 148–157. 14 indexed citations

16.

Console, Luca, Claudia Picardi, & Marina Ribaudo. (2000). Diagnosis and diagnosability analysis using PEPA. CINECA IRIS Institutial Research Information System (University of Genoa). 131–135. 21 indexed citations

17.

Bernardo, Marco, Nadia Busi, & Marina Ribaudo. (2000). Integrating Two Towers and GreatSPN.. CINECA IRIS Institutial Research Information System (University of Genoa). 551–564. 1 indexed citations

18.

Hermanns, Holger & Marina Ribaudo. (1998). Exploiting Symmetries in Stochastic Process Algebras. CINECA IRIS Institutial Research Information System (University of Genoa). 763–770. 14 indexed citations

19.

Chiola, G., G. Franceschinis, Rossano Gaeta, & Marina Ribaudo. (1995). GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets. Performance Evaluation. 24(1-2). 47–68. 139 indexed citations

20.

Donatelli, Susanna, G. Franceschinis, Marina Ribaudo, & Stefano Russo. (1994). Use of GSPNs for concurrent software validation in EPOCA. Information and Software Technology. 36(7). 443–448. 8 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact