Antonio Bucciarelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
1991–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FSCD | Groups and Inverse Semigroups in Lambda Calculus. | Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto, Antonino Salibra |
| 2020 | FLOPS | The Bang Calculus Revisited. | Antonio Bucciarelli, Delia Kesner, Alejandro Ros, Andrs Viso |
| 2011 | CSL | Full Abstraction for Resource Calculus with Tests. | Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto |
| 2009 | LFCS | A Relational Model of a Parallel and Non-deterministic lambda-Calculus. | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
| 2007 | CSL | Not Enough Points Is Enough. | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
| 2004 | FOSSACS | Hypergraphs and Degrees of Parallelism: A Completeness Result. | Antonio Bucciarelli, Benjamin Leperchey |
| 2004 | LICS | The Sensible Graph Theories of Lambda Calculus. | Antonio Bucciarelli, Antonino Salibra |
| 2003 | MFCS | The Minimal Graph Model of Lambda Calculus. | Antonio Bucciarelli, Antonino Salibra |
| 1999 | LICS | Some Computational Properties of Intersection Types. | Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo |
| 1998 | ICALP | Totality, Definability and Boolean Ciruits. | Antonio Bucciarelli, Ivano Salvo |
| 1993 | MFPS | Another Approach to Sequentiality: Kleene's Unimonotone Functions. | Antonio Bucciarelli |
| 1991 | ICALP | Extensional Embedding of a Strongly Stable Model of PCF. | Antonio Bucciarelli, Thomas Ehrhard |
| 1991 | LICS | Sequentiality and Strong Stability | Antonio Bucciarelli, Thomas Ehrhard |