Pubblicazioni

M. Battarra; S. Benedettini; A. Roli, Leveraging saving-based algorithms by master-slave genetic algorithms, «ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE», 2011, 24, pp. 555 - 566 [Articolo in rivista]

M. Lombardi; M. Milano; A. Roli; A. Zanarini, Deriving Information from Sampling and Diving, «FUNDAMENTA INFORMATICAE», 2011, 107, pp. 267 - 287 [Articolo in rivista]

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]

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]

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]

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

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]

M. Golfarelli; S. Rizzi, Data warehouse testing, «INTERNATIONAL JOURNAL OF DATA WAREHOUSING AND MINING», 2011, 7, pp. 25 - 42 [Articolo in rivista]

G. Marfia; M. Roccetti, Vehicular Congestion Detection and Short-Term Forecasting: A New Model with Results, «IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY», 2011, 60, pp. 2936 - 2948 [Articolo in rivista]

R. Cappelli; M. Ferrara; D. Maltoni, Fingerprint Indexing based on Minutia Cylinder-Code, «IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE», 2011, 33, pp. 1051 - 1057 [Articolo in rivista]

A. Amoroso; G. Marfia; M. Roccetti; C. E. Palazzi, On the Comparison of Two Vehicular Safety Systems in Realistic Highway Scenarios, «JOURNAL OF TRANSPORTATION TECHNOLOGIES», 2011, 1, pp. 58 - 65 [Articolo in rivista]

P. Chatzisimios; I. Habib; P. Bellavista; A. Vinel, Next Generation Networks Service Management, «COMPUTER COMMUNICATIONS», 2011, 34, No. 9, pp. 1043 - 1044 [Articolo in rivista]

M. Golfarelli; S. Rizzi, Data Warehouse Testing: A Prototype-Based Methodology, «INFORMATION AND SOFTWARE TECHNOLOGY», 2011, 53, pp. 1183 - 1198 [Articolo in rivista]

E. Loli Piccolomini; G. landi, Quasi-Newton projection methods and the discrepancy principle in image restoration, «APPLIED MATHEMATICS AND COMPUTATION», 2011, 218, pp. 2091 - 2107 [Articolo in rivista]