Pietro Di Gianantonio

480 total citations
20 papers, 122 citations indexed

About

Pietro Di Gianantonio is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Pietro Di Gianantonio has authored 20 papers receiving a total of 122 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. Recurrent topics in Pietro Di Gianantonio's work include Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (8 papers) and Computability, Logic, AI Algorithms (7 papers). Pietro Di Gianantonio is often cited by papers focused on Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (8 papers) and Computability, Logic, AI Algorithms (7 papers). Pietro Di Gianantonio collaborates with scholars based in Italy, United Kingdom and France. Pietro Di Gianantonio's co-authors include Furio Honsell, Gordon Plotkin, Marina Lenisa, Pier Luca Lanzi, C.-H. Luke Ong, Marino Miculan, Luigi Liquori and Abbas Edalat and has published in prestigious journals such as Theoretical Computer Science, ACM SIGPLAN Notices and Information and Computation.

In The Last Decade

Pietro Di Gianantonio

17 papers receiving 114 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Pietro Di Gianantonio Italy	6	105	104	14	12	9	20	122
John Longley United Kingdom	7	125 1.2×	145 1.4×	18 1.3×	12 1.0×	7 0.8×	16	159
Sylvain Lombardy France	8	130 1.2×	100 1.0×	4 0.3×	8 0.7×	10 1.1×	14	141
Lutz Straßburger France	7	90 0.9×	98 0.9×	5 0.4×	4 0.3×	6 0.7×	22	116
Noam Zeilberger France	6	93 0.9×	141 1.4×	14 1.0×	16 1.3×	7 0.8×	17	141
Marina Lenisa Italy	7	124 1.2×	159 1.5×	13 0.9×	12 1.0×	4 0.4×	30	168
John M. Hitchcock United States	9	196 1.9×	115 1.1×	31 2.2×	8 0.7×	8 0.9×	33	208
Jurriaan Rot Netherlands	5	60 0.6×	71 0.7×	5 0.4×	8 0.7×	3 0.3×	30	81
Anders Mörtberg Sweden	5	28 0.3×	47 0.5×	16 1.1×	8 0.7×	9 1.0×	12	67
Jaap van Oosten Netherlands	9	182 1.7×	178 1.7×	39 2.8×	9 0.8×	26 2.9×	34	223
Gian Luca Cattani United Kingdom	10	143 1.4×	148 1.4×	34 2.4×	36 3.0×	15 1.7×	18	193

Countries citing papers authored by Pietro Di Gianantonio

Since Specialization

Citations

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

Fields of papers citing papers by Pietro Di Gianantonio

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Pietro Di Gianantonio

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

Gianantonio, Pietro Di & Abbas Edalat. (2024). A Cartesian Closed Category for Random Variables. 1–14.

Gianantonio, Pietro Di, et al.. (2023). A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation. Volume 3 - Proceedings of.... 1 indexed citations

Miculan, Marino, et al.. (2022). Composable partial multiparty session types for open systems. Software & Systems Modeling. 22(2). 473–494. 3 indexed citations

Gianantonio, Pietro Di, et al.. (2021). A protoype-based approach to object evolution.. The Journal of Object Technology. 20(2). 4:1–4:1. 1 indexed citations

Gianantonio, Pietro Di & Marina Lenisa. (2013). Innocent Game Semantics via Intersection Type Assignment Systems. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 23. 231–247. 3 indexed citations

Gianantonio, Pietro Di. (2009). Semantics of Programming Languages.

Gianantonio, Pietro Di, Furio Honsell, & Marina Lenisa. (2009). RPO, Second-order Contexts, and Lambda-calculus. arXiv (Cornell University). 334–349.

Gianantonio, Pietro Di, Furio Honsell, & Marina Lenisa. (2008). A type assignment system for game semantics. Theoretical Computer Science. 398(1-3). 150–169. 7 indexed citations

Gianantonio, Pietro Di. (2005). A Functional Approach to Computability on Real Numbers. 9 indexed citations

10.

Gianantonio, Pietro Di, et al.. (2005). A certified, corecursive implementation of exact real numbers. Theoretical Computer Science. 351(1). 39–51. 16 indexed citations

11.

Gianantonio, Pietro Di & Pier Luca Lanzi. (2004). Lazy Algorithms for Exact Real Arithmetic. Electronic Notes in Theoretical Computer Science. 104. 113–128. 3 indexed citations

12.

Ong, C.-H. Luke & Pietro Di Gianantonio. (2003). Games characterizing Levy–Longo trees. Theoretical Computer Science. 312(1). 121–142. 4 indexed citations

13.

Gianantonio, Pietro Di & Marino Miculan. (2002). A Unifying Approach to Recursive and Co-recursive Definitions. Institutional Research Information System (University of Udine). 2 indexed citations

14.

Gianantonio, Pietro Di. (2001). Game Semantics for the Pure Lazy lambda-calculus.. 106–120. 2 indexed citations

15.

Gianantonio, Pietro Di. (1999). An abstract data type for real numbers. Theoretical Computer Science. 221(1-2). 295–326. 17 indexed citations

16.

Gianantonio, Pietro Di, et al.. (1999). Game Semantics for Untyped lambda beta eta-Calculus. 102(1). 114–128. 5 indexed citations

17.

Gianantonio, Pietro Di, Furio Honsell, & Luigi Liquori. (1998). A lambda calculus of objects with self-inflicted extension. ACM SIGPLAN Notices. 33(10). 166–178. 2 indexed citations

18.

Gianantonio, Pietro Di. (1996). A golden ratio notation for the real numbers. Department of Computer Science [CS]. 1–19. 2 indexed citations

19.

Gianantonio, Pietro Di. (1996). Real Number Computability and Domain Theory. Information and Computation. 127(1). 11–25. 28 indexed citations

20.

Gianantonio, Pietro Di, Furio Honsell, & Gordon Plotkin. (1995). Uncountable limits and the lambda calculus. ERA. 2(2). 126–145. 17 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