Pubblicazioni

Rossi D.; Vitali F.; Gaedke M., Web Architectures: Innovative Models and Technologies (Editorial), «JOURNAL OF WEB ENGINEERING», 2010, 9(3), pp. 205 - 206 [Articolo in rivista]

D. Rossi; F. Vitali, Editorial Message: Special Track on Web Technologies, in: Proceedings of the 2010 ACM Symposium on Applied Computing, New York, ACM Press, 2010, pp. 797 - 798 [Breve introduzione]

P. Di Lena; L. Margara, On the undecidability of the limit behavior of Cellular Automata, «THEORETICAL COMPUTER SCIENCE», 2010, 411, pp. 1075 - 1084 [Articolo in rivista]

Pietro Di Lena; Luciano Margara, Optimal global alignment of signals by maximization of Pearson correlation, «INFORMATION PROCESSING LETTERS», 2010, 110, pp. 679 - 686 [Articolo in rivista]

Alina Sîrbu;Heather J Ruskin;Martin Crane, Comparison of evolutionary algorithms in gene regulatory network model inference, «BMC BIOINFORMATICS», 2010, 11, pp. 59 - 59 [Articolo in rivista]

Alina Sîrbu;Heather J. Ruskin;Martin Crane, Cross-Platform Microarray Data Normalisation for Regulatory Network Inference, «PLOS ONE», 2010, 5, pp. e13822 - e13822 [Articolo in rivista]

Alina Sirbu; Heather J Ruskin; Martin Crane, Regulatory network modelling: Correlation for structure and parameter optimisation, in: Proceedings of The IASTED Technology Conferences (International Conference on Computational Bioscience), M.A. Karim, K. Lee, H. Ling, D. Maroudas, T.M. Sobh, 2010, pp. 1 - 6 (atti di: nternational Conference on Computational Bioscience), Cambridge, Massachusetts, Novembre 2010) [Contributo in Atti di convegno]

Alina Sirbu; Heather J. Ruskin; Martin Crane, Modelling Gene Regulatory Networks - An Integrative Approach, «ERCIM NEWS», 2010, 81, pp. 36 - 37 [Articolo in rivista]

Alina Sirbu; heather J. Ruskin; Martin Crane, Wavelets for analysis of time series gene expression data, in: 2nd COST Action MP0801 Physics of Competition and Conflicts, 2010(atti di: 2nd COST Action MP0801 Physics of Competition and Conflicts, Bulgaria, May 2010) [Poster]

R. Lanotte; A. Maggiolo-Schettini; A. Troina, Weak Bisimulation for Probabilistic Timed Automata, «THEORETICAL COMPUTER SCIENCE», 2010, 411, pp. 4291 - 4322 [Articolo in rivista]

Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina, Reachability results for timed automata with unbounded data structures, «ACTA INFORMATICA», 2010, 47, pp. 279 - 311 [Articolo in rivista]

R. Lanotte; A. Maggiolo-Schettini; A. Troina, Time and Probability-Based Information Flow Analysis, «IEEE TRANSACTIONS ON SOFTWARE ENGINEERING», 2010, 36, pp. 719 - 734 [Articolo in rivista]

Roberto Barbuti; Mariangiola Dezani; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina, A Formalism for the Description of Protein Interaction, «FUNDAMENTA INFORMATICAE», 2010, XX, pp. 1 - 29 [Articolo in rivista]

J. SPROSTON; A. TROINA, Simulation and Bisimulation for Probabilistic Timed Automata, in: Proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), Berlin Heidelberg, Springer, 2010, 6246, pp. 213 - 227 (atti di: 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), Klosterneuburg, Austria, 8/09/2010 - 10/09/2010) [Contributo in Atti di convegno]

Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina, Hybrid Calculus of Wrapped Compartments, in: Proceedings 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010, 40, pp. 102 - 120 (atti di: Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010 (MeCBIC 2010), Jena, Germany, 23 August 2010) [Contributo in Atti di convegno]

M. Coppo; F. Damiani; M. Drocco; E. Grassi; A. Troina, Stochastic Calculus of Wrapped Compartments, in: Proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), 2010, 28, pp. 82 - 98 (atti di: Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), Paphos, Cyprus, March 27-28, 2010) [Contributo in Atti di convegno]

Sara Capecchi; Angelo Troina, Types for BioAmbients, in: Proceedings of the Third Workshop From Biology To Concurrency and back, 2010, 19, pp. 103 - 115 (atti di: Third Workshop From Biology To Concurrency and back, Paphos, Cipro, 27 marzo 2011) [Contributo in Atti di convegno]

Ben-El-Kezadri, Ryad; Pau, Giovanni, TimeRemap: Stable and accurate time in vehicular networks, «IEEE COMMUNICATIONS MAGAZINE», 2010, 48, pp. 52 - 57 [Articolo in rivista]

Woodbridge, Jonathan; Lan, Mars; Pau, Giovanni; Gerla, Mario; Sarrafzadeh, Majid, HERO: Hybrid emergency route-opening protocol, in: Woodbridge, Jonathan*, 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2010, 2010, pp. 364 - 369 (atti di: 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2010, Mannheim, deu, 2010) [Contributo in Atti di convegno]

Giordano, Eugenio; Frank, Raphael; Pau, Giovanni; Gerla, Mario, CORNER: A step towards realistic simulations for VANET, in: Giordano, Eugenio, Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM, 2010, pp. 41 - 50 (atti di: 7th ACM International Workshop on VehiculAr InterNETworking, VANET '10, Chicago, IL, usa, 2010) [Contributo in Atti di convegno]