Edit Profile (opens in new tab) Di Giamberardino, Paolo Co-Author Distance Author ID: 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 all top 5 Co-Authors 1 single-authored 9 Iacoviello, Daniela 2 Bartoletti, Massimo 2 Dal Lago, Ugo 2 Faggian, Claudia 2 Gabriele, Simone 2 Zunino, Roberto 1 Aceto, Maria Laura 1 Caldarella, Rita 1 Cimoli, Tiziana 1 Degano, Pierpaolo 1 Giannini, Oliviero 1 Verotti, Matteo Serials 2 MSCS. Mathematical Structures in Computer Science 2 WSEAS Transactions on Systems 1 Annals of Pure and Applied Logic all top 5 Fields 10 Biology and other natural sciences (92-XX) 7 Mathematical logic and foundations (03-XX) 7 Calculus of variations and optimal control; optimization (49-XX) 5 Systems theory; control (93-XX) 4 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Ordinary differential equations (34-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 26 Authors 5 Di Giamberardino, Paolo 2 Bartoletti, Massimo 2 Caires, Luís 2 Faggian, Claudia 2 Iacoviello, Daniela 2 Pérez, Jorge A. 2 Pfenning, Frank 2 Toninho, Bernardo 1 Accattoli, Beniamino 1 Avram, Florin 1 Baillot, Patrick 1 Curien, Pierre-Louis 1 Dal Lago, Ugo 1 Degano, Pierpaolo 1 Demangeon, Romain 1 Fantechi, Alessandro 1 Freddi, Lorenzo 1 Ghyselen, Alexis 1 Goreac, Dan 1 Guerrini, Stefano 1 Michaux, Jonathan 1 Murgia, Maurizio 1 Najm, Elie 1 Yoshida, Nobuko 1 Zunino, Robero 1 Zunino, Roberto all top 5 Cited in 6 Serials 3 Information and Computation 2 MSCS. Mathematical Structures in Computer Science 1 Applied Mathematics and Computation 1 Annals of Pure and Applied Logic 1 The Journal of Logic and Algebraic Programming 1 Logical Methods in Computer Science all top 5 Cited in 6 Fields 9 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Biology and other natural sciences (92-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Citations by Year