Elena Zucca

1.3k total citations
70 papers, 417 citations indexed

About

Elena Zucca is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Elena Zucca has authored 70 papers receiving a total of 417 indexed citations (citations by other indexed papers that have themselves been cited), including 65 papers in Artificial Intelligence, 37 papers in Computational Theory and Mathematics and 23 papers in Information Systems. Recurrent topics in Elena Zucca's work include Logic, programming, and type systems (61 papers), Formal Methods in Verification (35 papers) and Logic, Reasoning, and Knowledge (23 papers). Elena Zucca is often cited by papers focused on Logic, programming, and type systems (61 papers), Formal Methods in Verification (35 papers) and Logic, Reasoning, and Knowledge (23 papers). Elena Zucca collaborates with scholars based in Italy, New Zealand and United Kingdom. Elena Zucca's co-authors include Davide Ancona, Giovanni Lagorio, Paola Giannini, Sophia Drossopoulou, Ferruccio Damiani, Egidio Astesiano, Jeremy G. Siek, Jonathan Aldrich, Christopher Anderson and Mariangiola Dezani-Ciancaglini and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and Journal of Computer and System Sciences.

In The Last Decade

Elena Zucca

65 papers receiving 386 citations

Peers

Elena Zucca
Dominic Duggan United States
Mark Shields United States
Jan Midtgaard Denmark
Christos Dimoulas United States
Didier Rémy France
Eijiro Sumii Japan
J. B. Wells United States
Alain Frisch France
Arnd Poetzsch‐Heffter Germany
Paul Govereau United States
Dominic Duggan United States
Elena Zucca
Citations per year, relative to Elena Zucca Elena Zucca (= 1×) peers Dominic Duggan

Countries citing papers authored by Elena Zucca

Since Specialization
Citations

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

Fields of papers citing papers by Elena Zucca

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Elena Zucca

This figure shows the co-authorship network connecting the top 25 collaborators of Elena Zucca. A scholar is included among the top collaborators of Elena Zucca 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 Elena Zucca. Elena Zucca 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.
Ancona, Davide, P. Barbieri, & Elena Zucca. (2024). Checking equivalence of corecursive streams: An inductive procedure. Theoretical Computer Science. 1009. 114680–114680.
2.
Ancona, Davide, P. Barbieri, & Elena Zucca. (2023). Checked corecursive streams: Expressivity and completeness. Theoretical Computer Science. 974. 114081–114081. 1 indexed citations
3.
Zucca, Elena, et al.. (2021). Flexible Coinduction in Agda. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 4 indexed citations
4.
Ancona, Davide, et al.. (2020). Sound Regular Corecursion in coFJ.. 1 indexed citations
5.
Giannini, Paola, et al.. (2019). Tracing sharing in an imperative pure calculus. CINECA IRIS Institutial Research Information System (University of Genoa). 3 indexed citations
6.
Giannini, Paola, et al.. (2018). Flexible recovery of uniqueness and immutability. Theoretical Computer Science. 764. 145–172. 4 indexed citations
7.
Giannini, Paola, et al.. (2016). Types for immutability and aliasing control. CINECA IRIS Institutial Research Information System (University of Genoa). 62–74. 4 indexed citations
8.
Zucca, Elena, et al.. (2014). A meta-circular language for active libraries. Science of Computer Programming. 95. 219–253. 1 indexed citations
9.
Dezani-Ciancaglini, Mariangiola, Paola Giannini, & Elena Zucca. (2011). Intersection Types for Unbind and Rebind. Institutional Research Information System University of Turin (University of Turin). 2 indexed citations
10.
11.
Lagorio, Giovanni, et al.. (2010). A Lightweight Approach to Customizable Composition Operators for Java-like Classes. Electronic Notes in Theoretical Computer Science. 263. 161–177. 5 indexed citations
12.
Lagorio, Giovanni, et al.. (2009). Customizable composition operators for Java-like classes.. 136–142. 3 indexed citations
13.
Dezani-Ciancaglini, Mariangiola, Paola Giannini, & Elena Zucca. (2009). The essence of static and dynamic bindings.. 99–106. 1 indexed citations
14.
Zucca, Elena, et al.. (2007). A calculus of open modules: call-by-need strategy and confluence. Mathematical Structures in Computer Science. 17(4). 675–751. 2 indexed citations
15.
Ancona, Davide, Ferruccio Damiani, Sophia Drossopoulou, & Elena Zucca. (2004). Even more principal typings for Java-like languages. Institutional Research Information System University of Turin (University of Turin). 2 indexed citations
16.
Ancona, Davide & Elena Zucca. (2001). True modules for Java-like languages.. CINECA IRIS Institutial Research Information System (University of Genoa). 1 indexed citations
17.
Ancona, Davide, Maura Cerioli, & Elena Zucca. (2000). Extending Casl by Late Binding. CINECA IRIS Institutial Research Information System (University of Genoa). 1 indexed citations
18.
Zucca, Elena. (1999). From static to dynamic abstract data-types: an institution transformation. Theoretical Computer Science. 216(1-2). 109–157. 1 indexed citations
19.
Astesiano, Egidio & Elena Zucca. (1996). A Free Construction of Dynamic Terms. Journal of Computer and System Sciences. 52(1). 143–156. 1 indexed citations
20.
Astesiano, Egidio & Elena Zucca. (1984). Parametric channels via label expressions in CCS. Theoretical Computer Science. 33(1). 45–63. 6 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 Dominic Duggan Breakdown of academic impact, for papers by Mark Shields Breakdown of academic impact, for papers by Jan Midtgaard Breakdown of academic impact, for papers by Christos Dimoulas Breakdown of academic impact, for papers by Didier Rémy Breakdown of academic impact, for papers by Eijiro Sumii Breakdown of academic impact, for papers by J. B. Wells Breakdown of academic impact, for papers by Alain Frisch Breakdown of academic impact, for papers by Arnd Poetzsch‐Heffter Breakdown of academic impact, for papers by Paul Govereau
Rankless by CCL
2026