Pubblicazioni

  • BRUNI R.; FIADEIRO J. L.; LANESE I.; LOPES A.; MONTANARI U., New Insights on Architectural Connectors, in: Proceedings of IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, ALPHEN AAN DEN RIJN, Kluwer Academics, «IFIP INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING», 2004, 155, pp. 367 - 379 (atti di: 3rd IFIP International Conference on Theoretical Computer Science, Toulose, France, 24-26/8/2004) [Contributo in Atti di convegno]

  • LANESE I.; MONTANARI U., Synchronization Algebras with Mobility for Graph Transformations, in: Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004), Amsterdam, Elsevier B.V., 2004, 138, pp. 43 - 60 (atti di: FCUC'04, Joint 3rd workshop on the (SGUC) Grand Challenge and 3rd EATCS Workshop in the Foundations of Global Computing, London, UK, 3-4/9/2004,) [Contributo in Atti di convegno]

  • LANESE I.; MONTANARI U., A Graphical Fusion Calculus, in: Proceedings of the Workshop of the COMETA Project on Computational Metamodels, Amsterdam, Elsevier B.V., 2004, 104, pp. 199 - 215 (atti di: Workshop of the COMETA Project on Computational Metamodels, Udine, Italy, 15-17/12/2003) [Contributo in Atti di convegno]

  • Campari E.G. ; Levi G. ; Maniezzo V., Cellular automata and roundabout traffic simulation, in: Cellular Automata: 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Berlin, Springer Verlag, 2004, pp. 202 - 210 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • D. Bottazzi; A.Corradi; R. Montanari, Context-Aware Group Communication in Mobile Ad-Hoc Networks, in: Wired/Wireless Internet Communications, Lecture Notes in Computer Science, 2004, DOI: 10.1007/978-3-540-24643-5_4, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, Volume 2957/2004, pp. 38 - 47 (atti di: 2nd Conference on Wired/Wireless Internet Communications (WWIC 2004),, Frankfurt, DE, February 2004) [Contributo in Atti di convegno]

  • Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto, Approximating Imperfect Cryptography in a Formal Model, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 99, pp. 183 - 203 [Articolo in rivista]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI, Automatic Analysis of the NRL Pump, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 99, pp. 245 - 266 [Articolo in rivista]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security, in: -, Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on, -, IEEE CSP, 2004, pp. 114 - 121 (atti di: Second International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China, September 2004) [Contributo in Atti di convegno]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI, Automatic Covert Channel Analysis of a Multilevel Secure Component, in: Javier Lopez Sihan Qing Eiji Okamoto, Information and Communications Security - 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004. Proceedings, BERLIN HEIDELBERG, Springer-Verlag, 2004, LNCS 3269, pp. 249 - 261 (atti di: 6th International Conference on Information and Communications Security (ICICS 2004), Malaga, Spain, October 27-29, 2004) [Contributo in Atti di convegno]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Information Flow Analysis for Probabilistic Timed Automata, in: Proc. of IFIP Workshop on Formal Aspects in Security and Trust (FAST), Springer US, 2004, IFIP 173, pp. 13 - 26 (atti di: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, Toulouse, France, August 22–27, 2004) [Contributo in Atti di convegno]

  • R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, A Probabilistic Calculus for Molecular Systems, in: CS&P'04, Berlino, Humboldt-Univeristaet, Informatik-Berichte, 2004, 170, pp. 202 - 216 (atti di: 13th Int. Workshop on Concurrency Specification and Programming (CS&P'04), Caputh, Germany, September, 2004) [Contributo in Atti di convegno]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA, Verification of Hybrid Automata by Synthesis and Refinement, in: CS&P'04, Berlino, Humboldt-Univeristaet, Informatik-Berichte, 2004, 170, pp. 69 - 80 (atti di: 13th Int. Workshop on Concurrency Specification and Programming (CS&P'04), Caputh, Germany, September, 2004) [Contributo in Atti di convegno]

  • Nandan, Alok; Das, Shirshanka; Pau, Giovanni; Gerla, Mario; Sanadidi, M.Y., Co-operative downloading in vehicular ad-hoc wireless networks, in: Nandan, Alok, 2nd Annual Conference on Wireless On-Demand Network Systems and Services, WONS 2005, 2004, pp. 32 - 41 (atti di: 2nd Annual International Conference on Wireless On-Demand Network Systems and Services, WONS 2005, St. Moritz, che, 2005) [Contributo in Atti di convegno]

  • Das, Shirshanka*; Nandan, Alok; Pau, Giovanni; Sanadidi, M.Y.; Gerla, Mario, SPAWN: A swarming protocol for vehicular ad-hoc wireless networks, in: Das, Shirshanka*, VANET - Proceedings of the First ACM International Workshop on Vehicular Ad Hoc Networks, 2004, pp. 93 - 94 (atti di: VANET - Proceedings of the First ACM International Workshop on Vehicular Ad Hoc Networks, Held in Conjunction with MOBICOM 2004, Philadelphia, PA, usa, 2004) [Contributo in Atti di convegno]

  • Wang, Ren*; Pau, Giovanni; Yamada, Kenshin; Sanadidi, M.Y.; Gerla, Mario, TCP startup performance in large bandwidth delay networks, in: Proceedings - IEEE INFOCOM, 2004, 2, pp. 796 - 805 (atti di: IEEE INFOCOM 2004 - Conference on Computer Communications - Twenty-Third Annual Joint Conference of the IEEE Computer and Communications Societies, Hongkong, chn, 2004) [Contributo in Atti di convegno]

  • Pau, Giovanni; Maniezzo, Daniela; Das, Shirshanka; Lim, Yujin; Pyon, Janghyuk; Yu, Heeyeol; Gerla, Mario, A cross-layer framework for wireless LAN QoS support, in: Pau, Giovanni, Proceedings, ITRE 2003 - International Conference on Information Technology: Research and Education, 2004, pp. 331 - 334 (atti di: 2003 International Conference on Information Technology: Research and Education, ITRE 2003, Newark, NJ, usa, 2003) [Contributo in Atti di convegno]

  • BELLAVISTA P.; BOTTAZZI D.; CORRADI A.; MONTANARI R.; VECCHI S., Mobile Agent Middlewares for Context-aware Applications, in: I. MAHGOUB; M. ILYAS EDITORS, Handbook of Mobile Computing, BOCA RATON, FLORIDA, CRC Press, 2004, pp. 315 - 334 [Capitolo/Saggio in libro]

  • BOUKERCHE A.; BONONI L., Simulation and Modeling of Wireless, Mobile and Ad Hoc Networks, in: Mobile Ad Hoc Networking, NEW YORK, IEEE/Wiley, 2004, pp. 373 - 410 [Capitolo/Saggio in libro]

  • F. CALLEGATI; M. CASONI; RAFFAELLI C., TCP/IP Performance over Optical Networks, in: M. HASSAN; R. JAIN, High Performance TCP/IP Networking, UPPER SADDLE RIVER, NJ, Pearson Prentice Hall, 2004, pp. 185 - 205 (Pearson education) [Capitolo/Saggio in libro]

  • BELLAVISTA P.; CORRADI A.; STEFANELLI C., Policy-based Access Control for Context-aware Services over the Wireless Internet, in: WEN-CHEN HU; CHUNG-WEI LEE; AND WEIDONG KOU EDITORS, Advances in Security and Payment Methods for Mobile Commerce, HERSHEY, PENNSYLVANIA, Idea Group, 2004, pp. 81 - 108 [Capitolo/Saggio in libro]

Torna su