Pubblicazioni
-
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: 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) [Contributo in Atti di convegno] 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) [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]
-
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 [Articolo in rivista]
-
Clark J; Clarke C; De Panfilis S; Granatella G; Predonzani P; Sillitti A; Succi G; Vernazza T, Selecting Components in Large COTS Repositories, «THE JOURNAL OF SYSTEMS AND SOFTWARE», 2004, 73, pp. 323 - 331 [Articolo in rivista]