Giorgio Delzanno

2.1k total citations
85 papers, 456 citations indexed

About

Giorgio Delzanno is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Giorgio Delzanno has authored 85 papers receiving a total of 456 indexed citations (citations by other indexed papers that have themselves been cited), including 41 papers in Computational Theory and Mathematics, 37 papers in Artificial Intelligence and 23 papers in Computer Networks and Communications. Recurrent topics in Giorgio Delzanno's work include Formal Methods in Verification (38 papers), Logic, programming, and type systems (24 papers) and Model-Driven Software Engineering Techniques (13 papers). Giorgio Delzanno is often cited by papers focused on Formal Methods in Verification (38 papers), Logic, programming, and type systems (24 papers) and Model-Driven Software Engineering Techniques (13 papers). Giorgio Delzanno collaborates with scholars based in Italy, Sweden and France. Giorgio Delzanno's co-authors include Andreas Podelski, Parosh Aziz Abdulla, Marco Bozzano, Maurizio Martelli, Laurent Van Begin, Ahmed Rezine, Giovanna Guerrini, G. Gaist, Jean-François Raskin and G Piazza and has published in prestigious journals such as SHILAP Revista de lepidopterología, Sensors and American Journal of Roentgenology.

In The Last Decade

Giorgio Delzanno

73 papers receiving 403 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Giorgio Delzanno Italy	11	239	200	119	111	43	85	456
Shuling Wang China	10	115 0.5×	144 0.7×	38 0.3×	59 0.5×	101 2.3×	28	359
Massimo Ancona Italy	10	27 0.1×	148 0.7×	96 0.8×	61 0.5×	91 2.1×	67	373
Keshou Wu China	10	109 0.5×	118 0.6×	29 0.2×	13 0.1×	83 1.9×	24	296
Juan Antonio Pérez-Ortiz Spain	13	80 0.3×	537 2.7×	30 0.3×	18 0.2×	45 1.0×	58	657
Daniel Grose Germany	14	130 0.5×	60 0.3×	29 0.2×	70 0.6×	20 0.5×	39	435
Mohammad Ghasemzadeh Iran	11	13 0.1×	109 0.5×	97 0.8×	20 0.2×	101 2.3×	45	307
Andrey Kolobov United States	12	33 0.1×	410 2.0×	101 0.8×	13 0.1×	30 0.7×	25	503
Alberto José Proença Portugal	8	61 0.3×	51 0.3×	51 0.4×	7 0.1×	22 0.5×	33	225
John G. Stell United Kingdom	12	109 0.5×	163 0.8×	212 1.8×	8 0.1×	33 0.8×	34	471
István Gergely Czibula Romania	11	44 0.2×	191 1.0×	150 1.3×	258 2.3×	374 8.7×	58	539

Countries citing papers authored by Giorgio Delzanno

Since Specialization

Citations

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

Fields of papers citing papers by Giorgio Delzanno

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Giorgio Delzanno

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

Delzanno, Giorgio, et al.. (2024). XRCoding: introducing computational thinking and coding in a gamified eXtended reality. Software Quality Journal. 33(1).

Ferrando, Angelo & Giorgio Delzanno. (2023). Incrementally predictive runtime verification. Journal of Logic and Computation. 33(4). 796–817. 2 indexed citations

Chessa, Manuela, et al.. (2023). Work-in-Progress â iCoding: Immersive Coding in Unity. CINECA IRIS Institutial Research Information System (University of Genoa). 78–92. 2 indexed citations

Guerrini, Giovanna, et al.. (2020). Sonic Pi for TBL Teaching Units in an Introductory Programming Course. CINECA IRIS Institutial Research Information System (University of Genoa). 143–150. 9 indexed citations

Delzanno, Giorgio. (2018). Parameterized verification of publish/subcribe protocols via Infinite-State Model Checking. 2214. 97–111. 1 indexed citations

Delzanno, Giorgio. (2016). A Logic-based Approach to Verify Distributed Protocols.. CINECA IRIS Institutial Research Information System (University of Genoa). 86–101. 2 indexed citations

Delzanno, Giorgio, Angelo Ferrando, Giovanna Guerrini, et al.. (2015). Computational thinking for beginners: A successful experience using prolog. BOA (University of Milano-Bicocca). 1459. 31–45. 6 indexed citations

Calvanese, Diego, Giorgio Delzanno, & Marco Montali. (2015). Verification of Relational Multiagent Systems with Data Types. Proceedings of the AAAI Conference on Artificial Intelligence. 29(1). 6 indexed citations

Abdulla, Parosh Aziz, Giorgio Delzanno, & Laurent Van Begin. (2010). A classification of the expressive power of well-structured transition systems. Information and Computation. 209(3). 248–279. 10 indexed citations

10.

Delzanno, Giorgio & Laurent Van Begin. (2007). On the dynamics of PB systems with volatile membranes. Lecture notes in computer science. 240–256. 2 indexed citations

11.

Delzanno, Giorgio, et al.. (2005). BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems.. 33(8). 214–223. 3 indexed citations

12.

Bozzano, Marco & Giorgio Delzanno. (2004). Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. Journal of Symbolic Computation. 38(5). 1375–1415. 6 indexed citations

13.

Bozzano, Marco & Giorgio Delzanno. (2002). Automated protocol verification in linear logic. 38–49. 9 indexed citations

14.

Delzanno, Giorgio. (2002). An Overview of MSR(). Electronic Notes in Theoretical Computer Science. 76. 65–82. 15 indexed citations

15.

Delzanno, Giorgio & Maurizio Martelli. (2001). An embedding of calculi for negation as failure into linear logic.. CINECA IRIS Institutial Research Information System (University of Genoa). 165–179.

16.

Delzanno, Giorgio & Maurizio Martelli. (2001). Proofs as computations in linear logic. Theoretical Computer Science. 258(1-2). 269–297.

17.

Delzanno, Giorgio & Andreas Podelski. (1999). Model Checking in CLP. Max Planck Institute for Plasma Physics. 223–239. 38 indexed citations

18.

Bozzano, Marco, Giorgio Delzanno, & Maurizio Martelli. (1997). A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases.. 105–116.

19.

Delzanno, Giorgio, et al.. (1994). [Use of fibrin glue in premature rupture of membranes].. PubMed. 46(9). 495–7. 1 indexed citations

20.

Delzanno, Giorgio & Maurizio Martelli. (1993). A bottom-up characterization of finite success. CINECA IRIS Institutial Research Information System (University of Genoa). 676. 3 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