Pubblicazioni

N. Kobayashi; D. Sangiorgi, A hybrid type system for lock-freedom of mobile processes, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2010, 32, pp. 1 - 49 [Articolo in rivista]

R. Demangeon; D. Hirschkoff; D. Sangiorgi, Termination in higher-order concurrent calculi, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2010, 79, pp. 550 - 577 [Articolo in rivista]

I. Lanese; D. Sangiorgi, An operational semantics for a calculus for wireless systems, «THEORETICAL COMPUTER SCIENCE», 2010, 411, pp. 1928 - 1948 [Articolo in rivista]

G. Cardone; A. Corradi; L. Foschini, Translucent Middleware Approach to Facilitate WSN Access Management, in: Proceedings of the 2010 IEEE International Symposium on Computers and Communications, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, 2010, pp. 595 - 598 (atti di: IEEE International Symposium on Computers and Communications, Riccione, Italy, 22-25 Giugno 2010) [Contributo in Atti di convegno]

A. Corradi; M. Fanelli; L. Foschini, Towards Adaptive and Scalable Context-Aware Middleware, «INTERNATIONAL JOURNAL OF ADAPTIVE, RESILIENT AND AUTONOMIC SYSTEMS», 2010, 1, no. 1, pp. 58 - 74 [Articolo in rivista]

A. Corradi; M. Fanelli; L. Foschini, Adaptive Context Data Distribution with Guaranteed Quality for Mobile Environments, in: Proceedings of the 2010 IEEE International Symposium on Wireless Pervasive Computing, PISCATAWAY, NJ, IEEE Computer Society Press, 2010, pp. 373 - 380 (atti di: IEEE International Symposium on Wireless Pervasive Computing, Modena, Italy, 5-7 Maggio 2010) [Contributo in Atti di convegno]

A. Corradi; L. Foschini; L. Nardelli, A DDS-Compliant Infrastructure for Fault-Tolerant and Scalable Data Dissemination, in: Proceedings of the 2010 IEEE International Symposium on Computers and Communications, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, 2010, pp. 489 - 495 (atti di: IEEE International Symposium on Computers and Communications, Riccione, Italy, 22-25 Giugno 2010) [Contributo in Atti di convegno]

A. Boukerche; A. Corradi; M. Fanelli; L. Foschini, Towards Efficient and Reliable Context Data Distribution in Disaster Area Scenarios, in: Proceedings of the 2010 IEEE Conference on Local Computer Networks, PISCATAWAY, NJ, IEEE Computer Society Press, 2010, pp. 1 - 4 (atti di: IEEE Conference on Local Computer Networks, Denver, Colorado, US, 11-14 Ottobre 2010) [Contributo in Atti di convegno]

A. Boukerche; A. Corradi; M. Fanelli; L. Foschini, Self-Adaptive and Time-Constrained Data Distribution Paths for Emergency Response Scenarios, in: Proceedings of the 2010 ACM international workshop on Mobility management and wireless access, NEW YORK, NY, ACM Press, 2010, pp. 29 - 36 (atti di: ACM international workshop on Mobility management and wireless access, Bodrum, Turchia, 17-21 October 2010) [Contributo in Atti di convegno]

A. Boukerche; A. Corradi; M. Fanelli; L. Foschini, Counteracting wireless congestion in data distribution with adaptive batching techniques, in: Proceedings of the 2010 IEEE Global Communications Conference, PISCATAWAY, NJ, IEEE Computer Society Press, 2010, pp. 1 - 5 (atti di: IEEE Global Communications Conference, Miami, Florida, US, 6-10 Dicembre 2010) [Contributo in Atti di convegno]

Di Lena P.; Fariselli P.; Margara L.; Vassura M.; Casadio R., Fast overlapping of protein contact maps by aligment of eigenvectors, «BIOINFORMATICS», 2010, 26, pp. 2250 - 2258 [Articolo in rivista]

Vitali G.; Magnanini E.; Denti E., Simulate plants: a client-server graphic approach, in: Proceedings of, MONTPELLIER, Pure Impressions, 2010, pp. 913 - 914 (atti di: Agro2010 - the XI ESA Congress, Montpellier, August 29 - September 3, 2010) [Contributo in Atti di convegno]

G.Vitali; E.Magnanini; N.Mennucci; E.Denti, Interacting with Virtual Plants: a Client-Server Approach, in: Proceedings of the 6th International Workshop on Functional-Structural Plant Models, DAVIS, University of California, Davis, 2010(atti di: 6th International Workshop on Functional-Structural Plant Models, Davis, CA, September 12-17, 2010) [Contributo in Atti di convegno]

M. Baldoni; C. Baroglio; F. Bergenti; A. Boccalatte; E. Marengo; M. Martelli; V. Mascardi; L. Padovani; V. Patti; A. Ricci; G. Rossi; A. Santi, MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems, in: WOA 2010 — Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*, AACHEN, Sun SITE Central Europe, RWTH Aachen University, 2010, 621, pp. 1 - 8 (atti di: 11º Workshop "Dagli Oggetti agli Agenti" (WOA 2010), Rimini, Italy, 5-7 September 2010) [Contributo in Atti di convegno]

Z. Kiziltan; J. Mauro, Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios, in: Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, HEIDELBERG, Springer Verlag, 2010, LNCS 6140, pp. 246 - 251 (atti di: 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Bologna, Italy, June 2010) [Contributo in Atti di convegno]

Di Iorio A.; Peroni S.; Vitali F., Handling markup overlaps using OWL, in: Knowledge Engineering and Management by the Masses - 17th International Conference, EKAW 2010, BERLINO, Springer Verlag, 2010, 6317, pp. 391 - 400 (atti di: Knowledge Engineering and Management by the Masses - 17th International Conference, EKAW 2010, Lisbona (P), October 11-15, 2010) [Contributo in Atti di convegno]

Barabucci G.; Cervone L.; Di Iorio A.; Palmirani M.; Peroni S.; Vitali F., Managing semantics in XML vocabularies: an experience in the legal and legislative domain, in: Balisage Series on Markup Technologies Vol 5. Proceedings of Balisage: The Markup Conference 2010, MONTREAL, Balisage, 2010, 5(atti di: Balisage: The Markup Conference 2010, Montreal, 3-6 Agosto 2010) [Contributo in Atti di convegno]

Di Iorio A.; Musetti A.; Peroni S.; Vitali F, Crowdsourcing semantic content: A model and two applications, in: Proceedings of the 3rd Conference on Human System Interactions HSI 2010, NEW YORK, IEEE Computer Society, 2010, pp. 563 - 570 (atti di: Human System Interactions HSI 2010, Rzeszow (PL), 13-15 May 2010) [Contributo in Atti di convegno]

Di Iorio A.; Musetti A.; Peroni S.; Vitali F., Ontology-driven generation of wiki content and interfaces, «THE NEW REVIEW OF HYPERMEDIA AND MULTIMEDIA», 2010, 16, pp. 9 - 31 [Articolo in rivista]

S. Lodi; R. Ñanculef; C.Sartori, Learning Multi-Class Support Vector Models from Distributed Data using Core-Sets (Extended Abstract), in: Proceedings of SEBD 2010 - 18th Italian Symposium on Advanced Database Systems, BOLOGNA, Società Editrice Esculapio, 2010, pp. 150 - 157 (atti di: SEBD 2010 - 18th Italian Symposium on Advanced Database Systems, Rimini, Italy, June 20-23, 2010) [Riassunto (Abstract)]