 | 2011 |
| 11 |  | Ugo Dal Lago,
Paolo Di Giamberardino:
Soft Session Types
EXPRESS 2011: 59-73 |
| 10 |  | Ugo Dal Lago,
Paolo Di Giamberardino:
Soft Session Types (Long Version)
CoRR abs/1107.4478: (2011) |
| 2010 |
| 9 |  | Salvatore Monaco,
Dorothée Normand-Cyrot,
Paolo Di Giamberardino:
Input-state matching under piecewise constant control for systems on matrix Lie groups.
CDC 2010: 7117-7122 |
| 8 |  | Paolo Di Giamberardino,
M. Spanò Cuomo,
Marco Temperini:
MindLab, a Web-accessible Laboratory for Adaptive e-Educational Robot Teleoperation.
ICINCO (2) 2010: 309-314 |
| 7 |  | Paolo Di Giamberardino,
Marco Temperini:
An Adaptive Web-Based Support to e-Education in Robotics and Automation.
WSKS (2) 2010: 254-265 |
| 2008 |
| 6 |  | Paolo Di Giamberardino,
Claudia Faggian:
Proof nets sequentialisation in multiplicative linear logic.
Ann. Pure Appl. Logic 155(3): 173-182 (2008) |
| 2007 |
| 5 |  | Simone Gabriele,
Paolo Di Giamberardino:
Dynamic sensor networks: An approach to optimal dynamic field coverage.
ICINCO-RA (2) 2007: 237-242 |
| 4 |  | Andrea Usai,
Paolo Di Giamberardino:
Homography-based mobile robot modeling for digital control implementation.
ICINCO-RA (2) 2007: 259-264 |
| 2006 |
| 3 |  | Paolo Di Giamberardino,
Claudia Faggian:
Jump from Parallel to Sequential Proofs: Multiplicatives.
CSL 2006: 319-333 |
| 2005 |
| 2 |  | Andrea Usai,
Paolo Di Giamberardino:
Local path planning in unknown environment by local 3d elevation map construction.
ICINCO 2005: 403-406 |
| 2003 |
| 1 |  | Paolo Di Giamberardino,
Roberto Saccone:
A Neural Network based Approach for Planning Human-like Locomotion in Biped Robot.
Modelling, Identification and Control 2003: 623-628 |