Pubblicazioni

G.Vitali; E.Magnanini; N.Mennucci; E.Denti, Interacting with Virtual Plants: a Client-Server Approach, in: Proceedings of the 6th International Workshop on Functional-Structural Plant Models, DAVIS, University of California, Davis, 2010(atti di: 6th International Workshop on Functional-Structural Plant Models, Davis, CA, September 12-17, 2010) [Contributo in Atti di convegno]

M. Baldoni; C. Baroglio; F. Bergenti; A. Boccalatte; E. Marengo; M. Martelli; V. Mascardi; L. Padovani; V. Patti; A. Ricci; G. Rossi; A. Santi, MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems, in: WOA 2010 — Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*, AACHEN, Sun SITE Central Europe, RWTH Aachen University, 2010, 621, pp. 1 - 8 (atti di: 11º Workshop "Dagli Oggetti agli Agenti" (WOA 2010), Rimini, Italy, 5-7 September 2010) [Contributo in Atti di convegno]

Z. Kiziltan; J. Mauro, Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios, in: Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, HEIDELBERG, Springer Verlag, 2010, LNCS 6140, pp. 246 - 251 (atti di: 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Bologna, Italy, June 2010) [Contributo in Atti di convegno]

Di Iorio A.; Peroni S.; Vitali F., Handling markup overlaps using OWL, in: Knowledge Engineering and Management by the Masses - 17th International Conference, EKAW 2010, BERLINO, Springer Verlag, 2010, 6317, pp. 391 - 400 (atti di: Knowledge Engineering and Management by the Masses - 17th International Conference, EKAW 2010, Lisbona (P), October 11-15, 2010) [Contributo in Atti di convegno]

Barabucci G.; Cervone L.; Di Iorio A.; Palmirani M.; Peroni S.; Vitali F., Managing semantics in XML vocabularies: an experience in the legal and legislative domain, in: Balisage Series on Markup Technologies Vol 5. Proceedings of Balisage: The Markup Conference 2010, MONTREAL, Balisage, 2010, 5(atti di: Balisage: The Markup Conference 2010, Montreal, 3-6 Agosto 2010) [Contributo in Atti di convegno]

Di Iorio A.; Musetti A.; Peroni S.; Vitali F, Crowdsourcing semantic content: A model and two applications, in: Proceedings of the 3rd Conference on Human System Interactions HSI 2010, NEW YORK, IEEE Computer Society, 2010, pp. 563 - 570 (atti di: Human System Interactions HSI 2010, Rzeszow (PL), 13-15 May 2010) [Contributo in Atti di convegno]

Di Iorio A.; Musetti A.; Peroni S.; Vitali F., Ontology-driven generation of wiki content and interfaces, «THE NEW REVIEW OF HYPERMEDIA AND MULTIMEDIA», 2010, 16, pp. 9 - 31 [Articolo in rivista]

S. Lodi; R. Ñanculef; C.Sartori, Learning Multi-Class Support Vector Models from Distributed Data using Core-Sets (Extended Abstract), in: Proceedings of SEBD 2010 - 18th Italian Symposium on Advanced Database Systems, BOLOGNA, Società Editrice Esculapio, 2010, pp. 150 - 157 (atti di: SEBD 2010 - 18th Italian Symposium on Advanced Database Systems, Rimini, Italy, June 20-23, 2010) [Riassunto (Abstract)]

Di Iorio A.; Feliziani A.A.; Furini L.; Vitali F., A cross-format architecture for professional publishing, in: Proceedings of the IADIS International Conference on Applied Computing, NEW YORK, IADIS Press, 2010, pp. 97 - 104 (atti di: IADIS International Conference on Applied Computing, Timosoara (Ro), 14-16 October 2010) [Contributo in Atti di convegno]

C. Sacerdoti Coen; S. Valentini, General Recursion and Formal Topology, in: Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, s.l, Electronic Proceedings in Theoretical Computer Sci, 2010, 43, pp. 65 - 75 (atti di: Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010), Edinburgh, 15th July 2010) [Contributo in Atti di convegno]

D. Bottazzi; R. Montanari, Granting Flexibility to Business Process Management, in: Handbook of Enterprise Integration, -, CRC Press, 2010, pp. 323 - 335 [Capitolo/Saggio in libro]

D. Bottazzi; R. Montanari; T. Taleb, Integrating Supports for Ubiquitous Eldercare, in: Healthcare and the Effect of Technology: Developments, Challenges and Advancements, -, IGI Global, 2010, pp. 252 - 268 [Capitolo/Saggio in libro]

M. Kaminiski; S. Martini, CSL 2008 special issue, NEW YORK, NY, Association for Computing Machinery - ACM, 2010, pp. 210 . [Curatela]

M. Ferrara, Biometric Fingerprint Recognition Systems, SAARBRÜCKEN, Lambert Academic Publishing, 2010, pp. 148 . [Monografia/Trattato scientifico in forma di libro]

I. LANESE; C. VAZ; C. FERREIRA, On the Expressive Power of Primitives for Compensation Handling, in: Proceedings of the 19th European Symposium on Programming, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6012, pp. 366 - 386 (atti di: 19th European Symposium on Programming, Paphos, Cyprus, 22-26 Marzo 2010) [Contributo in Atti di convegno]

Lanese I., Static vs Dynamic SAGAs, in: Third Interaction and Concurrency Experience (ICE 2010), 2010, 38, pp. 51 - 65 (atti di: 3rd Interaction and Concurrency Experience, Amsterdam, Netherlands, 10/6/2010) [Contributo in Atti di convegno]

I. LANESE; A. BUCCHIARONE A; F. MONTESI, A Framework for Rule-Based Dynamic Adaptation, in: Proceedings of the 5th International Symposium on Trustworthly Global Computing, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6084, pp. 284 - 300 (atti di: 5th International Symposium on Trustworthly Global Computing, Munich, Germany, 24-26/2/2010) [Contributo in Atti di convegno]

I. LANESE; C. A. MEZZINA; J. STEFANI, Reversing Higher-Order Pi, in: Proceedings of the 21th International Conference on Concurrency Theory - CONCUR 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6269, pp. 478 - 493 (atti di: 21th International Conference on Concurrency Theory - CONCUR 2010, Parigi, Francia, 31/8/2010 - 3/9/2010) [Contributo in Atti di convegno]

I. LANESE; F. MONTESI, Error Handling: From Theory to Practice, in: Proceedings of the 4th International Symposium on Leveraging Applications, ISoLA 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6416, pp. 66 - 81 (atti di: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 18-21/10/2010) [Contributo in Atti di convegno]

P. Ciancarini; G. Favini, Algorithmic explorations of a well known wargame, in: The Spain-Italy-Netherlands Sixth Meeting on Game Theory (SING 6), PALERMO, sine nomine, 2010, pp. 33 - 34 (atti di: Spain-Italy-Netherlands Sixth Meeting on Game Theory, Palermo, Luglio) [Contributo in Atti di convegno]