Paolo Tranquilli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2008–2010
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | MFCS | Harnessing ML | Giulio Manzonetto, Paolo Tranquilli |
| 2009 | APLAS | Parallel Reduction in Resource Lambda-Calculus. | Michele Pagani, Paolo Tranquilli |
| 2009 | CSL | Confluence of Pure Differential Nets with Promotion. | Paolo Tranquilli |
| 2008 | CSL | A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic. | Paolo Tranquilli |