Pubblicazioni

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]

R. Gorrieri; C. Versari, A Process Calculus for Expressing Finite Place/Transition Petri Nets, in: Proceedings of 17th International Workshop on Expressiveness in Concurrency, SINE LOCO, Electronic Proceedings in Theoretical Computer Sci, 2010, pp. 76 - 90 [Capitolo/Saggio in libro]

E. Best; Ph. Darondeau; R. Gorrieri, On the Decidability of Non Interference over Unbounded Petri Nets, in: Proceedings of 8th International Workshop on Security Issues in Concurrency, SINE LOCO, Electronic Proceedings in Theoretical Computer Sci, 2010, pp. 16 - 33 [Capitolo/Saggio in libro]

Gangemi A.; Peroni S.; Vitali F., Literal Reification, in: Proceedings of the 2nd International Workshop on Ontology Patterns - WOP2010, 2010, pp. 65 - 66 (atti di: 2nd International Workshop on Ontology Patterns - WOP2010, Shanghai (China), November 8, 2010) [Riassunto (Abstract)]

G. Monti; G. Moro; M. Rosetti; G. Tufano;, Self-Organizing Mobile Mesh Networks with Peer-to-Peer Routing and Information Search Services, in: The Third International Conference on Advances in Mesh Networks MESH 2010, LOS ALAMITOS, CA 90720-1314, IEEE Computer Society, 2010, pp. 17 - 22 (atti di: The Third IEEE International Conference on Advances in Mesh Networks MESH 2010, Venice, Italy, 18-25 July 2010) [Contributo in Atti di convegno]

L. Nanni; A. Lumini, Using ensemble of classifiers in Bioinformatics, in: Machine Learning Research Progress, HAUPPAUGE, NY, Nova Publishers, 2010, pp. 177 - 210 [Capitolo/Saggio in libro]