Go to the University of Bologna homepage
Department of Computer Science and Engineering

Publications

  • 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 [Scientific article]

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • Wang, Ren*; Pau, Giovanni; Yamada, Kenshin; Sanadidi, M.Y.; Gerla, Mario, TCP startup performance in large bandwidth delay networks, in: IEEE INFOCOM 2004: THE CONFERENCE ON COMPUTER COMMUNICATIONS, VOLS 1-4, PROCEEDINGS, IEEE, 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, China, 2004) [Contribution to conference proceedings] Open Access

  • 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) [Chapter or essay]

  • 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) [Chapter or essay]

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

  • 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) [Contribution to conference proceedings]

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

  • 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) [Chapter or essay]

  • 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 [Scientific article]

  • Zama, F.; Loli Piccolomini, E.; Landi, G., A descent method for computing the Tikhonov regularized solution of linear inverse problems, 2004, 5562, pp. 152 - 160 [Scientific article]

  • Bellavista, P; Corradi, A, Mobile middleware solutions for the adaptive management of multimedia QoS to wireless portable devices, in: Proceedings of the Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2003, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, IEEE COMPUTER SOC, 2004, pp. 283 - 291 (atti di: Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2003, Anacapri, Italy, October 01-03, 2003) [Contribution to conference proceedings]

  • Padovani, Luca; R., Solmi, An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics, in: Mathematical Knowledge Management, DEU, Springer, 2004, LNCS 3119, pp. 302 - 316 (atti di: Mathematical Knowledge Management, Białowieża, Poland, September 19-21, 2004) [Contribution to conference proceedings]

  • Padovani, Luca, Interactive Editing of MathML Markup Using TeX Syntax, in: Proceedings of the international conference on TeX, XML, and digital typography (TUG’04), DEU, Springer, 2004, 3130, pp. 125 - 138 (atti di: International conference on TeX, XML, and digital typography, Xanthi, Greece, August 30 - September 3, 2004) [Contribution to conference proceedings]