Pubblicazioni

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]

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

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]

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]

Mollona E; Vignoli M; Iesi GP, Structure or flow? Designing knowledge based organizations, in: Desperately seeking performance in organizations, PADOVA, Cleup, 2012, pp. 74-1 - 74-12 (atti di: XIII° Workshop dei Docenti e dei Ricercatori diOrganizzazione Aziendale, Verona, 28-29 Maggio 2012) [Contributo in Atti di convegno]

S. Ferretti; V. Ghini; M. Marzolla; F. Panzieri, Walking with the Oracle: Efficient Use of Mobile Networks through Location-Awareness, in: Proceedings of the 2012 IFIP Wireless Days Conference, PISCATAWAY, NJ, IEEE Communication Society, 2012, pp. 1 - 6 (atti di: 2012 IFIP Wireless Days Conference, Dublin, Novembre 2012) [Contributo in Atti di convegno]

J. Saldana; G. Marfia; M. Roccetti, First Person Shooters on the Road: Leveraging on APs and Vanets for a Quality Gaming Experience, in: Proceedings of IFIP/IEEE 2012 Wireless Days Conference, PISCATAWAY, NJ, IEEE Communications Society, 2012, pp. 1 - 6 (atti di: IFIP/IEEE 2012 Wireless Days Conference, Dublin, November 2012) [Contributo in Atti di convegno]

Sara Montagna; Danilo Pianini; Mirko Viroli, Gradient-based Self-organisation Patterns of Anticipative Adaptation, in: Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), LOS ALAMITOS, CA, IEEE CS, 2012, pp. 169 - 174 (atti di: 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), Lyon, France, 10-13/09/2012) [Contributo in Atti di convegno]

J. Saldana; G. Marfia; M. Roccetti, Satisfying the Hunger for Mobile Online Games: Providing Quality Time in Vehicular Scenarios, in: Proceedings 11th IEEE Annual International Workshop on Network and System Support for Games (NETGAMES 2012), PISCATAWAY, NJ, IEEE Communications Society, 2012, pp. 1 - 2 (atti di: 11th IEEE Annual International Workshop on Network and System Support for Games (NETGAMES 2012), Venice, Italy, November 2012) [Contributo in Atti di convegno]

A. Aldoma; F. Tombari; L. Di Stefano; M. Vincze, A Global Hypotheses Verification Method for 3D Object Recognition, in: 12th European Conference on Computer Vision, ProceedingsLecture Notes in Computer Science 7574, HEIDELBERG, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 3, pp. 511 - 524 (atti di: 12th European Conference on Computer Vision, Firenze, Italia, 7-13 Ottobre 2012) [Contributo in Atti di convegno]

S. Salti; A. Petrelli; F. Tombari; L. Di Stefano, On the Affinity between 3D Detectors and Descriptors, in: 2012 Second Joint 3DIM/3DPVT Conference: 3D Imaging, Modeling, Processing, Visualization & Transmission, Proceedings, LOS ALAMITOS, CA, IEEE, 2012, pp. 424 - 431 (atti di: 2012 Second Joint 3DIM/3DPVT Conference: 3D Imaging, Modeling, Processing, Visualization & Transmission, Zurich, Switzerland, 13-15 Ottobre 2012) [Contributo in Atti di convegno]

F. Malaguti; F. Tombari; S. Salti; D. Pau; L. Di Stefano, Toward compressed 3D descriptors, in: 2012 Second Joint 3DIM/3DPVT Conference: 3D Imaging, Modeling, Processing, Visualization & Transmission, Proceedings, LOS ALAMITOS, CA, IEEE, 2012, pp. 176 - 183 (atti di: 2012 Second Joint 3DIM/3DPVT Conference: 3D Imaging, Modeling, Processing, Visualization & Transmission, Zurich, Switzerland, 13-15 Ottobre 2012) [Contributo in Atti di convegno]

A. Petrelli; L. Di Stefano, A repeatable and efficient canonical reference for surface matching, in: Proceedings of the 2012 Second Joint 3DIM/3DPVT Conference: 3D Imaging, Modeling, Processing, Visualization & Transmission., LOS ALAMITOS, CA, IEEE, 2012, pp. 403 - 410 (atti di: 2012 Second Joint 3DIM/3DPVT Conference: 3D Imaging, Modeling, Processing, Visualization & Transmission., Zurigo, 13-15 Ottobre 2012) [Contributo in Atti di convegno]

M. Prandini; M. Ramilli, Internet Voting: Fatally Torn Between Conflicting Goals?, in: Proceedings of 6th International Conference on Theory and Practice of Electronic Governance, NEW YORK, ACM, 2012, pp. 58 - 61 (atti di: 6th International Conference on Theory and Practice of Electronic Governance, Albany, NY, USA, 22/10/2012 - 25/10/2012) [Contributo in Atti di convegno]

M. Villani; R. Serra; S. Benedettini; A. Roli; D.A. Lane, Noise-induced emergent hierarchies in a CA model, in: Cellular Automata, Berlin Heidelberg, Springer-Verlag Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7495, pp. 244 - 253 (atti di: ACRI 2012 - Cellular automata for research and industry, Santorini (Greece), 24-27 September 2012) [Contributo in Atti di convegno]

S. Gabbriellini; P. Torroni, Large scale agreements via microdebates, in: Proceedings of the First International Conference on Agreement Technologies, Sun SITE Central Europe, RWTH Aachen University, 2012, 918, pp. 366 - 377 (atti di: 1st International Conference on Agreement Technologies (AT 2012), Dubrovnik, Croatia, October 15-16, 2012) [Contributo in Atti di convegno]