Pubblicazioni

M. Roccetti; G. Marfia; A. Amoroso; C.E. Palazzi; D. Maggiorini, Entertainment Technology Transfer toward Serious Use, in: Proceedings of 5th ICST/IEEE/ACM International Conference on Simulation Tools and Techniques - 3rd ICST/IEEE/ACM International Workshop on Distributed Simulation and Online Gaming, BRUSSELS, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), 2012, pp. 256 - 262 (atti di: 3rd ICST/IEEE/ACM International Workshop on Distributed Simulation and Online Gaming - 5th ICST/IEEE/ACM International Conference on Simulation Tools and Techniques, Desenzano del Garda (IT), March 2012) [Contributo in Atti di convegno]

C. Sacerdoti Coen; E. Zoli, Lebesgue's dominated convergence theorem in Bishop's style, «ANNALS OF PURE AND APPLIED LOGIC», 2012, 163(2), pp. 140 - 150 [Articolo in rivista]

A. Bottrighi; F. Chesani; P. Mello; M. Montali; S. Montani; P. Terenziani, Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge, in: Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II, BERLIN, Springer-Verlag, «LECTURE NOTES IN BUSINESS INFORMATION PROCESSING», 2012, 100, pp. 200 - 211 (atti di: Business Process Management Workshops -- BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011) [Contributo in Atti di convegno]

G. Landi; E. Loli Piccolomini, An efficient method for nonnegatively constrained Total Variation-based denoising of medical images corrupted by Poisson noise, «COMPUTERIZED MEDICAL IMAGING AND GRAPHICS», 2012, 36, pp. 38 - 46 [Articolo in rivista]

A. Franco; D. Maio; D. Maltoni, Face Recognition in Ambient Intelligence Applications, in: Handbook of Ambient Assisted Living - Technology for Healthcare, Rehabilitation and Well-being, AMSTERDAM, IOS press, 2012, pp. 133 - 154 [Capitolo/Saggio in libro]

Di Iorio A.; Musetti A.; Peroni S.; Vitali F., OWiki: enabling an ontology-led creation of semantic data, in: Human – Computer Systems Interaction: Backgrounds and Applications 2: Part II, BERLIN, Springer, 2012, pp. 359 - 374 (ADVANCES IN INTELLIGENT AND SOFT COMPUTING) [Capitolo/Saggio in libro]

Barabucci G.; Peroni S.; Poggi F.; Vitali F., Embedding semantic annotations within texts: the FRETTA approach, in: Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012), NEW YORK, ACM, 2012, pp. 658 - 663 (atti di: The 27th Symposium On Applied Computing, Riva Del Garda, Italy, March 26-30, 2012) [Contributo in Atti di convegno]

D. Sangiorgi, Introduction to bisimulation and coinduction, CAMBRIDGE, Cambridge University Press, 2012, pp. 260 . [Monografia/Trattato scientifico in forma di libro]

M. Golfarelli; F. Mandreoli; W. Penzo; S. Rizzi; E. Turricchia, OLAP Query Reformulation in Peer-to-Peer Data Warehousing, «INFORMATION SYSTEMS», 2012, 37, pp. 393 - 411 [Articolo in rivista]

R. Bruni; A. Kersten; I. Lanese; G. Spagnolo, A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions, in: Proceedings of WADT 2010, 20th International Workshop on Recent Trends in Algebraic Development Techniques, Berlin, Springer, 2012, pp. 42 - 60 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

E. Bacchiega; P. G. Garella, Technology Inertia and the Benefits of Entry, «THE B.E. JOURNAL OF ECONOMIC ANALYSIS & POLICY», 2012, 12, pp. 1 - 18 [Articolo in rivista]

O. Babaoglu; M. Marzolla; M. Tamburini, Design and Implementation of a P2P Cloud System, in: Proceedings of the 27th Annual ACM Symposium on Applied Computing 2012, NEW YORK, Association for Computing Machinery, 2012, pp. 412 - 417 (atti di: 27th Annual ACM Symposium on Applied Computing, Riva del Garda, Italy, march 26-30, 2012) [Contributo in Atti di convegno]

Ronaldo Menezes; Andrea Omicini; Mirko Viroli, Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp, in: Proceedings of the 27th ACM Symposium On Applied Computing (SAC 2012), NEW YORK, NY, ACM Press, 2012, 2, pp. 1557 - 1559 (atti di: 27th ACM Symposium On Applied Computing (SAC 2012), Riva del Garda, TN, Italy, 26-20 March 2012) [Riassunto (Abstract)]

R. Davoli; M. Goldweber, Msocket: Multiple Stack Support for the Berkeley Socket API, in: Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC 2012), NEW YORK, A.C.M., 2012, 1, pp. 588 - 593 (atti di: 27th Annual ACM Symposium on Applied Computing (SAC 2012), Riva del Garda, Italy, March 26-30 2012) [Contributo in Atti di convegno]

E. Bacchiega; E. Randon; L. Zirulia, Strategic Accessibility Competition, «RESEARCH IN ECONOMICS», 2012, 66, pp. 195 - 212 [Articolo in rivista]

Sara Zuppiroli; Paolo Ciancarini; Maurizio Gabbrielli, A Role-Playing Game for a Software Engineering Lab: Developing a Product Line, in: Proceedings 25th IEEE Conference on Software Engineering Education and Training, NEW YORK CITY, IEEE Computer Society, 2012, pp. 13 - 22 (atti di: CSEET Conference on Software Engineering Education and Training, Nanjing, China, 17 April 2012) [Contributo in Atti di convegno]

M. Marzolla; R. Mirandola, A Framework for QoS-Aware Execution of Workflows over the Cloud, in: CLOSER 2012 Proceedings of the 2nd International Conference on Cloud Computing and Services Science, s.l, SCITEPRESS, 2012, pp. 216 - 221 (atti di: 2nd International Conference on Cloud Computing and Services Science (CLOSER 2012), Porto, Portugal, april 18-21, 2012) [Contributo in Atti di convegno]

A. Amoroso; G. Marfia; M. Roccetti, GPS Position Errors in VANETS: Their Impact on a Real-World Accident Warning System, in: Proceedings of 1st IEEE AESS European Conference on Satellite TELecommunications, PISCATAWAY, NJ, IEEE AereoSpace and Electronic Systems Society, 2012, pp. 1 - 5 (atti di: 1st IEEE AESS European Conference on Satellite TELecommunications (ESTE 2012), Rome, October 2012) [Contributo in Atti di convegno]

G. Marfia; A. Amoroso; M. Roccetti, On the Design and Run of VANET Road Experiments, in: Proceedings of 11th IEEE Annual Mediterranean Ad Hoc Networking Conference (MEDHOCNET'12), PISCATAWAY, NJ, IEEE Communications Society, 2012, pp. 141 - 145 (atti di: 11th Annual Mediterranean Ad Hoc Networking Conference (MEDHOCNET'12) - 1st IEEE International Workshop on Vehicular Communications and Applications (VCA'12), Ayia Napa, Cyprus, June 2012) [Contributo in Atti di convegno]

S. Ferretti, Publish-subscribe systems via gossip: a study based on complex networks, in: Proceedings of the Fourth Annual Workshop on Simplifying Complex Networks for Practitioners, NEW YORK, ACM Press, 2012, pp. 7 - 12 (atti di: 4th International Workshop on Simplifying Complex Networks for Pratictioners (SIMPLEX 2012) - World Wide Web Conference (WWW 2012), Lione, 17/04/2012) [Contributo in Atti di convegno]