We stand with Ukraine

We stand with Ukraine

Zaynah Dargaye

According to our database¹, Zaynah Dargaye authored at least 6 papers between 2006 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Towards Secure and Trusted-by-Design Smart Contracts.

[BibT_eX]

[DOI]

,

,

Florent Kirchner

,

Sara Tucci Piergiovanni

CoRR, 2024

2018

Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft.

[BibT_eX]

[DOI]

,

Antonella Del Pozzo

,

Sara Tucci Piergiovanni

CoRR, 2018

2009

Vérification formelle d'un compilateur optimisant pour langages fonctionnels. (Formal verification of an optimizing compiler for functional languages).

[BibT_eX]

[DOI]

PhD thesis, 2009

A verified framework for higher-order uncurrying optimizations.

[BibT_eX]

[DOI]

,

High. Order Symb. Comput., 2009

2007

Mechanized Verification of CPS Transformations.

[BibT_eX]

[DOI]

,

Proceedings of the Logic for Programming, 2007

2006

Formal Verification of a C Compiler Front-End.

[BibT_eX]

[DOI]

,

,

Proceedings of the FM 2006: Formal Methods, 2006

Loading...