![]() | ![]() |
2008 | ||
---|---|---|
6 | EE | 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 | EE | 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 |
1 | Claudia Faggian | [3] [6] |
2 | Simone Gabriele | [5] |
3 | Roberto Saccone | [1] |
4 | Andrea Usai | [2] [4] |