Pubblicazioni
-
Mollona E.; Marcozzi A., Self-emerging coordination mechanisms for knowledge integration processes, «MIND & SOCIETY», 2009, 8, pp. 223 - 241 [Articolo in rivista]
-
A. Dennunzio; P. Di Lena; E. Formenti; L. Margara, On the directional dynamics of additive cellular automata, «THEORETICAL COMPUTER SCIENCE», 2009, 410, pp. 4823 - 4833 [Articolo in rivista]
-
P. Di Lena; P. Fariselli; L. Margara; M. Vassura; R. Casadio, On the upper bound of the prediction accuracy of residue contacts in proteins with correlated mutations: the case study of the similarity matrices, in: Algorithms in Bioinformatics, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, pp. 62 - 72 (atti di: 9th International Workshop, WABI 2009, Philadelphia, 12-13 settembre 2009) [Contributo in Atti di convegno]
-
P. Di Lena; L. Margara, Undecidable properties of limit set dynamics of cellular automata, in: Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, FREIBURG, Susanne Albers, Jean-Yves Marion, 2009, pp. 337 - 348 (atti di: 26th International Symposium on Theoretical Aspec- ts of Computer Science (STACS 2009), Freiburg, Germany, February 26-28 2009) [Contributo in Atti di convegno]
-
I. Bartolini, Image Querying, in: Encyclopedia of Database Systems, HEIDELBERG, Springer, 2009, pp. 1368 - 1374 [Capitolo/Saggio in libro]
-
I. Bartolini; P. Ciaccia, Integrating Semantic and Visual Facets for Browsing Digital Photo Collections, in: Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009), TORINO, Seneca Edizioni, 2009, pp. 65 - 72 (atti di: 17th Italian Symposium on Advanced Database Systems (SEBD 2009), Camogli (GE), Italy, June 21-24, 2009) [Contributo in Atti di convegno]
-
F. Chesani; P. Mello; M. Montali; P. Torroni, Verifying a-priori the composition of declarative specified services., in: Proceedings of the 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME)., AACHEN, CEUR, 2009, 494, pp. 1 - 8 (atti di: 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW AWESOME), Torino, italy, September 7-10, 2009) [Contributo in Atti di convegno]
-
I. Bartolini, A Multi-faceted Browsing Interface for Digital Photo Collections, in: Proceedings of the 7th International Workshop on Content-Based Multimedia Indexing (CBMI 2009), LOS ALAMITOS, CA, IEEE Computer Society, 2009, pp. 237 - 242 (atti di: 7th International Workshop on Content-Based Multimedia Indexing (CBMI 2009), Chania, Crete, 3-5 June 2009) [Contributo in Atti di convegno]
-
A. Pantaleo; M. Tornatore; A. Pattavina; C. Raffaelli; F. Callegati, Dimensioning for in-band and out-of-band signalling protocols in OBS networks, «IET COMMUNICATIONS», 2009, 3, pp. 418 - 427 [Articolo in rivista]
-
M. Ramilli; M. Prandini, A messaging-based system for remote server administration, in: Proceedings 2009 Third International Conference on Network and System Security, LOS ALAMITOS, CA, IEEE Computer Society Conference Publishing Serv., 2009, pp. 262 - 269 (atti di: NSS2009 Third International Conference on Network and System Security, Gold Coast, Queensland, Australia, 19-21 ottobre 2009) [Contributo in Atti di convegno]
-
A. Bevilacqua; A. Gherardi; L. Carozza, A novel vision-based approach for autonomous space navigation systems, in: Advances in Visual Computing, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5876, pp. 837 - 846 (atti di: 5th International Symposium, ISVC 2009, Las Vegas, 30 novembre - 2 dicembre 2009) [Contributo in Atti di convegno]
-
A. Bevilacqua; L. Carozza; A. Gherardi, An image registration approach for accurate satellite attitude estimation, in: Advances in Visual Computing, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, pp. 827 - 836 (atti di: 5th International Symposium, ISVC 2009, Las Vegas, 30 novembre - 2 dicembre 2009) [Contributo in Atti di convegno]
-
Salomoni, Paola; Muratori, LUDOVICO ANTONIO; Mirri, Silvia; Pozzi, F., Hacking Nintendo Wii to paint virtual graffiti, in: Proceedings of 2009 IEEE International Workshop on Ubiquitous Multimedia Systems and Applications, ST. PETERSBURG, IEEE Communications Society, Russia North. Chapter, 2009(atti di: 2009 IEEE International Workshop on Ubiquitous Multimedia Systems and Applications (UMSA'09) - International Conference on Ultramodern Telecommunications (ICUMT 2009), St Petersburg, Russia, October 2009) [Contributo in Atti di convegno]
-
P. Salomoni; L. A. Muratori; S. Mirri, SHAPING THE COOCOON: A MODEL FOR WRAPPING LEARNING CONTENTS ON AN E-LEARNING PLATFORM, in: PROCEEDINGS OF THE IADIS INTERNATIONAL CONFERENCE APPLIED COMPUTING 2009, LISBONA, IADIS Press, 2009, 1, pp. 307 - 313 (atti di: IADIS INTERNATIONAL CONFERENCE APPLIED COMPUTING 2009, Rome, November 2009) [Contributo in Atti di convegno]
-
M. Ruggiero; D. Bertozzi; L. Benini; M. Milano; A. Andrei, Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage/Frequency MPSoC Platforms, «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS», 2009, 3,28, pp. 378 - 391 [Articolo in rivista]
-
S. Frau; R. Gorrieri; C. Ferigato, Petri Net Security Checker: Structural Non-interference at Work, in: Lecture Notes in Computer Science, HEIDELBERG, Springer-Verlag, 2009, 5491, pp. 210 - 225 (atti di: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, Ottobre 2008) [Contributo in Atti di convegno]
-
N. Busi; R. Gorrieri, Structural non-interference in elementary and trace nets, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(6), pp. 1065 - 1090 [Articolo in rivista]
-
C. Versari; N. Busi; R. Gorrieri, An expressiveness study of priority in process calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(6), pp. 1161 - 1189 [Articolo in rivista]
-
R.Gorrieri; F. Martinelli; I. Matteucci, Towards Information Flow Properties for Distributed Systems, in: null, 2009, 236, pp. 65 - 84 (atti di: 3rd International Workshop on Views On Designing Complex Architectures (VODCA 2008), Bertinoro, Italy, 30-31 August 2008) [Contributo in Atti di convegno]
-
R. Meyer; R. Gorrieri, On the Relationship between π-Calculus and Finite Place/Transition Petri Nets, in: Lecture Notes in Computer Science, HEIDELBERG, Springer-Verlag, 2009, 5710, pp. 463 - 480 (atti di: CONCUR 2009 - Concurrency Theory, 20th International Conference, Bologna, 1-4- Settembre 2009) [Contributo in Atti di convegno]