| Soft session types U Dal Lago, P Di Giamberardino | 17* | 2011 |
| Jump from parallel to sequential proofs: Multiplicatives P Di Giamberardino, C Faggian Computer Science Logic, 319-333, 2006 | 13 | 2006 |
| Proof nets sequentialisation in multiplicative linear logic P Di Giamberardino, C Faggian Annals of Pure and Applied Logic 155 (3), 173-182, 2008 | 12 | 2008 |
| 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: on polarities and sequentiality in Linear Logic P Di Giamberardino Università degli Studi RomaTre, 2008 | 6 | 2008 |
| Vicious circles in contracts and in logic M Bartoletti, T Cimoli, P Di Giamberardino, R Zunino Science of Computer Programming 109, 61-95, 2015 | 5 | 2015 |
| Jump from parallel to sequential proofs: exponentials. P Di Giamberardino Math. Struct. Comput. Sci. 28 (7), 1204-1252, 2018 | 4* | 2018 |
| Jump from parallel to sequential proof: multiplicatives. volume 4207 of Lecture Notes in Computer Science P Di Giamberardino, C Faggian Springer Berlin/Heidelberg, 2006 | 4 | 2006 |
| Debits and credits in Petri nets and linear logic M Bartoletti, P Degano, P Di Giamberardino, R Zunino Logic, Rewriting, and Concurrency, 135-159, 2015 | 3 | 2015 |
| Jump from parallel to sequential proofs: Additives P Di Giamberardino | 3 | 2011 |
| 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 |
| On session types and polynomial time. U Dal Lago, P Di Giamberardino Math. Struct. Comput. Sci. 26 (8), 1433-1458, 2016 | 2 | 2016 |
| On session types and polynomial time P Di Giamberardino, U Dal Lago Mathematical Structures in Computer Science 1, 2015 | 2 | 2015 |
| 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 CONCUR 2011, 22nd International Conference on Concurrency Theory 64, 59-73, 2011 | | 2011 |
| Jump from parallel to sequential proofs P Di Giamberardino | | |
Ugo Dal LagoProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
