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]

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