Pubblicazioni

D. Sangiorgi; N. Kobayashi; E. Sumii, Environmental bisimulations for higher-order languages, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2011, 33, pp. 1 - 66 [Articolo in rivista]

I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the expressiveness and decidability of higher-order process calculi, «INFORMATION AND COMPUTATION», 2011, 209, pp. 198 - 226 [Articolo in rivista]

Massimo Cossentino; Marie-Pierre Gleizes; Ambra Molesini; Andrea Omicini, Processes Engineering and AOSE, in: Agent-Oriented Software Engineering X, HEIDELBERG, Springer, 2011, pp. 191 - 212 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

Di Lena P.; Fariselli P.; Margara L.; Vassura M.; Casadio R., Is There an Optimal Substitution Matrix for Contact Prediction with Correlated Mutations?, «IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS», 2011, 8, pp. 1017 - 1028 [Articolo in rivista]

Vassura M.; Di Lena P.; Margara L.; Mirto M.; Aloisio G.; Fariselli P.; Casadio R., Blurring contact maps of thousands of proteins: what we can learn by reconstructing 3D structure., «BIODATA MINING», 2011, 4, pp. . - . [Articolo in rivista]

Giulio Piancastelli; Andrea Omicini; Enrico Denti, Towards a logic framework for Web programming, «INTELLIGENZA ARTIFICIALE», 2011, 5, pp. 151 - 155 [Articolo in rivista]

M. Palmirani; L. Cervone; F. Vitali, A Legal Document Ontology: The Missing Layer in Legal Document Modelling, in: APPROACHES TO LEGAL ONTOLOGIESTheories, Domains, Methodologies, DORDRECHT, Springer Netherlands, 2011, pp. 167 - 178 [Capitolo/Saggio in libro]

Elena Nardini; Andrea Omicini; Mirko Viroli; Michael Ignaz Schumacher, Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres, «APPLIED COMPUTING REVIEW», 2011, 11, pp. 43 - 52 [Articolo in rivista]

M. Goldweber; R. Davoli; J. C. Little; C. Riedesel; H. Walker; G. Cross; B. R. Von Konsky, Enhancing the social issues components in our computing curriculum: computing for the social good, «ACM INROADS», 2011, Volume 2 Issue 1, March 2011, pp. 64 - 82 [Articolo in rivista]

Di Felice M.; Chowdhury K.R.; Kim W.; Kassler A.; Bononi L., End-to-end Protocols for Cognitive Radio Ad Hoc Networks: An Evaluation Study, «PERFORMANCE EVALUATION», 2011, 68, pp. 859 - 875 [Articolo in rivista]

Bononi L.; Di Felice M.; Molinaro A.; Pizzi S., Enhancing Multi-hop Communication over Multi-radio Multi-channel Wireless Mesh Networks: A cross-layer approach, «COMPUTER COMMUNICATIONS», 2011, 34, pp. 1559 - 1569 [Articolo in rivista]

Elena Nardini; Andrea Omicini; Mirko Viroli, Description Spaces with Fuzziness, in: Proceedings of the 26th Annual ACM Symposium on Applied Computing (SAC 2011), NEW YORK, ACM Press, 2011, II, pp. 869 - 876 (atti di: 26th Annual ACM Symposium on Applied Computing (SAC 2011), Tunghai University, TaiChung, Taiwan, 21-25 March 2011) [Contributo in Atti di convegno]

M. Marzolla; R. Mirandola, PARSY: Performance Aware Reconfiguration of Software Systems, «INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING», 2011, 7, pp. 479 - 492 [Articolo in rivista]

M. Golfarelli; S. Rizzi, What-If Application Design Using UML, in: Integrations of Data Warehousing, Data Mining and Database Technologies: Innovative Approaches, Hershey, IGI Global, 2011, pp. 287 - 306 [Capitolo/Saggio in libro]

M. Golfarelli; S. Rizzi, Temporal Data Warehousing: Approaches and Techniques, in: Integrations of Data Warehousing, Data Mining and Database Technologies: Innovative Approaches, Hershey, IGI Global, 2011, pp. 1 - 18 [Capitolo/Saggio in libro]

G. Marfia; M. Roccetti; C. E. Palazzi; A. Amoroso, Efficient Vehicle-To-Pedestrian Exchange of Medical Data: An Empirical Model with Preliminary Results, in: Proceedings of 1st ACM International Workshop on Pervasive Wireless Healthcare - 12th ACM International Symposium on Mobile Ad Hoc Networking and Computing, NEW YORK, Association for Computing Machinery, 2011, pp. 5 - 8 (atti di: 1st ACM International Workshop on Pervasive Wireless Healthcare (MobileHealth 2011) - 12th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc 2011), Paris, France, May 2011) [Contributo in Atti di convegno]

M. Marzolla; O. Babaoglu; F. Panzieri, Server Consolidation in Clouds Through Gossiping, in: World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2011 IEEE International Symposium on a, LOS ALAMITOS, IEEE Computer Society, 2011, pp. 1 - 6 (atti di: First International Workshop on Sustainable Internet and Internet for Sustainability, Lucca, Italy, June 20, 2011) [Contributo in Atti di convegno]

A. Amoroso; G. Marfia; M. Roccetti, Going Realistic and Optimal: A Distributed Multi-Hop Broadcast Algorithm for Vehicular Safety, «COMPUTER NETWORKS», 2011, 55, pp. 2504 - 2519 [Articolo in rivista]

Andrea Omicini; Sebastian Sardina; Wamberto Vasconcelos, Declarative Agent Languages and Technologies VIII, HEIDELBERG, Springer, 2011, pp. 217 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

Andrea Omicini; Sebastian Sardina; Wamberto Vasconcelos, Preface, in: Declarative Agent Languages and Technologies VIII, HEIDELBERG, Springer, 2011, pp. IV - V (LECTURE NOTES IN COMPUTER SCIENCE) [Prefazione]