CUFinder

Elena Zucca

About Elena Zucca

Elena Zucca, With an exceptional h-index of 22 and a recent h-index of 8 (since 2020), a distinguished researcher at Università degli Studi di Genova, specializes in the field of Design and foundations of programming languages.

His recent articles reflect a diverse array of research interests and contributions to the field:

Resource-Aware Soundness for Big-Step Semantics

Checked corecursive streams: Expressivity and completeness

A Java-like calculus with heterogeneous coeffects

Multi-graded featherweight Java

Coeffects for sharing and mutation

Enhancing Expressivity of Checked Corecursive Streams

Equality of Corecursive Streams Defined by Finitary Equational Systems.

A Java-like calculus with user-defined coeffects

Elena Zucca Information

University

Position

DIBRIS

Citations(all)

2020

Citations(since 2020)

301

Cited By

1837

hIndex(all)

22

hIndex(since 2020)

8

i10Index(all)

58

i10Index(since 2020)

8

Email

University Profile Page

Google Scholar

Elena Zucca Skills & Research Interests

Design and foundations of programming languages

Top articles of Elena Zucca

Resource-Aware Soundness for Big-Step Semantics

Proceedings of the ACM on Programming Languages

2023/10/16

Francesco Dagnino
Francesco Dagnino

H-Index: 5

Elena Zucca
Elena Zucca

H-Index: 9

Checked corecursive streams: Expressivity and completeness

Theoretical Computer Science

2023/9/29

Pietro Barbieri
Pietro Barbieri

H-Index: 1

Elena Zucca
Elena Zucca

H-Index: 9

A Java-like calculus with heterogeneous coeffects

Theoretical Computer Science

2023/9/6

Francesco Dagnino
Francesco Dagnino

H-Index: 5

Elena Zucca
Elena Zucca

H-Index: 9

Multi-graded featherweight Java

arXiv preprint arXiv:2302.07782

2023/2/15

Francesco Dagnino
Francesco Dagnino

H-Index: 5

Elena Zucca
Elena Zucca

H-Index: 9

Coeffects for sharing and mutation

Proceedings of the ACM on Programming Languages

2022/10/31

Francesco Dagnino
Francesco Dagnino

H-Index: 5

Elena Zucca
Elena Zucca

H-Index: 9

Enhancing Expressivity of Checked Corecursive Streams

2022/5/3

Pietro Barbieri
Pietro Barbieri

H-Index: 1

Elena Zucca
Elena Zucca

H-Index: 9

Equality of Corecursive Streams Defined by Finitary Equational Systems.

2022

Pietro Barbieri
Pietro Barbieri

H-Index: 1

Elena Zucca
Elena Zucca

H-Index: 9

A Java-like calculus with user-defined coeffects

CEUR Workshop Proceedings

2022

12th International Conference on Interactive Theorem Proving (ITP 2021)

2021

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Andrei Popescu
Andrei Popescu

H-Index: 3

Christoph Benzmüller
Christoph Benzmüller

H-Index: 20

Dmitriy Traytel
Dmitriy Traytel

H-Index: 15

Artur Korniłowicz
Artur Korniłowicz

H-Index: 14

Luca Ciccone
Luca Ciccone

H-Index: 1

Francesco Dagnino
Francesco Dagnino

H-Index: 5

Elena Zucca
Elena Zucca

H-Index: 9

Yong Kiam Tan
Yong Kiam Tan

H-Index: 10

André Platzer
André Platzer

H-Index: 35

Luís Cruz-Filipe
Luís Cruz-Filipe

H-Index: 14

Fabrizio Montesi
Fabrizio Montesi

H-Index: 20

Marco Peressotti
Marco Peressotti

H-Index: 9

Peter Koepke
Peter Koepke

H-Index: 10

Anton Lorenzen
Anton Lorenzen

H-Index: 1

Floris Van Doorn
Floris Van Doorn

H-Index: 7

Yannick Forster
Yannick Forster

H-Index: 11

Gert Smolka
Gert Smolka

H-Index: 12

Kesha Hietala
Kesha Hietala

H-Index: 5

Robert Rand
Robert Rand

H-Index: 7

Shih-Han Hung
Shih-Han Hung

H-Index: 2

Michael Hicks
Michael Hicks

H-Index: 31

Štěpán Starosta
Štěpán Starosta

H-Index: 7

Dominik Kirst
Dominik Kirst

H-Index: 7

Hengchu Zhang
Hengchu Zhang

H-Index: 2

Yao Li
Yao Li

H-Index: 5

Yishuai Li
Yishuai Li

H-Index: 1

Li-Yao Xia
Li-Yao Xia

H-Index: 3

Lennart Beringer
Lennart Beringer

H-Index: 15

William Mansky
William Mansky

H-Index: 8

Benjamin Pierce
Benjamin Pierce

H-Index: 9

Steve Zdancewic
Steve Zdancewic

H-Index: 29

λ-Based Object-Oriented Programming (Pearl)

2021

Elena Zucca
Elena Zucca

H-Index: 9

Enhanced regular corecursion for data streams

arXiv preprint arXiv:2108.00281

2021/7/31

Pietro Barbieri
Pietro Barbieri

H-Index: 1

Elena Zucca
Elena Zucca

H-Index: 9

Flexible coinductive logic programming

Theory and Practice of Logic Programming

2020/11

Francesco Dagnino
Francesco Dagnino

H-Index: 5

Elena Zucca
Elena Zucca

H-Index: 9

A big step from finite to infinite computations

Science of Computer Programming

2020/10/1

Francesco Dagnino
Francesco Dagnino

H-Index: 5

Jurriaan Rot
Jurriaan Rot

H-Index: 11

Elena Zucca
Elena Zucca

H-Index: 9

An inductive abstract semantics for coFJ

2020/7/23

Pietro Barbieri
Pietro Barbieri

H-Index: 1

Francesco Dagnino
Francesco Dagnino

H-Index: 5

Elena Zucca
Elena Zucca

H-Index: 9

Sound regular corecursion in coFJ

arXiv preprint arXiv:2005.14085

2020/5/28

Pietro Barbieri
Pietro Barbieri

H-Index: 1

Francesco Dagnino
Francesco Dagnino

H-Index: 5

Elena Zucca
Elena Zucca

H-Index: 9

Soundness Conditions for Big-Step Semantics.

2020/4/18

Francesco Dagnino
Francesco Dagnino

H-Index: 5

Viviana Bono
Viviana Bono

H-Index: 8

Elena Zucca
Elena Zucca

H-Index: 9

Mariangiola Dezani-Ciancaglini
Mariangiola Dezani-Ciancaglini

H-Index: 20

Flexible coinduction in Agda

arXiv preprint arXiv:2002.06047

2020/2/14

Luca Ciccone
Luca Ciccone

H-Index: 1

A Big Step from Finite to Infinite Computations (SCICO Journal-first)

2020

Francesco Dagnino
Francesco Dagnino

H-Index: 5

Jurriaan Rot
Jurriaan Rot

H-Index: 11

Elena Zucca
Elena Zucca

H-Index: 9

Is solidity solid enough?

2020

Elena Zucca
Elena Zucca

H-Index: 9

See List of Professors in Elena Zucca University(Università degli Studi di Genova)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine