E-LIB Suche - Ergebnisse für: Zucca, Elena

1

Protoclusters as drivers of stellar mass growth in the earl..:

Staab, Priti ; Lemaux, Brian C ; Forrest, Ben...
Monthly Notices of the Royal Astronomical Society. 528 (2024) 4 - p. 6934-6958 , 2024

Link: https://doi.org/10.1093/..

2

Checking equivalence of corecursive streams: An inductive p..:

Ancona, Davide ; Barbieri, Pietro ; Zucca, Elena
Theoretical Computer Science. 1009 (2024) - p. 114680 , 2024

Link: https://doi.org/10.1016/..

3

Identification and characterization of six spectroscopicall..:

Shah, Ekta A ; Lemaux, Brian ; Forrest, Benjamin...
Monthly Notices of the Royal Astronomical Society. 529 (2024) 2 - p. 873-882 , 2024

Link: https://doi.org/10.1093/..

4

Checked corecursive streams: Expressivity and completeness:

Ancona, Davide ; Barbieri, Pietro ; Zucca, Elena
Theoretical Computer Science. 974 (2023) - p. 114081 , 2023

Link: https://doi.org/10.1016/..

5

Resource-Aware Soundness for Big-Step Semantics:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1281-1309 , 2023

Link: https://doi.org/10.1145/..

6

A Java-like calculus with heterogeneous coeffects:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
Theoretical Computer Science. 971 (2023) - p. 114063 , 2023

Link: https://doi.org/10.1016/..

7

Enhancing Expressivity of Checked Corecursive Streams:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Ancona, Davide ; Barbieri, Pietro ; Zucca, Elena - p. 1-18 , 2022

Link: https://doi.org/10.1007/..

8

Coeffects for sharing and mutation:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 870-898 , 2022

Link: https://doi.org/10.1145/..

9

The ALPINE–ALMA [C ii] Survey: The Infrared–Radio Correlati..:

Shen, Lu ; Lemaux, Brian C. ; Lubin, Lori M....
The Astrophysical Journal. 935 (2022) 2 - p. 177 , 2022

Link: https://doi.org/10.3847/..

10

The Stellar Mass versus Stellar Metallicity Relation of Sta..:

Kashino, Daichi ; Lilly, Simon J. ; Renzini, Alvio...
The Astrophysical Journal. 925 (2022) 1 - p. 82 , 2022

Link: https://doi.org/10.3847/..

11

Flexible coinductive logic programming:

DAGNINO, FRANCESCO ; ANCONA, DAVIDE ; ZUCCA, ELENA
Theory and Practice of Logic Programming. 20 (2020) 6 - p. 818-833 , 2020

Link: https://doi.org/10.1017/..

12

A big step from finite to infinite computations:

Ancona, Davide ; Dagnino, Francesco ; Rot, Jurriaan.
Science of Computer Programming. 197 (2020) - p. 102492 , 2020

Link: https://doi.org/10.1016/..

13

An inductive abstract semantics for coFJ:

, In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs,

Barbieri, Pietro ; Dagnino, Francesco ; Zucca, Elena - p. 4-9 , 2020

Link: https://dl.acm.org/doi/1..

14

Is Solidity Solid Enough?:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,

Crafa, Silvia ; Di Pirro, Matteo ; Zucca, Elena - p. 138-153 , 2020

Link: https://doi.org/10.1007/..

15

Soundness Conditions for Big-Step Semantics:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Dagnino, Francesco ; Bono, Viviana ; Zucca, Elena. - p. 169-196 , 2020

Link: https://doi.org/10.1007/..