Pubblicazioni

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

  • Zingaretti P.; Carbonaro A.; Puliti P., Evolutionary image segmentation, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Switzerland, Springer Verlag, 2004, pp. 247 - 254 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [Capitolo/Saggio in libro]

  • Carbonaro A.; Maniezzo V.; Roccetti M.; Salomoni P., Modelling the student in Pitagora 2.0, «USER MODELING AND USER-ADAPTED INTERACTION», 2004, 4, pp. 233 - 251 [Articolo in rivista]

  • Pau, Giovanni; Maniezzo, Daniela; Das, Shirshanka; Lim, Yujin; Pyon, Janghyuk; Yu, Heeyeol; Gerla, Mario, A cross-layer framework for wireless LAN QoS support, in: Proceedings, ITRE 2003 - International Conference on Information Technology: Research and Education, 2003, 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]

  • Bevilacqua A.; Lanza A.; Baccarani G.; Rovatti R., A single-scan algorithm for connected components labelling in a traffic monitoring application, in: Image Analysis, Berlin, Heidelberg, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2003, 2749, pp. 677 - 684 (atti di: 13th Scandinavian Conference on Image Analysis (SCIA 2003), Halmstad, Sweden, June 29 – July 2, 2003) [Contributo in Atti di convegno]

  • Ermacora, A; Michieli, M; Pea, F; Visani, G; Bucalossi, A; Russo, D, Liposome encapsulated daunorubicin (daunoxome) for acute leukemia, «HAEMATOLOGICA», 2000, 85, pp. 324 - 325 [Replica/breve intervento (e simili)]