Giulia Manara
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2024–2026
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Proof Nets for PiL. | Matteo Acclavio, Giulia Manara |
| 2025 | ESOP | Formulas as Processes, Deadlock-Freedom as Choreographies. | Matteo Acclavio, Giulia Manara, Fabrizio Montesi |
| 2024 | LPAR | Confluence for Proof-Nets via Parallel Cut Elimination. | Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair |