Pubblicazioni

Lanese I.; Montanari U., Insights Emerged while Comparing Three Models for Global Computing, in: Proceedings of Dagstuhl Seminar n.05081, Foundations of global computing, DAGSTUHL, Schloss Dagstuhl, «DAGSTUHL SEMINAR PROCEEDINGS», 2005, 05081, pp. 1 - 20 (atti di: Dagstuhl Seminar n.05081, Foundations of global computing, Dagstuhl, Germany, 20-25/2/2005) [Contributo in Atti di convegno]

R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, A Probabilistic Model for Molecular Systems, «FUNDAMENTA INFORMATICAE», 2005, 67, pp. 13 - 27 [Articolo in rivista]

R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Automatic Analysis of a Non-Repudiation Protocol, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2005, 112, pp. 113 - 129 [Articolo in rivista]

R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Timed Automata with Data Structures for Distributed Systems Design and Analysis, in: -, Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on, IEEE CSP, 2005, pp. 44 - 53 (atti di: Third IEEE International Conference on Software Engineering and Formal Methods, 2005. SEFM 2005, Koblenz, Germany, September 2005) [Contributo in Atti di convegno]

R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions, in: 3rd Int. Workshop on Computational Methods in Systems Biology (CMSB'05), 2005, pp. 167 - 178 (atti di: CMSB'05, Edinburgh, Scotland, April, 2005) [Contributo in Atti di convegno]

Parker, Michael*; Nader-Tehrani, Amir; Nandan, Alok; Pau, Giovanni, Optimizing neighbors by objective functions in peer-to-peer networks, in: Parker, Michael*, GLOBECOM - IEEE Global Telecommunications Conference, 2005, 2, pp. 990 - 995 (atti di: GLOBECOM'05: IEEE Global Telecommunications Conference, 2005, St. Louis. MO, usa, 2005) [Contributo in Atti di convegno]

Das, Shirshanka*; Nandan, Alok; Parker, Michael G.; Pau, Giovanni; Gerla, Mario, Grido- An architecture for a grid-based overlay network, in: Das, Shirshanka*, Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, Qshine 2005, 2005, 2005, pp. 27 - 27 (atti di: 2nd International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, Qshine 2005, Orlando,FL, usa, 2005) [Contributo in Atti di convegno]

Antonella Carbonaro; Rodolfo Ferrini, Considering semantic abilities to improve a web-based distance learning system, in: ACM Combining Intelligent and Adaptive Hypermedia Methods/Techniques in Web Based Education Systems, 2005, pp. 27 - 32 (atti di: 16th ACM Conference on Hypertext and Hypermedia, Austria, 6-9 September, 2005) [Contributo in Atti di convegno]

Bighini C.; Carbonaro A.; Casadei G., InLinx for document classification, sharing and recommendation, in: Proceedings - 3rd IEEE International Conference on Advanced Learning Technologies, ICALT 2003, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, IEEE Computer Society, 2005, pp. 91 - 95 (atti di: 3rd IEEE International Conference on Advanced Learning Technologies, ICALT 2003, Athens, grc, 2003) [Contributo in Atti di convegno]

Carbonaro A.; Zingaretti P., A comprehensive approach to image-contrast enhancement, in: Proceedings - International Conference on Image Analysis and Processing, ICIAP 1999, 2005, pp. 241 - 246 (atti di: 10th International Conference on Image Analysis and Processing, ICIAP 1999, Venice, ita, 1999) [Contributo in Atti di convegno]

Mirri, S.; Salomoni, P., Providing accessible and portable video lecturing using content transcoding, in: EUROMEDIA 2005 - 11th Annual Scientific Conference on Web Technology, New Media Communications and Telematics Theory Methods, Tools and Applications, EUROSIS, 2005, pp. 97 - 101 (atti di: 11th Annual Scientific Conference on Web Technology, New Media Communications and Telematics Theory Methods, Tools and Applications, EUROMEDIA 2005, Toulouse, fra, 2005) [Contributo in Atti di convegno]

Bevilacqua, A.; Gherardi, A.; Guerrieri, R., In vivo quantitative evaluation of skin ageing by capacitance image analysis, in: Proceedings of the Seventh IEEE Workshop on Applications of Computer Vision (WACV 2005), IEEE Computer Society, 2005, pp. 342 - 347 (atti di: The 7th IEEE Workshop on Applications of Computer Vision (WACV 2005), Breckenridge, CO, usa, January 5-7, 2005) [Contributo in Atti di convegno]

Roccetti M.; Kozbe B.; Ulema M., Entertainment everywhere: System and networking issues in emerging network-centric entertainment systems: Part I, «IEEE COMMUNICATIONS MAGAZINE», 2005, 43, pp. 67 - 68 [Abstract in rivista]

Kozbe B.; Roccetti M.; Ulema M., Entertainment everywhere: System and networking issues in emerging networking-centric entertainment systems: Part II, «IEEE COMMUNICATIONS MAGAZINE», 2005, 43, pp. 73 - 74 [Abstract in rivista]

Bellavista, P; Corradi, A; Magistretti, E, Comparing and evaluating lightweight solutions for replica dissemination and retrieval in dense MUNETs, in: Proceedings of the IEEE International Symposium on Computers and Communications (ISCC), 2005, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, IEEE COMPUTER SOC, «PROCEEDINGS - IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS», 2005, pp. 43 - 50 (atti di: IEEE Symposium on Computers and Communications, Cartagena, Spain, June 27 - June 30, 2005) [Contributo in Atti di convegno]

Bevilacqua, A; Di Stefano, L; Lanza, A, Coarse-to-fine strategy for robust and efficient change detectors, in: Proceeding of the IEEE International Conference on Advanced Video and Signal Based Surveillance, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, 2005, pp. 87 - 92 (atti di: IEEE International Conference on Advanced Video and Signal Based Surveillance, Como, Italy, September 15-16, 2005) [Contributo in Atti di convegno]

Padovani, Luca, Compilation of Generic Regular Path Expressions Using C++ Class Templates, in: Proceedings of the 14th International Conference on Compiler Construction, DEU, Springer, 2005, LNCS 3443, pp. 27 - 42 (atti di: 14th Conference on Compiler Construction, Edinburgh, 2-10 April 2005) [Contributo in Atti di convegno]

Boschetti, MARCO ANTONIO; Maniezzo, Vittorio, An Ant System Heuristic for the Two-Dimensional Finite Bin Packing Problem: preliminary results, in: CAPASSO V.; PRIAUX J., Multidisciplinary Methods for Analysis, Optimization and Control of Complex Systems, Series: Mathematics in Industry, Subseries: The European Consortium for Mathematics in Industry, BERLIN, Springer Verlag, 2004, pp. 233 - 247 [Capitolo/Saggio in libro]

OMICINI ANDREA; RICCI ALESSANDRO; VIROLI MIRKO; CASTELFRANCHI CRISTIANO; TUMMOLINI LUCA, Coordination Artifacts: Environment-based Coordination for Intelligent Agents, in: Proceedings of the 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), NEW YORK, ACM, 2004, 1, pp. 286 - 293 (atti di: 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), New York, NY, USA, 19-23 Luglio 2004) [Contributo in Atti di convegno]

A. Bevilacqua; A. Gherardi, Age-related Skin Analysis by Capacitance Images, in: J.KITTLER,M.PETROU,M.NIXON, Proceedings of the 17th IEEE-IAPR International Conference on Pattern Recognition (ICPR 2004), LOS ALAMITOS, IEEE Computer Society, 2004, 2, pp. 703 - 706 (atti di: 17th IEEE-IAPR International Conference on Pattern Recognition (ICPR 2004), Cambridge (UK), 23-26 Agosto) [Contributo in Atti di convegno]