Pubblicazioni

  • 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]

  • G. Finocchiaro; L. Margara; S. Martini, Internet, il WWW e i loro servizi, in: Fondamenti di Informatica, BOLOGNA, Zanichelli, 2008, pp. 1 - 58 [Capitolo/Saggio in libro]

  • S. Martini (Progetto A3) (a cura di): PROGETTO A3 - DIPARTIMENTO DI SCIENZE DELL'INFORMAZIONE, Fondamenti di Informatica, 2 voll., BOLOGNA, Zanichelli, 2008, pp. 700 . [Curatela]

  • 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]

  • LANESE I.; MELGRATTI H., Synchronous Multiparty Synchronizations and Transactions, in: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, BERLIN, Springer, 2008, pp. 76 - 95 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • Corradi A.; Landini A. ; Lodolo E.;Monti S.; Pasini S., Integrating service composition with mobile code technologies, «COMMUNICATIONS OF SIWN», 2008, 5, pp. 11 - 17 [Articolo in rivista]

  • A. Corradi; E. Lodolo; S. Monti; S Pasini;, A user-centric composition model for the Internet of Services, in: 13th International Symposium on Computers and Communications (ISCC'08) http://www.comsoc.org/iscc/2008/, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press., 2008, pp. 110 - 117 (atti di: 13th International Symposium on Computers and Communications (ISCC'08), Marrakech, Morocco, 6-9 Luglio 2008) [Contributo in Atti di convegno]

Torna su