Pubblicazioni

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]

R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, A Calculus of Looping Sequences for Modelling Microbiological Systems, in: 14th Int. Workshop on Concurrency Specification and Programming (CS&P'05), Varsavia, Warsaw University, 2005, 511/2005, pp. 29 - 40 (atti di: CS&P'05, Ruciane-Nida, Poland, September 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]

Pedrycz W; Succi G, Genetic Granular Classifiers in Modeling Software Quality, «THE JOURNAL OF SYSTEMS AND SOFTWARE», 2005, 76, pp. 277 - 285 [Articolo in rivista]

Colombo A; Damiani E; Giannini G; Scotto M; Succi G, Identifying Individual Process Patterns by Means of Non-invasive Measurements: preliminary results, in: IEEE 3rd International Conference on Computational Cybernetics, 2005, pp. 121 - 126 (atti di: International Conference on Computing in Civil Engineering - ICCC2005, Mauritius, 13-16 April, 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]