Search the dblp DataBase

Publications of Author

1. Paolo Di Giamberardino, Claudia Faggian
   Jump from Parallel to Sequential Proofs: Multiplicatives. [Citation Graph (0, 0)][DBLP]
   CSL, 2006, pp:319-333 [Conf]
   
2. Andrea Usai, Paolo Di Giamberardino
   Local path planning in unknown environment by local 3d elevation map construction. [Citation Graph (0, 0)][DBLP]
   ICINCO, 2005, pp:403-406 [Conf]
   
3. Paolo Di Giamberardino, Roberto Saccone
   A Neural Network based Approach for Planning Human-like Locomotion in Biped Robot. [Citation Graph (0, 0)][DBLP]
   Modelling, Identification and Control, 2003, pp:623-628 [Conf]
   
4. Simone Gabriele, Paolo Di Giamberardino
   Dynamic sensor networks: An approach to optimal dynamic field coverage. [Citation Graph (0, 0)][DBLP]
   ICINCO-RA (2), 2007, pp:237-242 [Conf]
   
5. Andrea Usai, Paolo Di Giamberardino
   Homography-based mobile robot modeling for digital control implementation. [Citation Graph (0, 0)][DBLP]
   ICINCO-RA (2), 2007, pp:259-264 [Conf]
   
6. 
   Proof nets sequentialisation in multiplicative linear logic. [Citation Graph (, )][DBLP]