Pubblicazioni

A. Di Iorio; S. Peroni; F. Vitali, Towards markup support for full GODDAGs and beyond: the EARMARK approach, in: Balisage Series on Markup Technologies, MONTREAL, Balisage Series on Markup Technologies, 2009, 3(atti di: Proceedings of Balisage: The Markup Conference 2009, Montreal, Agosto 2009) [Contributo in Atti di convegno]

Bernhard Angerer; Branko Katalinic; Andrea Omicini, A Semantic eScience Portal for International Scientific and Academic Cooperation, in: Annals of DAAAM for 2009 & Proceedings of the 20th International DAAAM Symposium "Intelligent Manufacturing & Automation: Focus on Theory, Practice and Education", VIENNA, DAAAM International, 2009, pp. N/A - N/A (atti di: 20th International DAAAM Symposium "Intelligent Manufacturing & Automation: Focus on Theory, Practice and Education", Vienna, Austria, 25-28 Novembre) [Contributo in Atti di convegno]

S. Mirri; P. Salomoni; M. Roccetti, A New Standard Passepartout: Implementing IMS AccessForAll and ISO FDIS 24751 Accessibility Standards, in: Proceedings of IMS Global Learning Consortium Conference 2009, LAKE MARY, FL, IMS Global Learning Consortium, 2009, pp. 1 - 2 (atti di: IMS Global Learning Consortium Conference 2009, Barcelona, Spain, May 2009) [Riassunto (Abstract)]

M. Cecchi; F. Capannini; A. Dorigo; A. Ghiselli; F. Giacomini; A. Maraschini; M. Marzolla; S. Monforte; F. Pacini; L. Petronzio; M. Sgaravatto, The gLite Workload Management System, in: null, 2009, 32, pp. 209 - 212 (atti di: Calcolo Scientifico nella Fisica Italiana - CSFI 2008, Rimini, 27--31 maggio 2008) [Contributo in Atti di convegno]

Barabucci G.; Cervone L.; Palmirani M.; Peroni S.; Vitali F., Multi-layer markup and ontological structures in Akoma Ntoso, in: AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue, BERLIN, Springer Verlag, 2009, 6237, pp. 133 - 149 (atti di: AICOL-II Workshop - JURIX 2009, Rotterdam (NL), 16 December 2009) [Contributo in Atti di convegno]

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

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]

Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina, A Type System for a Stochastic CLS, in: Proceedings 3rd Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009, 11, pp. 91 - 105 (atti di: 3rd International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'09), Bologna, Italy, September 2009) [Contributo in Atti di convegno]