Pubblicazioni

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

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]

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]

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]

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]

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, Modelling Gene Regulatory Networks - An Integrative Approach, «ERCIM NEWS», 2010, 81, pp. 36 - 37 [Articolo in rivista]

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]

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]

DEL BIMBO, ALBERTO; DINI, FABRIZIO; LISANTI, GIUSEPPE; PERNICI, FEDERICO, Exploiting Distinctive Visual Landmark Maps in Pan-Tilt-Zoom Camera Networks, «COMPUTER VISION AND IMAGE UNDERSTANDING», 2010, 114, pp. 611 - 623 [Articolo in rivista]

GRECO GIANLUIGI; MALIZIA E; PALOPOLI LUIGI; SCARCELLO FRANCESCO, Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints, «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH», 2010, 38, pp. 633 - 685 [Articolo in rivista]

Padovani, Luca, Contract-based discovery of Web services modulo simple orchestrators, «THEORETICAL COMPUTER SCIENCE», 2010, 411(37), pp. 3328 - 3347 [Articolo in rivista]