Simona Ronchi Della Rocca
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
9
Active years
1978–2023
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FSCD | A Quantitative Version of Simple Types. | Daniele Pautasso, Simona Ronchi Della Rocca |
| 2021 | FSCD | Call-By-Value, Again! | Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca |
| 2020 | FSCD | Solvability in a Probabilistic Setting (Invited Talk). | Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian |
| 2019 | LICS | Lambda Calculus and Probabilistic Computation. | Claudia Faggian, Simona Ronchi Della Rocca |
| 2015 | CSL | The Ackermann Award 2015. | Anuj Dawar, Dexter Kozen, Simona Ronchi Della Rocca |
| 2010 | FOSSACS | Solvability in Resource Lambda-Calculus. | Michele Pagani, Simona Ronchi Della Rocca |
| 2009 | CSL | Intersection, Universally Quantified, and Reference Types. | Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca |
| 2008 | POPL | A logical account of pspace. | Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca |
| 2007 | CSL | A Soft Type Assignment System for | Marco Gaboardi, Simona Ronchi Della Rocca |
| 2006 | FOSSACS | An Operational Characterization of Strong Normalization. | Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca |
| 2001 | CSL | Intersection Logic. | Simona Ronchi Della Rocca, Luca Roversi |
| 2000 | PPDP | Operational semantics and extensionality. | Simona Ronchi Della Rocca |
| 1994 | LFCS | Comparing Cubes. | Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn |
| 1994 | LICS | Type Inference and Extensionality | Adolfo Piperno, Simona Ronchi Della Rocca |
| 1991 | MFCS | The lazy call-by-value Lamda-Calculus. | Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca |
| 1988 | LICS | Characterization of typings in polymorphic type discipline | Paola Giannini, Simona Ronchi Della Rocca |
| 1978 | ICALP | (Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. | Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca |