Pubblicazioni

Peroni S.; Shotton D.; Vitali F., Scholarly publishing and Linked Data: describing roles, statuses, temporal and contextual extents, in: Proceedings of i-Semantics 2012, NEW YORK, ACM Press, 2012, pp. 9 - 16 (atti di: 8th International Conference on Semantic Systems (i-Semantics 2012)., Graz (Austria), September 5-7, 2012) [Contributo in Atti di convegno]

Huitfeldt C.; Vitali F.; Peroni S., Documents as timed abstract objects, in: Proceedings of Balisage 2012, ROCKVILLE (MD), Balisage Series on markup TechnologiesU, 2012, pp. 1 - 10 (atti di: Balisage: The Markup Conference 2012, Montreal (CA), August 7-10, 2012) [Contributo in Atti di convegno]

Peroni S.; Shotton D.; Vitali F., The Live OWL Documentation Environment: a tool for the automatic generation of ontology documentation, in: Proceedings of EKAW 2012, BERLIN, Springer Verlag, 2012, pp. 398 - 412 (atti di: 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2012), Galway (IR), October 8-12, 2012) [Contributo in Atti di convegno]

Peroni S.; Shotton D.; Vitali F., Faceted documents: describing document characteristics using semantic lenses, in: Proceedings of ACM DocEng 2012, NEW YORK, ACM Press, 2012, pp. 191 - 194 (atti di: 2012 ACM symposium on Document Engineering (DocEng 2012)., Paris, September 4-7, 2012) [Contributo in Atti di convegno]

Palmirani M; Vitali F, Legislative Drafting Systems, in: Usability in Government Systems, NEW YORK, Morgan Kaufmann, 2012, pp. 133 - 151 [Capitolo/Saggio in libro]

Silvia Mirri; Paola Salomoni; Ludovico Antonio Muratori; Matteo Battistelli, Getting one voice: tuning up experts' assessment in measuring accessibility, in: Proceedings of the International Cross-Disciplinary Conference on Web Accessibility - W4A '12, NEW YORK, ACM, 2012, pp. 1 - 4 (atti di: International Cross-Disciplinary Conference on Web Accessibility - W4A '12, Lyon, France, 16 e 17 Aprile 2012) [Contributo in Atti di convegno]

S. Mirri; M. Casadei; L. Muratori; M. Battistelli; P. Salomoni, AMAri: a reporting interface for accessibility evaluations, in: Proceedings of the International Cross-Disciplinary Conference on Web Accessibility - W4A '12, NEW YORK, ACM, 2012, pp. 1 - 2 (atti di: International Cross-Disciplinary Conference on Web Accessibility - W4A '12, Lyon, France, 16/17 Aprile 2012) [Contributo in Atti di convegno]

Salomoni, Paola; Mirri, Silvia; Muratori, LUDOVICO ANTONIO; Battistelli, Matteo, Integrating Manual and Automatic Evaluations to Measure Accessibility Barriers, in: Lecture Notes in Computer Science - Computers Helping People with Special Needs, BERLIN, Springer-Verlag, 2012, 7382/2012, pp. 388 - 395 (atti di: Computers Helping People with Special Needs - 13th International Conference, ICCHP 2012, Linz, Austria, 11-13 Luglio 2012) [Contributo in Atti di convegno]

M. Di Felice; R. Doost-Mohammady;K. R.Chowdhury; L. Bononi, Smart Radios for Smart Vehicles: Cognitive Vehicular Networks, «IEEE VEHICULAR TECHNOLOGY MAGAZINE», 2012, 7, pp. 26 - 33 [Articolo in rivista]

A. J. Ghandour; M. Di Felice; H. Artail; L. Bononi, Modeling and Simulation of WAVE 1609.4-based Multi-channel Vehicular Ad Hoc Networks, in: Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques (SimuTools 2012), BRUSSELS, ICST, 2012, pp. 148 - 156 (atti di: 5th International ICST Conference on Simulation Tools and Techniques (SimuTools 2012), Desenzano sul Garda, Italy, March 19-23, 2012) [Contributo in Atti di convegno]

I. Bartolini, Content Meets Semantics: Smarter Exploration of Image Collections - Presentation of Relevant Use Cases, in: Proceedings of the International Conference on Signal Processing and Multimedia Applications, s.l, SciTePress – Science and Technology Publications, 2012, pp. 186 - 191 (atti di: International Conference on Signal Processing and Multimedia, Rome, Italy, July 24-27) [Contributo in Atti di convegno]

A. Alatan; J. Ostermann; L. Onural; G. AlRegib; S. Mattoccia; C. Yuan, Editorial of the Special Issue on Emerging Techniques in 3D: 3D Data Fusion, Motion Tracking in Multi-View Video, 3DTV Archives and 3D Content Protection, «IEEE JOURNAL OF SELECTED TOPICS IN SIGNAL PROCESSING», 2012, 6, pp. 409 - 410 [Articolo in rivista]

A. Asperti; W. Ricciotti, A Web Interface for Matita, in: Intelligent Computer Mathematics. CICM 2012., Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7362, pp. 417 - 421 (atti di: Intelligent Computer Mathematics, CICM 2012, Bremen, Germany, July 8-13, 2012) [Contributo in Atti di convegno]

Stefano Mariani; Andrea Omicini, Molecules of Knowledge: A Novel Perspective over Knowledge Management, in: Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2012, pp. 23 - 27 (atti di: Doctoral Consortium @ 2012 AI*IA Symposium on Artificial Intelligence, Rome, Italy, 15 July 2012) [Contributo in Atti di convegno]

Prandini, Marco; Ramilli, Marco, Raising Risk Awareness on the Adoption of Web 2.0 Technologies in Decision Making Processes, «FUTURE INTERNET», 2012, 4, pp. 700 - 718 [Articolo in rivista]

L. Toscano; G. D'Angelo; M. Marzolla, Parallel Discrete Event Simulation with Erlang, in: FHPC '12: Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, NEW YORK, ACM, 2012, pp. 83 - 92 (atti di: 1st ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC'12, Copenhagen, Denmark, 15 September 2012) [Contributo in Atti di convegno]

A. Asperti, A Compact Proof of Decidability for Regular Expression Equivalence, in: Lecture Notes in Computer Science, Springer-Verlag, 2012, 7406, pp. 283 - 298 (atti di: Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA,, August 13-15, 2012.) [Contributo in Atti di convegno]

F. Piccinini; E. Lucarelli; A. Gherardi; A. Bevilacqua, Multi-image based method to correct vignetting effect in light microscopy images, «JOURNAL OF MICROSCOPY», 2012, 248 (1), pp. 6 - 22 [Articolo in rivista]

F. PICCININI; A. TESEI; W. ZOLI; A. BEVILACQUA, Extended Depth of Focus in Optical Microscopy: Assessment of Existing Methods and a New Proposal, «MICROSCOPY RESEARCH AND TECHNIQUE», 2012, 75, pp. 1582 - 1592 [Articolo in rivista]

A.Asperti; W.Ricciotti, Formalizing Turing Machines, in: Lecture Notes in Computer Science, Springer Verlag, 2012, 7456, pp. 1 - 25 (atti di: Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, 3-6 September 2012) [Contributo in Atti di convegno]