Marco Bernardo

2.3k total citations
106 papers, 842 citations indexed

About

Marco Bernardo is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Marco Bernardo has authored 106 papers receiving a total of 842 indexed citations (citations by other indexed papers that have themselves been cited), including 68 papers in Computational Theory and Mathematics, 54 papers in Artificial Intelligence and 30 papers in Computer Networks and Communications. Recurrent topics in Marco Bernardo's work include Formal Methods in Verification (63 papers), Advanced Software Engineering Methodologies (36 papers) and Petri Nets in System Modeling (33 papers). Marco Bernardo is often cited by papers focused on Formal Methods in Verification (63 papers), Advanced Software Engineering Methodologies (36 papers) and Petri Nets in System Modeling (33 papers). Marco Bernardo collaborates with scholars based in Italy, United Kingdom and Norway. Marco Bernardo's co-authors include Roberto Gorrieri, Lorenzo Donatiello, Alessandro Aldini, Paolo Ciancarini, Mario Bravetti, Rocco De Nicola, Flavio Corradini, Michele Loreti, Valérie Issarny and Pierpaolo Degano and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and Reliability Engineering & System Safety.

In The Last Decade

Marco Bernardo

96 papers receiving 734 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Marco Bernardo Italy 15 486 482 294 216 188 106 842
Jean-François Raskin Belgium 17 594 1.2× 743 1.5× 183 0.6× 125 0.6× 305 1.6× 113 1.0k
Frank S. de Boer Netherlands 17 821 1.7× 444 0.9× 327 1.1× 253 1.2× 231 1.2× 105 1.1k
Ph. Schnoebelen France 12 392 0.8× 668 1.4× 150 0.5× 91 0.4× 286 1.5× 26 877
Francisco Durán Spain 15 892 1.8× 618 1.3× 383 1.3× 431 2.0× 381 2.0× 81 1.3k
Rob J. van Glabbeek Australia 13 602 1.2× 749 1.6× 172 0.6× 126 0.6× 136 0.7× 33 946
Josée Desharnais Canada 14 465 1.0× 492 1.0× 141 0.5× 125 0.6× 145 0.8× 38 757
Ernst-Rüdiger Olderog Germany 16 654 1.3× 708 1.5× 213 0.7× 96 0.4× 178 0.9× 56 959
Radha Jagadeesan United States 18 844 1.7× 682 1.4× 242 0.8× 104 0.5× 165 0.9× 45 1.1k
Steven Eker United States 15 874 1.8× 677 1.4× 285 1.0× 291 1.3× 311 1.7× 30 1.3k
Андрей Воронков United Kingdom 17 1.3k 2.7× 642 1.3× 315 1.1× 162 0.8× 148 0.8× 106 1.5k

Countries citing papers authored by Marco Bernardo

Since Specialization
Citations

This map shows the geographic impact of Marco Bernardo'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 Marco Bernardo with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Marco Bernardo more than expected).

Fields of papers citing papers by Marco Bernardo

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Marco Bernardo. 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 Marco Bernardo. The network helps show where Marco Bernardo may publish in the future.

Co-authorship network of co-authors of Marco Bernardo

This figure shows the co-authorship network connecting the top 25 collaborators of Marco Bernardo. A scholar is included among the top collaborators of Marco Bernardo 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 Marco Bernardo. Marco Bernardo is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Bernardo, Marco & Claudio Antares Mezzina. (2023). Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach. Logical Methods in Computer Science. Volume 19, Issue 2. 2 indexed citations
2.
Bernardo, Marco. (2022). Probabilistic Trace and Testing Semantics: The Importance of Being Coherent. CINECA IRIS Institutional Research information system (University of Urbino). 7(4). 244–332. 1 indexed citations
3.
Bernardo, Marco, Flavio Corradini, & Luca Tesei. (2016). Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. Theoretical Computer Science. 629. 2–39. 1 indexed citations
4.
Bernardo, Marco, Rocco De Nicola, & Michele Loreti. (2014). Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science. Volume 10, Issue 1. 11 indexed citations
5.
Bernardo, Marco, Flavio Corradini, & Luca Tesei. (2014). Timed process calculi: from durationless actions to durational ones. Unicam Scientific Publications (University of Camerino). 1231. 21–32. 1 indexed citations
6.
Bernardo, Marco, Rocco De Nicola, & Michele Loreti. (2013). A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Information and Computation. 225. 29–82. 18 indexed citations
7.
8.
Bernardo, Marco, et al.. (2009). Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Springer eBooks. 9 indexed citations
9.
Bernardo, Marco, Pierpaolo Degano, & Gianluigi Zavattaro. (2008). LNCS -- Procs 8th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology. Lecture notes in computer science. 5016. 9 indexed citations
10.
11.
Cimatti, Alessandro & Marco Bernardo. (2006). Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures. Springer eBooks. 1 indexed citations
12.
13.
Aldini, Alessandro & Marco Bernardo. (2005). On the usability of process algebra: An architectural view. Theoretical Computer Science. 335(2-3). 281–329. 15 indexed citations
14.
Aldini, Alessandro & Marco Bernardo. (2004). TwoTowers 4.0: towards the integration of security analysis and performance evaluation. 336–337. 4 indexed citations
15.
Bernardo, Marco & Paola Inverardi. (2003). Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003 (Lecture Notes in Computer Science, 2804). Springer eBooks. 7 indexed citations
16.
Bernardo, Marco & Paola Inverardi. (2003). Formal methods for software architectures : third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 1 indexed citations
17.
Bernardo, Marco & Mario Bravetti. (2002). Performance measure sensitive congruences for Markovian process algebras. Theoretical Computer Science. 290(1). 117–160. 34 indexed citations
18.
Bernardo, Marco. (2000). Value Passing in Stochastically Timed Process Algebras: A Symbolic Approach based on Lookahead. International Journal of Hematology. 114(1). 3–7. 1 indexed citations
19.
Bernardo, Marco & Roberto Gorrieri. (1998). A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science. 202(1-2). 1–54. 142 indexed citations
20.
Bernardo, Marco, Lorenzo Donatiello, & Roberto Gorrieri. (1994). Integrated analysis of concurrent distributed systems using Markovian process algebra.. 455–457. 4 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

Breakdown of academic impact, for papers by Jean-François Raskin Breakdown of academic impact, for papers by Frank S. de Boer Breakdown of academic impact, for papers by Ph. Schnoebelen Breakdown of academic impact, for papers by Francisco Durán Breakdown of academic impact, for papers by Rob J. van Glabbeek Breakdown of academic impact, for papers by Josée Desharnais Breakdown of academic impact, for papers by Ernst-Rüdiger Olderog Breakdown of academic impact, for papers by Radha Jagadeesan Breakdown of academic impact, for papers by Steven Eker Breakdown of academic impact, for papers by Андрей Воронков
Rankless by CCL
2026