Marco Carbone

2.6k total citations
32 papers, 1.0k citations indexed

About

Marco Carbone is a scholar working on Artificial Intelligence, Information Systems and Computer Networks and Communications. According to data from OpenAlex, Marco Carbone has authored 32 papers receiving a total of 1.0k indexed citations (citations by other indexed papers that have themselves been cited), including 28 papers in Artificial Intelligence, 16 papers in Information Systems and 12 papers in Computer Networks and Communications. Recurrent topics in Marco Carbone's work include Logic, programming, and type systems (15 papers), Formal Methods in Verification (11 papers) and Service-Oriented Architecture and Web Services (8 papers). Marco Carbone is often cited by papers focused on Logic, programming, and type systems (15 papers), Formal Methods in Verification (11 papers) and Service-Oriented Architecture and Web Services (8 papers). Marco Carbone collaborates with scholars based in Denmark, United Kingdom and Italy. Marco Carbone's co-authors include Nobuko Yoshida, Kohei Honda, Vladimiro Sassone, Morten S. Nielsen, Fabrizio Montesi, Sergio Maffeis, Sotirios Terzis, W. Wagealla, Mogens Nielsen and Brian Shand and has published in prestigious journals such as SHILAP Revista de lepidopterología, Journal of the ACM and Theoretical Computer Science.

In The Last Decade

Marco Carbone

30 papers receiving 970 citations

Peers

Marco Carbone

CNC

CTM

SPS

Gian-Luigi Ferrari Italy

Rosario Pugliese Italy

F.B. Schneider United States

Birgit Pfitzmann United States

Markulf Kohlweiss United Kingdom

Shamim A. Naqvi United States

Srinath Setty United States

P. David Stotts United States

Matthias Schunter Switzerland

Leo A. Meyerovich United States

Gian-Luigi Ferrari Italy

Marco Carbone

578 ×0.8

447 ×0.9

CNC

273 ×0.9

CTM

340 ×1.1

90 ×0.3

SPS

Citations per year, relative to Marco Carbone Marco Carbone (= 1×) peers Gian-Luigi Ferrari

Countries citing papers authored by Marco Carbone

Since Specialization

Citations

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

Fields of papers citing papers by Marco Carbone

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Marco Carbone

This figure shows the co-authorship network connecting the top 25 collaborators of Marco Carbone. A scholar is included among the top collaborators of Marco Carbone 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 Carbone. Marco Carbone 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

Bengtson, Jesper, et al.. (2025). A Sound and Complete Projection for Global Types. Journal of Automated Reasoning. 69(2).

Bravetti, Mario, Marco Carbone, Julien Lange, Nobuko Yoshida, & Gianluigi Zavattaro. (2021). A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. SHILAP Revista de lepidopterología. 1 indexed citations

Bravetti, Mario, Marco Carbone, & Gianluigi Zavattaro. (2018). On the boundary between decidability and undecidability of asynchronous session subtyping. Theoretical Computer Science. 722. 19–51. 12 indexed citations

Bravetti, Mario, Marco Carbone, & Gianluigi Zavattaro. (2017). Undecidability of asynchronous session subtyping. Information and Computation. 256. 300–320. 19 indexed citations

Carbone, Marco, Fabrizio Montesi, Carsten Schürmann, & Nobuko Yoshida. (2016). Multiparty session types as coherence proofs. Acta Informatica. 54(3). 243–269. 16 indexed citations

Honda, Kohei, Nobuko Yoshida, & Marco Carbone. (2016). Multiparty Asynchronous Session Types. Journal of the ACM. 63(1). 1–67. 112 indexed citations

Carbone, Marco & Fabrizio Montesi. (2013). Deadlock-freedom-by-design. 263–274. 53 indexed citations

Carbone, Marco & Fabrizio Montesi. (2013). Merging Multiparty Protocols in Multiparty Choreographies. SHILAP Revista de lepidopterología. 109. 21–27.

Carbone, Marco, Kohei Honda, & Nobuko Yoshida. (2012). Structured Communication-Centered Programming for Web Services. ACM Transactions on Programming Languages and Systems. 34(2). 1–78. 45 indexed citations

10.

Carbone, Marco, et al.. (2012). Refinement for Transition Systems with Responses. arXiv (Cornell University). 2 indexed citations

11.

Carbone, Marco & Joshua D. Guttman. (2010). Execution Models for Choreographies and Cryptoprotocols. IT University Of Copenhagen (IT University of Copenhagen). 1 indexed citations

12.

Carbone, Marco & Joshua D. Guttman. (2009). Choreographies with Secure Boxes and Compromised Principals. SHILAP Revista de lepidopterología. 12. 1–15. 4 indexed citations

13.

Carbone, Marco, Kohei Honda, & Nobuko Yoshida. (2008). Theoretical Aspects of Communication-Centred Programming. Electronic Notes in Theoretical Computer Science. 209. 125–133. 10 indexed citations

14.

Honda, Kohei, Nobuko Yoshida, & Marco Carbone. (2008). Multiparty asynchronous session types. ACM SIGPLAN Notices. 43(1). 273–284. 47 indexed citations

15.

Honda, Kohei, Nobuko Yoshida, & Marco Carbone. (2007). Web Services, Mobile Processes and Types.. Bulletin of the European Association for Theoretical Computer Science. 91. 160–185. 7 indexed citations

16.

Carbone, Marco, Kohei Honda, & Nobuko Yoshida. (2007). A Calculus of Global Interaction based on Session Types. Electronic Notes in Theoretical Computer Science. 171(3). 127–151. 26 indexed citations

17.

Carbone, Marco, Morten Nielsen, & Vladimiro Sassone. (2004). A Calculus for Trust Management. Lecture notes in computer science. 161–173. 2 indexed citations

18.

Carbone, Marco, Kobi Gal, & Stuart M. Shieber. (2004). Unifying annotated discourse hierarchies to create a gold standard. Digital Access to Scholarship at Harvard (DASH) (Harvard University). 118–126. 2 indexed citations

19.

Carbone, Marco, Mogens Nielsen, & Vladimiro Sassone. (2003). A Formal Model for Trust in Dynamic Networks. BRICS Report Series. 10(4). 37 indexed citations

20.

Cahill, Vinny, Elizabeth Gray, Jean-Marc Seigneur, et al.. (2003). Using trust for secure collaboration in uncertain environments. IEEE Pervasive Computing. 2(3). 52–61. 206 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