Pubblicazioni

S. Martini, Elogio di Babele, «MONDO DIGITALE», 2008, 2, pp. 17 - 23 [Articolo in rivista]

R. Bruni; I. Lanese, Parametric synchronizations in mobile nominal calculi, «THEORETICAL COMPUTER SCIENCE», 2008, 402(2-3), pp. 102 - 119 [Articolo in rivista]

R. BRUNI; I. LANESE; H. MELGRATTI; E. TUOSTO, Multiparty Sessions in SOC, in: Proceedings of the 10th International Conference on Coordination Models and Languages, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5052, pp. 67 - 82 (atti di: 10th International Conference on Coordination Models and Languages, Oslo, Norvegia, 4-6/6/2008) [Contributo in Atti di convegno]

L. CRUZ-FILIPE; I. LANESE; F. MARTINS; A. RAVARA; V.T. VASCONCELOS, Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus, in: Proceedings of the 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5051, pp. 59 - 77 (atti di: 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, Oslo, Norway, 4-6/6/2008) [Contributo in Atti di convegno]

Lanese I., Exploiting User-Definable Synchronizations in Graph Transformation, in: Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006) Vienna, Austria, Amsterdam, Elsevier B.V, 2008, 211, pp. 27 - 38 (atti di: 5th International Workshop on Graph Transformation and Visual Modeling Techniques, Vienna, Austria, 1/4/2006) [Contributo in Atti di convegno]

Baranovic M; Golfarelli M; Vrdolijak B; Sandri R, Proceedings of the 31st INTERNATIONAL CONFERENCE ON BUSINESS INTELLIGENCE SYSTEMS (miproBIS), REJEKA, Croatian Society of Information and Communication, 2008, pp. 261 . [Curatela]

Alberto Dennunzio; Pietro Di Lena; Enrico Formenti; Luciano Margara, Classification of directional dynamics for additive Cellular Automata, in: First Symposium on Cellular Automata "Journées Automates Cellulaires" (JAC 2008), Uzès, France, April 21-25, 2008. Proceedings., MCCME Publishing House, 2008, pp. 40 - 53 (atti di: First Symposium on Cellular Automata, JAC 2008, Uzès, France, April 21-25, 2008) [Contributo in Atti di convegno]

Sabin C Buraga; Alina Sirbu, A SOA-based Solution for Resource Monitoring within a Grid System, in: Distributed Systems Seminar, Suceava, 2008, pp. 1 - 5 (atti di: Distributed Systems Seminar, Suceava, Romania, 2008) [Contributo in Atti di convegno]

J. Krivine; R. Milner; A. Troina, Stochastic Bigraphs, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2008, 218, pp. 73 - 96 [Articolo in rivista]

R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, Bisimulations in Calculi Modelling Membranes, «FORMAL ASPECTS OF COMPUTING», 2008, 20, pp. 351 - 377 [Articolo in rivista]

R. Barbuti; A. Maggiolo-Schettini; P. Milazzo; P. Tiberi; A. Troina, Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways, «TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY», 2008, IX, pp. 86 - 113 [Articolo in rivista]

R. Lanotte; A. Maggiolo-Schettini; P. Milazzo; A. Troina, Design and Verification of Long-Running Transactions in a Timed Framework, «SCIENCE OF COMPUTER PROGRAMMING», 2008, 73, pp. 76 - 94 [Articolo in rivista]

Palazzi, Claudio E.; Pau, Giovanni; Marcondes, Cesar; Gerla, Mario, Shareable bandwidth estimation on satellite links, in: Palazzi, Claudio E.*, 2008 4th Advanced Satellite Mobile Systems - Proceedings, ASMS 2008, 2008, pp. 186 - 191 (atti di: 2008 4th Advanced Satellite Mobile Systems, ASMS 2008, Bologna, ita, 2008) [Contributo in Atti di convegno]

Noshadi, Hyduke; Giordano, Eugenio; Hagopian, Hagop; Pau, Giovanni; Gerla, Mario; Sarrafzadeh, Majid, Remote medical monitoring through vehicular ad hoc network, in: Noshadi, Hyduke, IEEE Vehicular Technology Conference, 2008, pp. 1 - 5 (atti di: 68th Semi-Annual IEEE Vehicular Technology, VTC 2008-Fall, Conference, Calgary, AB, can, 2008) [Contributo in Atti di convegno]

Marfia, Gustavo; Lutterotti, Paolo; Eidenbenz, Stephan; Pau, Giovanni; Gerla, Mario, FairCast: Fair multi-media streaming in ad Hoc networks through local congestion control, in: Marfia, Gustavo*, MSWiM'08: Proceedings of the 11th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems, 2008, pp. 2 - 9 (atti di: 11th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems, MSWiM'08, Vancouver, BC, can, 2008) [Contributo in Atti di convegno]

Lee, Uichin; Park, Joon-Sang; Lee, Seung-Hoon; Ro, Won W.; Pau, Giovanni; Gerla, Mario, Efficient peer-to-peer file sharing using network coding in MANET, «JOURNAL OF COMMUNICATIONS AND NETWORKS», 2008, 10, pp. 422 - 429 [Articolo in rivista]

Tomatis, Andrea; Cataldi, Pasquale; Pau, Giovanni; Mulassano, Paolo; Dovis, Fabio, Cooperative LBS for secure transport system, in: Tomatis, Andrea*, 21st International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS 2008, 2008, 4, pp. 1885 - 1890 (atti di: 21st International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS 2008, Savannah, GA, usa, 2008) [Contributo in Atti di convegno]

Giordano, Eugenio; Tomatis, Andrea; Ghosh, Abhishek; Pau, Giovanni; Gerla, Mario, C-VeT an open research platform for VANETs: Evaluation of peer to peer applications in vehicular networks, in: IEEE Vehicular Technology Conference, 2008, pp. 1 - 2 (atti di: 68th Semi-Annual IEEE Vehicular Technology, VTC 2008-Fall, Conference, Calgary, AB, can, 2008) [Contributo in Atti di convegno]

ANDREOLINI, Mauro; CASOLARI S; COLAJANNI, Michele, Autonomic request management algorithms for geographically distributed Internet-based systems, in: International Conference on Self-Adaptive and Self-Organizing systems (SASO2008), USA, IEEE Computer Society, 2008, pp. 171 - 180 (atti di: Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Venezia, 20-24 ottobre 2008) [Contributo in Atti di convegno]

Carbonaro, A, Personalized Video Browsing and Retrieval in a Semantic-Based Learning Environment, in: OPEN KNOWLEDGE SOCIETY: A COMPUTER SCIENCE AND INFORMATION SYSTEMS MANIFESTO, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY, SPRINGER-VERLAG BERLIN, 2008, pp. 163 - 171 (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE) [Capitolo/Saggio in libro]