Mario Coppo

1.7k total citations
37 papers, 578 citations indexed

About

Mario Coppo is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Mario Coppo has authored 37 papers receiving a total of 578 indexed citations (citations by other indexed papers that have themselves been cited), including 26 papers in Artificial Intelligence, 19 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. Recurrent topics in Mario Coppo's work include Logic, programming, and type systems (23 papers), Logic, Reasoning, and Knowledge (15 papers) and Formal Methods in Verification (12 papers). Mario Coppo is often cited by papers focused on Logic, programming, and type systems (23 papers), Logic, Reasoning, and Knowledge (15 papers) and Formal Methods in Verification (12 papers). Mario Coppo collaborates with scholars based in Italy, United Kingdom and Argentina. Mario Coppo's co-authors include Mariangiola Dezani-Ciancaglini, Henk Barendregt, Luca Padovani, Nobuko Yoshida, Ferruccio Damiani, Betti Venneri, Paola Giannini, G. Pinna, Elena Lodi and Maurizio Drocco and has published in prestigious journals such as SHILAP Revista de lepidopterología, BioMed Research International and Theoretical Computer Science.

In The Last Decade

Mario Coppo

34 papers receiving 540 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Mario Coppo Italy 12 537 405 93 35 33 37 578
Harry G. Mairson United States 15 429 0.8× 315 0.8× 104 1.1× 38 1.1× 54 1.6× 37 476
Anca Muscholl France 14 307 0.6× 337 0.8× 98 1.1× 29 0.8× 23 0.7× 46 431
Hubert Comon France 14 435 0.8× 295 0.7× 111 1.2× 60 1.7× 18 0.5× 33 483
Antoni Mazurkiewicz Poland 7 209 0.4× 329 0.8× 109 1.2× 15 0.4× 41 1.2× 18 412
R.J. vanGlabbeek United States 6 247 0.5× 296 0.7× 61 0.7× 24 0.7× 28 0.8× 10 349
Pierre Lescanne France 13 558 1.0× 423 1.0× 65 0.7× 34 1.0× 20 0.6× 47 606
Ernst–Erich Doberkat Germany 9 200 0.4× 163 0.4× 55 0.6× 43 1.2× 18 0.5× 59 282
Christian Urban Germany 11 422 0.8× 300 0.7× 46 0.5× 39 1.1× 25 0.8× 30 454
C. R. Murthy United States 5 441 0.8× 339 0.8× 82 0.9× 54 1.5× 62 1.9× 6 525
Hans Zantema Netherlands 12 487 0.9× 354 0.9× 39 0.4× 42 1.2× 11 0.3× 78 573

Countries citing papers authored by Mario Coppo

Since Specialization
Citations

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

Fields of papers citing papers by Mario Coppo

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Mario Coppo

This figure shows the co-authorship network connecting the top 25 collaborators of Mario Coppo. A scholar is included among the top collaborators of Mario Coppo 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 Mario Coppo. Mario Coppo 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.
Bono, Viviana, Mario Coppo, Mariangiola Dezani-Ciancaglini, & Betti Venneri. (2017). Data-driven adaptation for smart sessions. Journal of Logical and Algebraic Methods in Programming. 90. 31–49. 1 indexed citations
2.
Coppo, Mario, Mariangiola Dezani-Ciancaglini, & Betti Venneri. (2016). Parallel Monitors for Self-adaptive Sessions. SHILAP Revista de lepidopterología. 211. 25–36. 2 indexed citations
3.
Coppo, Mario, et al.. (2015). Isomorphism of intersection and union types. Mathematical Structures in Computer Science. 27(5). 603–625. 4 indexed citations
4.
Coppo, Mario, Mariangiola Dezani-Ciancaglini, & Betti Venneri. (2014). Self-adaptive multiparty sessions. Service Oriented Computing and Applications. 9(3-4). 249–268. 11 indexed citations
5.
Coppo, Mario, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, & Luca Padovani. (2014). Global progress for dynamically interleaved multiparty sessions. Mathematical Structures in Computer Science. 26(2). 238–302. 57 indexed citations
6.
Coppo, Mario, Mariangiola Dezani-Ciancaglini, & Betti Venneri. (2014). Self-Adaptive Monitors for Multiparty Sessions. Florence Research (University of Florence). 688–696. 8 indexed citations
7.
Coppo, Mario, Ferruccio Damiani, Maurizio Drocco, et al.. (2011). Simulation techniques for the calculus of wrapped compartments. Theoretical Computer Science. 431. 75–95. 5 indexed citations
8.
Coppo, Mario, Elena Lodi, & G. Pinna. (2005). Theoretical computer science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings. Springer eBooks. 1 indexed citations
9.
Berardi, Stefano, Mario Coppo, & Ferruccio Damiani. (2004). Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)).
10.
Coppo, Mario, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, & Ivano Salvo. (2003). M3. Electronic Notes in Theoretical Computer Science. 78. 144–177. 12 indexed citations
11.
Coppo, Mario. (1998). Recursive Types: the syntactic and semantic approaches(Type Theory and its Applications to Computer Systems). Kyoto University Research Information Repository (Kyoto University). 1023. 16–41.
12.
Coppo, Mario, et al.. (1993). Type inference, abstract interpretation and strictness analysis. Theoretical Computer Science. 121(1-2). 113–143. 14 indexed citations
13.
Coppo, Mario, et al.. (1991). Type inference with recursive types: Syntax and semantics. Information and Computation. 92(1). 48–80. 31 indexed citations
14.
Coppo, Mario, et al.. (1986). Type inference and Logical relations. 218–226. 12 indexed citations
15.
Coppo, Mario. (1984). Completeness of type assignment in continuous lambda models. Theoretical Computer Science. 29(3). 309–324. 13 indexed citations
16.
Barendregt, Henk, Mario Coppo, & Mariangiola Dezani-Ciancaglini. (1983). A filter lambda model and the completeness of type assignment. Journal of Symbolic Logic. 48(4). 931–940. 257 indexed citations
17.
Coppo, Mario. (1983). On the semantics of polymorphism. Acta Informatica. 20(2). 159–170. 3 indexed citations
18.
Coppo, Mario, Mariangiola Dezani-Ciancaglini, & Simona Ronchi Della Rocca. (1978). (Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. International Colloquium on Automata, Languages and Programming. 142–164. 5 indexed citations
19.
Coppo, Mario, et al.. (1978). A new type assignment for lambda-terms. 19. 139–156. 35 indexed citations
20.
Böhm, Corrado, Mario Coppo, & Mariangiola Dezani-Ciancaglini. (1977). Termination Tests inside lambda-Calculus. International Colloquium on Automata, Languages and Programming. 52(3). 95–110.

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 Harry G. Mairson Breakdown of academic impact, for papers by Anca Muscholl Breakdown of academic impact, for papers by Hubert Comon Breakdown of academic impact, for papers by Antoni Mazurkiewicz Breakdown of academic impact, for papers by R.J. vanGlabbeek Breakdown of academic impact, for papers by Pierre Lescanne Breakdown of academic impact, for papers by Ernst–Erich Doberkat Breakdown of academic impact, for papers by Christian Urban Breakdown of academic impact, for papers by C. R. Murthy Breakdown of academic impact, for papers by Hans Zantema
Rankless by CCL
2026