| Soft session types U Dal Lago, P Di Giamberardino | 17* | 2011 |
| Proof nets sequentialisation in multiplicative linear logic P Di Giamberardino, C Faggian Annals of Pure and Applied Logic 155 (3), 173-182, 2008 | 16 | 2008 |
| Jump from parallel to sequential proofs: Multiplicatives P Di Giamberardino, C Faggian Computer Science Logic, 319-333, 2006 | 15 | 2006 |
| Jump from parallel to sequential proof: multiplicatives. volume 4207 of Lecture Notes in Computer Science P Di Giamberardino, C Faggian Springer Berlin/Heidelberg, 2006 | 9 | 2006 |
| On session types and polynomial time U Dal Lago, P Di Giamberardino Mathematical Structures in Computer Science 26 (8), 1433-1458, 2016 | 7 | 2016 |
| Contract agreements via logic M Bartoletti, T Cimoli, P Di Giamberardino, R Zunino arXiv preprint arXiv:1306.0026, 2013 | 7 | 2013 |
| Jump from parallel to sequential proofs: exponentials P Di Giamberardino Mathematical Structures In Computer Science 28 (7), 1204-1252, 2018 | 6* | 2018 |
| Vicious circles in contracts and in logic M Bartoletti, T Cimoli, P Di Giamberardino, R Zunino Science of Computer Programming 109, 61-95, 2015 | 6 | 2015 |
| Jump from parallel to sequential proofs: on polarities and sequentiality in Linear Logic P Di Giamberardino Università degli Studi RomaTre, 2008 | 6 | 2008 |
| On session types and polynomial time P Di Giamberardino, U Dal Lago Mathematical Structures in Computer Science 1, 2015 | 5 | 2015 |
| Jump from parallel to sequential proofs: Additives P Di Giamberardino | 5 | 2011 |
| Debits and credits in Petri nets and linear logic M Bartoletti, P Degano, P Di Giamberardino, R Zunino Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015 | 3 | 2015 |
| Proof nets and semantics: coherence and acyclicity P Di Giamberardino Mémoire de DEA de mathématiques discrétes et fondements de l’informatique …, 2004 | 3 | 2004 |
| Towards a linear contract logic M Bartoletti, P Di Giamberardino, R Zunino ICTCS2013, 148, 2013 | | 2013 |
| Soft Session Types P DI GIAMBERARDINO, U dal Lago ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 64, 59-73, 2011 | | 2011 |
| Contract agreements via logic MBT Cimoli, P Di Giamberardino, R Zunino | | |
| Jump from parallel to sequential proofs P Di Giamberardino | | |
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisEmail verificata su cs.unibo.it
