Publications

R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Parametric Probabilistic Transition Systems for System Design and Analysis, «FORMAL ASPECTS OF COMPUTING», 2007, 19, pp. 93 - 109 [Scientific article]

R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, The Calculus of Looping Sequences for Modeling Biological Membranes, in: George Eleftherakis et al., Membrane Computing - 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, BERLIN HEIDELBERG, Springer-Verlag, 2007, LNCS 4860, pp. 54 - 76 (atti di: 8th International Workshop on Membrane Computing (WMC 2007), Thessaloniki, Greece, June 25-28, 2007) [Contribution to conference proceedings]

J. GOUBAULT-LARRECQ; C. PALAMIDESSI; A. TROINA, A Probabilistic Applied Pi-Calculus, in: Zhong Shao, Programming Languages and Systems, Berlin Heidelberg, Springer, 2007, LNCS 4807, pp. 175 - 190 (atti di: 5th Asian Symposium on Programming Languages and Systems (APLAS'07), Singapore, November 2007) [Contribution to conference proceedings]

Calegari, Roberta*; Musolesi, Mirco; Raimondi, Franco; Mascolo, Cecilia, CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems, in: Calegari, Roberta*, 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, ACM Press, 2007, pp. 415 - 424 (atti di: 6th Joint Meeting of the European Software Engineering Conference and the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, Dubrovnik, hrv, 2007) [Contribution to conference proceedings]

Carbonaro, Antonella; Ferrini, Rodolfo, Personalized information retreival in a semantic-based learning environment, in: Social information Retrieval Systems: emerging technologies and applications for searching the web efficiently, New York City, InformatIon scIence reference, 2007, pp. 270 - 288 [Chapter or essay]

Marfia, Gustavo*; Pau, Giovanni; Giordano, Eugenio; De Sena, Enzo; Gerla, Mario, VANET: On mobility scenarios and urban infrastructure. A case study, in: 2007 Mobile Networking for Vehicular Environments, MOVE, 2007, pp. 31 - 36 (atti di: 2007 Mobile Networking for Vehicular Environments, MOVE, Anchorage, AK, usa, 2007) [Contribution to conference proceedings]

Marfia, Gustavo*; Pau, Giovanni; De Sena, Enzo; Giordano, Eugenio; Gerla, Mario, Evaluating vehicle network strategies for downtown Portland: Opportunistic infrastructure and the importance of realistic mobility models, in: Marfia, Gustavo*, MobiOpp'07: Proceedings of the First International MobiSys Workshop on Mobile Opportunistic Networking, 2007, pp. 47 - 51 (atti di: 5th International Conference on Mobile Systems, Applications and Services, San Juan, pri, 2007) [Contribution to conference proceedings]

MALIZIA E; PALOPOLI LUIGI; SCARCELLO FRANCESCO, Infeasibility Certificates and the Complexity of the Core in Coalitional Games, in: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), 2007, pp. 1402 - 1407 (atti di: IJCAI 2007, Hyderabad, India, 6/01/2007 - 12/01/2007) [Contribution to conference proceedings]

Roccetti M., EuroIMSA 2007 Foreword, in: Proceedings of the IASTED European Conference on Internet and Multimedia Systems and Applications, EuroIMSA 2007, IASTED - ACTA Press, 2007, pp. 1 - 2 (atti di: 2007 IASTED European Internet and Multimedia Systems and Applications Conference, EuroIMSA 2007, Chamonix, France, 2007) [Abstract]

Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden, Preface, in: Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Amsterdam, Elsevier B.V., 2007, pp. 1 - 3 [Preface]

Palazzi C.E.; Chin B.; Ray P.; Pau G.; Gerla M.; Roccetti M., High mobility in a realistic wireless environment: A mobile IP handoff model for NS-2, in: Proceedings of the 3rd International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, 2007, pp. 1 - 7 (atti di: 3rd International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Lake Buena Vista, FL, USA, 2007) [Contribution to conference proceedings]

J. Elias; F. Martignon; A. Capone; G. Pujolle, A new approach to dynamic bandwidth allocation in Quality of Service networks: Performance and bounds, «COMPUTER NETWORKS», 2007, 51, pp. 2833 - 2853 [Scientific article]

Bellavista, P, Middleware for next-generation converged networks and services: Myths or reality?, in: Proceedings of the International Computer Software and Applications Conference (COMPSAC 2007), 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, IEEE COMPUTER SOC, 2007, pp. 10 - 15 (atti di: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), Beijing, China, July 24-27, 2007) [Contribution to conference proceedings]

Roccetti M., Preface to the 8th International Conference on Intelligent Games and Simulation, GAME-ON 2007, in: 8th International Conference on Intelligent Games and Simulation, GAME-ON 2007, Ghent, Eurosis, 2007, pp. 1 - 100 [Preface]

Tripathi, A.; Iftode, L.; Campbell, R.; Bellavista, P., Workshop summary - ICSE workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE), 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, IEEE COMPUTER SOC, 2007, pp. 2 (PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING). [Editorship]

Bernardo, Marco; Padovani, Luca, Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders, in: Proceedings of the 9th IFIP international conference on formal methods for open object-based distributed systems (FMOODS’07), DEU, Springer, 2007, LNCS 4468, pp. 269 - 284 (atti di: 9th IFIP international conference on formal methods for open object-based distributed systems (FMOODS’07), Cyprus, June 6-8 2007) [Contribution to conference proceedings]

M. Roffilli; E. Bartolini; V. Maniezzo, UNA TEORIA PSICOGENETICA PER L’APPRENDIMENTO AUTOMATICO DI REGOLE PER IL DATAMINING, in: Proc. AICA 2006, CESENA, AICA, 2006, pp. 1 - 10 [Chapter or essay]

S. Rizzi; M. Golfarelli, What Time is it in the Data Warehouse?, in: Proceedings 8th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2006), BERLIN, Springer-Verlag, 2006, pp. 134 - 144 (atti di: 8th International Conference on Data Warehousing and Knowledge Discovery, Krakow, Poland, 4-8/9/2006) [Contribution to conference proceedings]

Luca Gardelli; Mirko Viroli; Matteo Casadei, Engineering the environment of self-organising multi-agent systems exploiting formal analysis tools, in: ATTI CONGRESSO ANNUALE AICA 2006, FIRENZE, Alinea Editrice, 2006, 1, pp. 119 - 126 (atti di: XLIV Congresso Annuale dell'Associazione Italiana per l'Informatica ed il Calcolo Automatico (AICA 2006), Cesena, Italy, 21-22 settembre 2006) [Contribution to conference proceedings]

Nanni, Loris; Lumini, Alessandra, A reliable method for HIV-1 Protease Cleavage Site Prediction, «NEUROCOMPUTING», 2006, 69, pp. 838 - 841 [Scientific article]