Ilaria Castellani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
1991–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESOP | Constructive characterisations of the MUST-preorder for asynchrony. | Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Lo Stefanesco |
| 2024 | PPDP | A simple view of multiparty session types. | Ilaria Castellani |
| 2022 | CONCUR | CONCUR Test-Of-Time Award 2022 (Invited Paper). | Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi |
| 2017 | CONCUR | Concurrent Reversible Sessions. | Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
| 2010 | CONCUR | Session Types for Access and Information Flow Control. | Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk |
| 2001 | ICALP | Noninterference for Concurrent Programs. | Grard Boudol, Ilaria Castellani |
| 1996 | CONCUR | On Bisimulations for the Asynchronous pi-Calculus. | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
| 1993 | MFCS | Observing Distribution in Processes. | Ilaria Castellani |
| 1993 | STACS | Causal and Distributed Semantics for Concurrent Processes (Abstract). | Ilaria Castellani |
| 1992 | CONCUR | A Theory of Process with Localities (Extended Abstract). | Grard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
| 1991 | MFCS | Observing Localities (Extended Abstract). | Grard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |