Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

2009 Elimina filtro

386 pubblicazioni

  • G. Barabucci; F. Vitali, XDTD as a Simple Validation Language for XML-based Legal Documents, in: Frontiers in Artificial Intelligence and Applications, AMSTERDAM, IOS Press, 2009, 205, pp. 1 - 10 (atti di: Legal Knowledge and Information Systems - JURIX 2009: The Twenty-Second Annual Conference, Rotterdam (NL), 16-18 dicembre 2009) [Contributo in Atti di convegno]

  • A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen, A new type for tactics, in: PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems, s.l, s.n, 2009, pp. 22 - 29 (atti di: International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS09), Munich, Germany, August, 21, 2009) [Contributo in Atti di convegno]

  • F. ARBAB; R. BRUNI; D. CLARKE; I. LANESE; U. MONTANARI, Tiles for Reo, in: Proceedings of the 19th International Workshop on Algebraic Development Techniques, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5486, pp. 37 - 55 (atti di: 19th International Workshop on Algebraic Development Techniques, Pisa, Italy, 13-16/6/2008) [Contributo in Atti di convegno]

  • G. Castagna; M. Dezani-Ciancaglini; E. Giachino; L. Padovani, Foundations of Session Types, in: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, NEW YORK, ACM Press, 2009, pp. 219 - 230 (atti di: PPDP 2009, Coimbra, Portugal, September 7-9, 2009) [Contributo in Atti di convegno]

  • Bolognini V.; Di Iorio A.; Duca S.; Musetti A.; Peroni S.; Vitali F., Exploiting Ontologies To Deploy User-Friendly and Customized Metadata Editors, in: WWW/Internet 2009 Proceedings, LISBON, IADIS, 2009, pp. 1 - 8 (atti di: IADIS International Conference WWW/INTERNET 2009, Rome, Italy, November 19-22, 2009) [Contributo in Atti di convegno]

  • Di Iorio A.; Peroni S.; Vitali F.; Lumley J.; Wiley T., Towards XML Transclusions, in: Proceedings of the 1st Workshop on New Forms of Xanalogical Storage and Function, «CEUR WORKSHOP PROCEEDINGS», 2009, 508, pp. 23 - 28 (atti di: First Workshop on New Forms of Xanalogical Storage and Function, Turin (Italy), June 29, 2009) [Contributo in Atti di convegno]

  • A. Carbonaro; R. Ferrini, Personalized Information Retrieval in a Semantic-based Learning Environment, in: ANTONIO ZILLI ERNESTO DAMIANI PAOLO CERAVOLO ANGELO CORALLO GIANLUCA ELIA, Semantic Knowledge Management: An Ontology-Based Framework, HERSHEY, Information Science Reference, 2009, pp. 370 - 389 [Capitolo/Saggio in libro]

  • R. Davoli, IL FLOSS NELL’UNIVERSITÀ, in: IL SOFTWARELIBERO IN ITALIA, MILANO, shake edizioni, 2009, pp. 32 - 39 [Capitolo/Saggio in libro]

  • Baranovic M; Golfarelli M; Vrdolijak B; Sandri R, Proceedings of the 32st INTERNATIONAL CONFERENCE ON BUSINESS INTELLIGENCE SYSTEMS (miproBIS), REJEKA, Croatian Society of Information and Communication, 2009, pp. 78 . [Curatela]

  • A Di Iorio; S Duca; A Musetti; S Righini; D Rossi; F Vitali, Customized Edit Interfaces for Wikis via Semantic Annotations, in: Proceedings of the International Works hop on Adaptation and Personalization for Web 2.0, Aachen, CEUR, «CEUR WORKSHOP PROCEEDINGS», 2009, 485, pp. 60 - 68 (atti di: International Works hop on Adaptation and Personalization for Web 2.0, Trento (I), June 22, 2009) [Contributo in Atti di convegno]

  • K. Chowdhury; M. Di Felice, SEARCH: A Routing Protocol for Mobile Cognitive Radio Ad-hoc Networks, «COMPUTER COMMUNICATIONS», 2009, 32, pp. 1983 - 1997 [Articolo in rivista]

  • K. R. Chowdhury; M. Di Felice; I.F. Akyildiz, TP-CRAHN: A Transport Protocol for Cognitive Radio Ad hoc Networks, in: Proceedings of the 28th Conference on Computer Communications (INFOCOM 2009), PISCATAWAY, NJ, IEEE Press, 2009, pp. 2482 - 2490 (atti di: INFOCOM 2009. 28th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, Rio de Janeiro, Brazil, April 19-25, 2009) [Contributo in Atti di convegno]

  • K. Chowdury; M. Di Felice, SEARCH: A Routing Protocol for Mobile Cognitive Radio Ad-hoc Networks, in: Proceedings of the 32nd international conference on Sarnoff Symposium (Sarnoff 2009), PISCATAWAY, NJ, IEEE, 2009, pp. 392 - 397 (atti di: 32nd international conference on Sarnoff Symposium (Sarnoff 2009), Princeton, NJ, USA, March 30-31, April 1 2009) [Contributo in Atti di convegno]

  • P. Bellavista; C. Giannelli, Middleware Solutions for Self-Organizing Multi-hop Multi-path Internet Connectivity based on Bluetooth, in: Mobile Wireless Middleware, BERLIN, Springer, «LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING», 2009, 7, pp. 58 - 71 (atti di: 2nd International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (Mobilware 2009), Berlino, Germania, 28-29 Aprile 2009) [Contributo in Atti di convegno]

  • P. Bellavista; C. Giannelli, Social Sharing of Connectivity Resources: Control and Encouragement of Unselfishness in Mobile Environments, in: Proceedings of the 5th International Mobile Multimedia Communications Conference (Mobimedia’09), NEW YORK, ACM, 2009, pp. 1 - 8 (atti di: 5th International Mobile Multimedia Communications Conference (Mobimedia 2009), Londra, UK, Settembre 2009) [Contributo in Atti di convegno]

  • Vitali F.; Rossi D., Special Track on Web technologies, in: SAC '09 The 2009 ACM Symposium on Applied Computing, NEW YORK, ACM, 2009, pp. 623 - 624 [Breve introduzione]

  • Damiano Piovesan; Pietro Di Lena; Marco Vassura, Unconventional training for neural network predictions of inter-residue contacts, in: CompBio '09 Proceedings of the 1st ACM workshop on Breaking frontiers of computational biology, New York, NY, ACM, 2009, pp. 19 - 26 (atti di: ACM International Conference on Computing Frontiers, Ischia, Italy, May 14-16, 2009) [Contributo in Atti di convegno]

  • Ivan Lanese;Jorge A. Perez;Davide Sangiorgi;Alan Schmitt, On the Expressiveness of Polyadicity in Higher-Order Process Calculi, in: Theoretical Computer Science, 11th Italian Conference, 2009, pp. 143 - 149 (atti di: Theoretical Computer Science, 11th Italian Conference, Cremona, September 28-30, 2009) [Contributo in Atti di convegno]

  • Angelo Di Iorio;John Lumley, From XML inclusions to XML transclusions, in: Proceedings of the 20th ACM conference on Hypertext and hypermedia - HT '09, NEW YORK, ACM, 2009, pp. 147 - 156 (atti di: Proceedings of the 20th ACM conference on Hypertext and Hypermedia - Hypertext 2009, Torino, June, 29th - July, 1st) [Contributo in Atti di convegno]

  • Abu Ghazaleh, Nael; Bononi, Luciano, Proceedings of the 12th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems, MSWiM'09, New York, ACM, 2009, pp. 1 . [Curatela]