Pubblicazioni
-
M. Magnani; D. Montesi, A survey on uncertainty management in data integration, «ACM JOURNAL OF DATA AND INFORMATION QUALITY», 2010, 2, pp. 5: 1 - 5: 33 [Articolo in rivista]
-
A. Corradi; E. Lodolo; S. Monti, Dynamic Reconfiguration of Middleware for Ubiquitous Computing, «INTERNATIONAL JOURNAL OF ADAPTIVE, RESILIENT AND AUTONOMIC SYSTEMS», 2010, 1, pp. 15 - 29 [Articolo in rivista]
-
N. Kobayashi; D. Sangiorgi, A hybrid type system for lock-freedom of mobile processes, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2010, 32, pp. 1 - 49 [Articolo in rivista]
-
R. Demangeon; D. Hirschkoff; D. Sangiorgi, Termination in higher-order concurrent calculi, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2010, 79, pp. 550 - 577 [Articolo in rivista]
-
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]
-
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]
-
Petrinja E; Succi G, Trustworthiness of Floss development process, «INTERNATIONAL JOURNAL OF COMPUTER SYSTEMS SCIENCE AND ENGINEERING», 2010, 25, pp. 297 - 304 [Articolo in rivista]