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, 2957, pp. 38 - 47 (atti di: 2nd Conference on Wired/Wireless Internet Communications (WWIC 2004),, Frankfurt, DE, February 4-6, 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]

  • Maniezzo V.; Carbonaro A., Ant Colony Optimization: An overview, in: Operations Research/ Computer Science Interfaces Series, Switzerland, Springer Nature, 2004, pp. 469 - 492 (OPERATIONS RESEARCH, COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • Maniezzo V.; Carbonaro A.; Golfarelli M.; Rizzi S., An ants algorithm for optimizing the materialization of fragmented views in data warehouses: Preliminary results, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Switzerland, Springer Verlag, 2004, pp. 80 - 89 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [Capitolo/Saggio in libro]

  • Maniezzo V.; Carbonaro A., ANTS heuristic for the frequency assignment problem, «FUTURE GENERATION COMPUTER SYSTEMS», 2004, 16, pp. 927 - 935 [Articolo in rivista]

  • Zingaretti P.; Carbonaro A., Learning to acquire and select useful landmarks for route following, in: 1999 3rd European Workshop on Advanced Mobile Robots, Eurobot 1999 - Proceedings, Institute of Electrical and Electronics Engineers Inc., 2004, pp. 161 - 168 (atti di: 3rd European Workshop on Advanced Mobile Rob.ots, Eurobot 1999, che, 1999) [Contributo in Atti di convegno]

  • Zingaretti P.; Carbonaro A., Route following based on adaptive visual landmark matching, «ROBOTICS AND AUTONOMOUS SYSTEMS», 2004, 25, pp. 177 - 184 [Articolo in rivista]

Torna su