Pubblicazioni

L. Caires; R. De Nicola; R. Pugliese; V. Vasconcelos; G. Zavattaro, Core Calculi for Service-Oriented Computing, in: M. WIRSING M. HOLZL, Results of the SENSORIA Project - LNCS 6582, BERLIN, Springer, 2011, pp. 153 - 188 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro, Adaptable Processes (Extended Abstract), in: Proceeding Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, LNCS 6722, pp. 90 - 105 (atti di: Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011) [Contributo in Atti di convegno]

G. Delzanno; A. Sangnier; G. Zavattaro, On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks, in: Proceedings of Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, LNCS 6604, pp. 441 - 455 (atti di: Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011) [Contributo in Atti di convegno]

C. Dal Mutto; P. Zanuttigh; G.M. Cortelazzo; S. Mattoccia, Scene Segmentation Assisted by Stereo Vision, in: Proceeding of the 2011 International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission (3DIMPVT), PISCATAWAY, NJ, IEEE Computer Society, 2011, 1, pp. 57 - 64 (atti di: 2011 International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission (3DIMPVT), Hangzhou, China, 16-19 May 2011) [Contributo in Atti di convegno]

L. De-Maeztu; S. Mattoccia; A. Villanueva; R. Cabeza, A novel heterogeneous framework for stereo matching, in: Proceedings of the International Conference on Image Processing, Computer Vision, and Pattern Recognition (IPCV'11), s.l, CSREA Press, 2011, 1, pp. 293 - 299 (atti di: Proceedings of the International Conference on Image Processing, Computer Vision, and Pattern Recognition (IPCV'11), Las Vegas, Nevada, July 18-21, 2011) [Contributo in Atti di convegno]

S. Mattoccia; M. Viti; F. Ries, Near real-time Fast Bilateral Stereo on the GPU, in: Proceedings of the 2011 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, PISCATAWAY, NJ, IEEE Computer Society, 2011, 1, pp. 136 - 143 (atti di: 2011 IEEE Embedded Computer Vision Workshop (ECVW 2011), CVPR 2011 Workshop, Colorado Strings, Colorado (USA), June 20, 2011) [Contributo in Atti di convegno]

L. De-Maeztu; S. Mattoccia; A. Villanueva; R. Cabeza, Linear stereo matching, in: Proceedings of the 13th International Conference on Computer Vision (ICCV 2011), PISCATAWAY, NJ, IEEE Computer Society, 2011, 1, pp. 1708 - 1715 (atti di: 13th International Conference on Computer Vision (ICCV 2011), Barcelona, Spain, 6-13 Nov. 2011) [Contributo in Atti di convegno]

G. Delzanno; A. Sangnier; G. Zavattaro, Parameterized Verification of Safety Properties in Ad Hoc Network Protocols, in: Proceedings First International Workshop on Process Algebra and Coordination, PACO 2011, 2011, 60, pp. 56 - 65 (atti di: First International Workshop on Process Algebra and Coordination, Reykjavik, Iceland, June 9, 2011) [Contributo in Atti di convegno]

M. Bravetti; G. Zavattaro, Special Issue of the journal of "Information and Computation" dedicated to Concurrency Theory, AMSTERDAM, Elsevier, 2011, pp. 1 . [Curatela]

Baranovic M; Golfarelli M; Vrdolijak B; Sandri R, Proceedings of the 34th INTERNATIONAL CONFERENCE ON BUSINESS INTELLIGENCE SYSTEMS (miproBIS), REJEKA, Croatian Society of Information and Communication, 2011, pp. 482 . [Curatela]

Vitali F, A Standard-Based Approach for the Management of Legislative Documents, in: Legislative XML for the Semantic Web. Principles, Models, Standards for Document Management, BERLIN, Springer Verlag, 2011, pp. 35 - 48 [Capitolo/Saggio in libro]

Palmirani M; Vitali F, Akoma-Ntoso for Legal Documents, in: Legislative XML for the Semantic Web. Principles, Models, Standards for Document Management, BERLIN, Springer Verlag, 2011, pp. 75 - 100 [Capitolo/Saggio in libro]

G Barabucci; M Palmirani; F Vitali; L Cervone, Long-term preservation of legal resources, in: Proceedings of Second International Conference, EGOVIS 2011, LNCS 6866, BERLIN, Springer Verlag, 2011, pp. 78 - 93 (atti di: EGOVIS'11, Second international conference on Electronic government and the information systems perspective, Toulouse (F), August 29 - September 2 2011) [Contributo in Atti di convegno]

W. Kim; A. J. Kassler; M. Di Felice; M. Gerla, TP-UrbanX - A New Transport Protocol for Cognitive Multi-Radio Mesh Networks, in: 2011 Proceedings of the 12-th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (IEEE WOWMOM 2011), PISCATAWAY, NJ, IEEE, 2011, pp. 1 - 3 (atti di: 12-th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (IEEE WOWMOM), Lucca, Italy, 20-24 June 2011) [Contributo in Atti di convegno]

M. Di Felice; K. R. Chowdhury; L. Bononi, Learning with the Bandit: A Cooperative Spectrum Selection Scheme for Cognitive Radio Networks, in: Proceedings of the IEEE Global Telecommunications Conference (GLOBECOM 2011), PISCATAWAY, NJ, IEEE, 2011, pp. 1 - 6 (atti di: IEEE Global Telecommunications Conference (GLOBECOM 2011), Houston, TX, USA, 5-9 December, 2011) [Contributo in Atti di convegno]

S. Mattoccia; L. De-Maeztu, A fast segmentation-driven algorithm for stereo correspondence, in: Proceedings of the International Conference on 3D Imaging (IC3D), LIÈGE, IEEE, 2011, 1, pp. 1 - 6 (atti di: International Conference on 3D Imaging (IC3D), Liège, Belgium, 7-8 December 2011 • Liège, Belgium) [Contributo in Atti di convegno]

L. De-Maeztu; S. Mattoccia; A. Villanueva; R. Cabeza, EFFICIENT AGGREGATION VIA ITERATIVE BLOCK-BASED ADAPTING SUPPORT-WEIGHTS, in: Proceedings of the International Conference on 3D Imaging (IC3D), LIÈGE, IEEE, 2011, 1, pp. 1 - 5 (atti di: International Conference on 3D Imaging (IC3D), Liège, Belgium, 7-8 December 2011) [Contributo in Atti di convegno]

S. Mattoccia; L. De-Maeztu, A Discussion on the Accuracy and Performance of Local Stereo Algorithms for Stereo Correspondence, «MMTC E-LETTERS», 2011, 6, pp. 14 - 16 [Articolo in rivista]

A. Roli; S. Benedettini; M. Birattari; C. Pinciroli; R. Serra; M. Villani, Robustness, evolvability and complexity in Boolean network robots, in: Proceedings of ECCS2011 - European Conference on Complex Systems, VIENNA, s.n, 2011, pp. 117 - 118 (atti di: ECCS2011 - European Conference on Complex Systems, Vienna, 12-16 September 2011) [Riassunto (Abstract)]

Bellavista P.; Corradi A.; Giannelli C., A Unifying Perspective on Context-Aware Evaluation and Management of Heterogeneous Wireless Connectivity, «IEEE COMMUNICATIONS SURVEYS AND TUTORIALS», 2011, 13, pp. 337 - 357 [Articolo in rivista]