×

Di Giamberardino, Paolo

Author ID: di-giamberardino.paolo Recent zbMATH articles by "Di Giamberardino, Paolo"
Published as: Di Giamberardino, Paolo
Documents Indexed: 19 Publications since 2006
Co-Authors: 12 Co-Authors with 18 Joint Publications
174 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 18 times in 15 Documents Cited by Year
Jump from parallel to sequential proofs: multiplicatives. Zbl 1225.03085
Di Giamberardino, Paolo; Faggian, Claudia
5
2006
On session types and polynomial time. Zbl 1362.68208
Dal Lago, Ugo; Di Giamberardino, Paolo
4
2016
Soft session types. Zbl 1457.68185
Dal Lago, Ugo; Di Giamberardino, Paolo
3
2011
Proof nets sequentialisation in multiplicative linear logic. Zbl 1165.03051
Di Giamberardino, Paolo; Faggian, Claudia
2
2008
Direct integrability for state feedback optimal control with singular solutions. Zbl 1504.49053
Di Giamberardino, Paolo; Iacoviello, Daniela
2
2020
A state dependent approach to resource allocation strategies. Zbl 1504.91124
Di Giamberardino, Paolo; Iacoviello, Daniela
1
2020
Contract agreements via logic. Zbl 1464.68226
Bartoletti, Massimo; Cimoli, Tiziana; Di Giamberardino, Paolo; Zunino, Roberto
1
2013
Direct integrability for state feedback optimal control with singular solutions. Zbl 1504.49053
Di Giamberardino, Paolo; Iacoviello, Daniela
2
2020
A state dependent approach to resource allocation strategies. Zbl 1504.91124
Di Giamberardino, Paolo; Iacoviello, Daniela
1
2020
On session types and polynomial time. Zbl 1362.68208
Dal Lago, Ugo; Di Giamberardino, Paolo
4
2016
Contract agreements via logic. Zbl 1464.68226
Bartoletti, Massimo; Cimoli, Tiziana; Di Giamberardino, Paolo; Zunino, Roberto
1
2013
Soft session types. Zbl 1457.68185
Dal Lago, Ugo; Di Giamberardino, Paolo
3
2011
Proof nets sequentialisation in multiplicative linear logic. Zbl 1165.03051
Di Giamberardino, Paolo; Faggian, Claudia
2
2008
Jump from parallel to sequential proofs: multiplicatives. Zbl 1225.03085
Di Giamberardino, Paolo; Faggian, Claudia
5
2006

Citations by Year