We stand with Ukraine

We stand with Ukraine

Giulia Manara

Orcid: 0009-0003-9583-1017

According to our database¹, Giulia Manara authored at least 6 papers between 2024 and 2026.

Collaborative distances:

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

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Proof Nets for PiL (Full Version).

[DOI]

Matteo Acclavio

,

CoRR, May, 2026

2025

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version).

[DOI]

Matteo Acclavio

,

,

Fabrizio Montesi

CoRR, January, 2025

Linear Logic: Parallel cut elimination and Computation-as-Deduction for the π-calculus. (Logique Linéaire: élimination parallèle des coupures et calcul-comme-déduction pour le pi calcul).

[DOI]

PhD thesis, 2025

Formulas as Processes, Deadlock-Freedom as Choreographies.

[DOI]

Matteo Acclavio

,

,

Fabrizio Montesi

Proceedings of the Programming Languages and Systems, 2025

2024

Proof Nets for the π-Calculus.

[DOI]

Matteo Acclavio

,

CoRR, 2024

Confluence for Proof-Nets via Parallel Cut Elimination.

[DOI]

Giulio Guerrieri

,

,

Lorenzo Tortora de Falco

,

Lionel Vaux Auclair

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Loading...