Publications

The bibliographic records are extracted on-line by the PUMA Repository of Central Library in the CNR Research Area of Pisa.

Library photo

List of ISTI publications:

2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017

On-line statistics of the main scientific results, starting from 2002, can be found on this table.

List of publications (CNUCE and IEI):

1999 2000 2001

 
PUMA, and MetaPub allow for more selective retrieval from the collections of the CNR Institutes; in particular from the CSCE, CNUCE, IEI, and ISTI collections.


Journal articles

   2012
1Alvarez-Garcia J. A., Barsocchi P., Chessa S., Salvi D. EvAAL'12 awards. In: Journal of Ambient Intelligence and Smart Environments, vol. 4 (6) pp. 565 - 567. IOS Press, 2012.        
2Andrei R. M., Callieri M., Zini M. F., Loni T., Maraziti G., Pan M. C., Zoppè M. Intuitive representation of surface properties of biomolecules using BioBlender. In: Bmc Bioinformatics, vol. 13 article n. S16. Springer Science+Business Media, 2012.        
3Banterle F., Corsini M., Cignoni P., Scopigno R. A Low-Memory, Straightforward and Fast Bilateral Filter Through Subsampling in Spatial Domain. In: Computer Graphics Forum, vol. 31 (1) pp. 19 - 32. Blackwell Publishing Ltd, 2012.     
4Barcaro U., Decicco L. T., Salvetti O. A cognitive model explaining the psychophysiological system responsible for the effectiveness of The Storytelling Method of Dream Interpretation. In: International Journal of Dream Research, vol. 5 (2) pp. 114 - 118. Heidelberg University, 2012.     
5Bardi A., Manghi P., Zoppi F. Interoperabilità e armonizzazione nelle biblioteche digitali: l'esperienza del progetto European Film Gateway. In: DigItalia, vol. 2 pp. 132 - 142. ICCU, 2012.        
6Barone V., Licari D., Nardini F. M. RICH: Research and Innovation for Cultural Heritage. In: Conservation Science in Cultural Heritage, vol. 12 pp. 109 - 133. NIMESIS, 2012.        
7Barsocchi P., Lenzi S., Furfari F., Chessa S. Automatic virtual calibration of range-based indoor localization systems. In: Wireless Communications and Mobile Computing, vol. 12 (17) pp. 1546 - 1557. Wiley, 2012.           
8Barsocchi P. In gara le tecnologie per la casa sicura. In: Almanacco della Scienza, vol. 16 article n. 4. CNR, 2012.     
9Barsocchi P., Girardi M. The "SHOWN" platform - Safeguarding architectural heritage using wireless networks. In: Ercim news, vol. 90 pp. 52 - 53. Ercim EEIG, 2012.     
10Batty M., Axhausen K. W., Giannotti F., Pozdnoukhov A., Bazzani A., Wachowicz M., Ouzounis G., Portugali Y. Smart cities of the future. In: European Physical Journal-Special Topics, vol. 214 (1) pp. 481 - 518. Special Issue. Springer, 2012.        
11Beccuti M., Chiaradonna S., Di Giandomenico F., Donatelli S., Dondossola G., Franceschinis G. Quantification of dependencies between electrical and information infrastructures. In: International Journal of Critical Infrastructure Protection, vol. 5 (1) pp. 14 - 27. Elsevier, 2012.        
12Bellandi A., Turini F. Mining Bayesian networks out of ontologies. In: Journal of Intelligent Information Systems, vol. 38 (2) pp. 507 - 532. Springer, 2012.        
13Bellemans T., Bothe S., Cho S., Giannotti F., Janssens D., Knapen L., Korner C., May M., Nanni M., Pedreschi D., Stange H., Trasarti R., Yasar A., Wets G. An agent-based model to evaluate carpooling at large manufacturing plants. In: Procedia Computer Science, vol. 10 pp. 1221 - 1227. Elsevier, 2012.        
14Beltrame R. La svolta Newtoniana nello studio dell'attività mentale. In: Methodologia Online, vol. WP 259 article n. 1. Società di Cultura Metodologica-Operativa, 2012.     
15Benedetti L., Corsini M., Cignoni P., Callieri M., Scopigno R. Color to gray conversions in the context of stereo matching algorithms. An analysis and comparison of current methods and an ad-hoc theoretically-motivated technique for image matching. In: Machine Vision and Applications, vol. 23 (2) pp. 327 - 348. Springer, 2012.        
16Bernabei D., Hakke-Patil A., Banterle F., Di Benedetto M., Ganovelli F., Pattanaik S., Scopigno R. A parallel architecture for interactively rendering scattering and refraction effects. In: IEEE Computer Graphics and Applications, vol. 32 (2) pp. 34 - 43. IEEE, 2012.        
17Bertolino A., De Angelis G., Kellomaki S., Polini A. Enhancing service federation trustworthiness through online testing. In: Computer, vol. 45 (1) pp. 66 - 72. IEEE, 2012.        
18Bertolino A., Calabro' A., Merten M., Steffen B. Never-stop Learning: continuous validation of learned models for evolving systems through monitoring. In: ERCIM News, vol. 88 pp. 28 - 29. ERCIM, 2012.  
19Bobillo F., Straccia U. Generalized fuzzy rough description logics. In: Information Sciences, vol. 189 pp. 43 - 62. Elsevier, 2012.        
20Bobillo F., Delgado M., Gómez-Romero J., Straccia U. Joining Gödel and zadeh fuzzy logics in fuzzy description logics. In: International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, vol. 20 (4) pp. 475 - 508. World Scientific Publishing, 2012.        
21Broccolo D., Marcon L., Nardini F. M., Perego R., Silvestri F. Generating suggestions for queries in the long tail with an inverted index. In: Information Processing & Management, vol. 48 (2) pp. 326 - 339. Elsevier, 2012.           
22Candela L., Castelli D., Pagano P. Managing big data through hybrid data infrastructures. In: ERCIM News 89, vol. 89 pp. 37 - 38. Big Data. Stefan Manegold, Martin Kersten (CWI) and Costantino Thanos (ISTI-CNR) (eds.). ERCIM EEIG, Sophia Antipolis Cedex, France, 2012.     
23Capannini G., Silvestri F., Baraglia R. Sorting on GPUs for large scale datasets: a thorough comparison. In: Information Processing & Management, vol. 48 (5) pp. 903 - 917. Elsevier, 2012.              
24Castelli D., Manghi P., Thanos C. Comunicazione scientifica: la nuova frontiera. In: DigItalia WEB. Rivista digitale dei beni culturali, vol. 2 pp. 29 - 39. ICCU, Roma, 2012.     
25Chessa S., Maestrini P. Robust distributed storage of residue encoded data. In: IEEE Transactions on Information Theory, vol. 58 (12) pp. 7280 - 7294. IEEE Transactions on Information Theory, 2012.        
26Cibin L., Chiarini M., Milani Comparetti A., Bernardi F., Ragazzoni A., Pinna G. M., Zayer I., Besso P., Rossi A., Villa F. Wide eye debris telescope allows to catalogue objects in any orbital zone. In: Memorie della Società Astronomica Italiana Supplementi, vol. 20 pp. 50 - 57. A. Dall'Oro (ed.). Società Astronomica Italiana, 2012.  
27Colantonio S., Esposito M., Martinelli M., De Pietro G., Salvetti O. A knowledge editing service for multisource data management in remote health monitoring. In: IEEE Transactions on Information Technology in Biomedicine, vol. 16 (6) pp. 1096 - 1104. IEEE, 2012.        
28Corsini M., Cignoni P., Scopigno R. Efficient and flexible sampling with blue noise properties of triangular meshes. In: IEEE Transactions on Visualization and Computer Graphics, vol. 18 (6) pp. 914 - 924. IEEE, 2012.           
29D'Acunto M., Benassi A., Salvetti O. NanoICT: a new challenge for ICT. In: Ercim News, vol. 89 pp. 43 - 44. ERCIM, 2012.     
30D'Acunto M., Moroni D., Salvetti O. Nanoscale biomolecular detection limit for gold nanoparticles based on near-infrared response. In: Advances in Optical Technologies, vol. 2012 article n. 278194. Hindawi, 2012.        
31Dellepiane M., Marroquim R., Callieri M., Cignoni P., Scopigno R. Flow-based local optimization for image-to-geometry projection. In: IEEE Transactions on Visualization and Computer Graphics, vol. 18 (3) pp. 463 - 474. IEEE, 2012.           
32Eirinakis P., Ruggieri S., Subramani K., Wojciechowski P. A complexity perspective on entailment of parameterized linear constraints. In: CONSTRAINTS, vol. 17 (4) pp. 461 - 487. Springer, 2012.        
33Escolar S., Chessa S., Carretero J., Marinescu M. Cross layer adaptation of check intervals in low power listening MAC protocols for lifetime improvement in wireless sensor networks. In: Sensors, vol. 12 (8) pp. 10511 - 10535. MDPI AG, 2012.     
34Esuli A. Use of permutation prefixes for efficient and scalable approximate similarity search. In: Information Processing & Management, vol. 48 (5) pp. 889 - 902. Elsevier, 2012.           
35Falchi F., Lucchese C., Orlando S., Perego R., Rabitti F. Similarity caching in large-scale image retrieval. In: Information Processing & Management, vol. 48 (5) pp. 803 - 818. Elsevier, 2012.              
36Fantechi A., Gnesi S., Lapadula A., Mazzanti F., Pugliese R., Tiezzi F. A logical verification methodology for service-oriented computing. In: ACM Transactions on Software Engineering and Methodology, vol. 21 (3) article n. 16. ACM, 2012.        
37Furletti B., Turini F. Knowledge discovery in ontologies. In: Intelligent Data Analysis, vol. 16 (3) pp. 513 - 534. IOS PRESS, 2012.        
38Ganovelli F., Scopigno R. OCME: out-of-core Mesh Editing Made Practical. In: IEEE Computer Graphics and Applications, vol. 32 (3) pp. 46 - 58. IEEE Computer Society, 2012.  
39Giannotti F., Pedreschi D., Pentland A., Lukowicz P., Kossmann D., Crowley J., Helbing D. A planetary nervous system for social mining and collective awareness. In: European Physical Journal-Special Topics, vol. 214 (1) pp. 49 - 75. Special Issue. Springer, 2012.        
40Grossi V., Turini F. Stream mining: a novel architecture for ensemble-based classification. In: Knowledge and Information Systems, vol. 30 (2) pp. 247 - 281. Springer, 2012.        
41Gugliotta G., Paternò F. The design of Web sites adaptable to emotion-related aspects. In: PsychNology Journal, vol. 10 (1) pp. 23 - 38. PNJ, 2012.     
42Jack K., Sambati M., Silvestri F., Trani S., Venturini R. Cite-as-you-write. In: Ercim News, vol. 90 article n. 1. Special issue: Cybercrime and Privacy Issues. Ercim, 2012.        
43Janssens D., Giannotti F., Nanni M., Pedreschi D., Rinzivillo S. Data science for simulating the era of electric vehicles. In: KI - Künstliche Intelligenz, vol. 26 (3) pp. 275 - 278. Springer, 2012.  
44Jesus A. D. C., Ribeiro R. S., Rossi A., Veira Neto E. Evasive maneuvers in space debris environment and technological parameters. In: Mathematical Problems in Engineering, vol. 2012 article n. 126521. Hindawi Publishing Corporation, 2012.        
45Karopka T., Potortì F., Hanke S. Open minds. In: PS public service review, vol. 31 pp. 1 - 3. publicservice.co.uk Ltd, 2012.     
46Kotti M., Paternò F. Speaker-independent emotion recognition exploiting a psychologically-inspired binary cascade classification schema. In: International Journal of Speech Technology, vol. 15 (2) pp. 131 - 150. Springer, 2012. [Online First 31 January 2012]        
47Larue F., Di Benedetto M., Dellepiane M., Scopigno R. From the digitization of cultural artifacts to the web publishing of digital 3D collections: an automatic pipeline for knowledge sharing. In: Journal of Multimedia, vol. 7 (2) pp. 132 - 144. Academy Publisher, 2012.        
48Lazar J., Abascal J., Davis J., Evers V., Gulliksen J., Jorge J., McEwan T., Paternò F., Persson H., Prates R., Von Axelson H., Winckler M., Wulf V. HCI public policy activities in 2012: a 10-country discussion. In: Interactions, vol. 19 (3) pp. 78 - 81. Special issue: Interacting with Public Policy Forum. Jonathan Lazar (ed.). ACM, 2012.        
49Manghi P., Mikulicic M., Atzori C. De-duplication of aggregation authority files. In: International Journal of Metadata, Semantics and Ontologies, vol. 7 (2) pp. 114 - 130. Inderscience Enterprises Ltd, 2012.        
50Manghi P., Bolikowski L., Manola N., Schirrwagen J., Smith T. OpenAIREplus: the European Scholarly Communication Data Infrastructure. In: D-Lib Magazine, vol. 18 (9/10) article n. 1. Corporation for National Research Initiatives (CNRI), 2012.        
51Martinelli F., Salerno E., Gerace I., Tonazzini A. Nonlinear model and constrained ML for removing back-to-front interferences from recto-verso documents. In: Pattern Recognition, vol. 45 (1) pp. 596 - 605. Elsevier, 2012.        
52Massink M., Latella D., Bracciali A., Harrison M., Hillston J. Scalable context-dependent analysis of emergency egress models. In: Formal Aspects of Computing, vol. 24 (2) pp. 267 - 302. Springer, 2012.           
53Milani A., Farnocchia D., Dimare L., Rossi A., Bernardi F. Innovative observing strategy and orbit determination for Low Earth Orbit space debris. In: Planetary and Space Science, vol. 62 (1-2) pp. 10 - 22. Elsevier, 2012.        
54Miori V., Russo D., Concordia C. Meeting People's Needs in a Fully Interoperable Domotic Environment. In: Sensors, vol. 12 (6) pp. 6802 - 6824. Select papers from UCAmI 2011 - the 5th International Symposium on Ubiquitous Computing and Ambient Intelligence (UCAmI'11). MDPI Publishing, Basel, Switzerland, 2012.        
55Nickelsen A., Paternò F., Grasselli A., Schmidt K., Martin M., Mureddu F. OPEN Platform for Migration of Interactive Services: Architecture and Evaluation. In: International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS), vol. 3 (2) pp. 18 - 43. IGI Global, 2012.        
56Palma G., Callieri M., Dellepiane M., Scopigno R. A statistical method for SVBRDF approximation from video sequences in general lighting conditions. In: Computer Graphics Forum, vol. 31 (4) pp. 1491 - 1500. Special Issue: Eurographics Symposium on Rendering 2012 Fredo Durand and Diego Gutierrez(Guest Editors). Wiley, 2012.           
57Paradisi P., Cesari R., Donateo A., Contini D., Allegrini P. Diffusion scaling in event-driven random walks: an application to turbulence. In: Reports on Mathematical Physics, vol. 70 (2) pp. 205 - 220. Elsevier, 2012.        
58Paradisi P., Cesari R., Donateo A., Contini D., Allegrini P. Scaling laws of diffusion and time intermittency generated bycoherent structures in atmospheric turbulence. In: Nonlinear Processes in Geophysics: an interactive open access journal of the European Geosciences Union, vol. 19 (1) pp. 113 - 126. Copernicus Gesellschaft MBH, 2012.           
59Pardini C., Anselmo L. Post-disposal orbital evolution of satellites and upper stages used by the GPS and GLONASS navigation constellations: the long-term impact on the Medium Earth Orbit environment. In: Acta Astronautica, vol. 77 pp. 109 - 117. ELSEVIER, 2012.        
60Pardini C., Moe K., Anselmo L. Thermospheric density model biases at the 23rd sunspot maximum. In: Planetary and Space Science, vol. 67 (1) pp. 130 - 146. Elsevier, 2012.        
61Pascali M. A., Petronio C. Branched covers of the sphere and the prime-degree conjecture. In: Annali di Matematica Pura Ed Applicata, vol. 191 (3) pp. 563 - 594. Springer, 2012. [Online First 1 September 2012]        
62Paternò F., Sisti C., Spano L. D. Cross modality adaptation of service front ends. In: ERCIM News, vol. 88 pp. 37 - 38. ERCIM EEIG, 2012.     
63Paternò F., Santoro C., Spano L. D. The role of HCI models in service front-end development. In: Behaviour & Information Technology, vol. 31 (3) pp. 231 - 244. Taylor & Francis, 2012.           
64Perner P., Salerno E. MUSCLE working group co-organised Mass Data Analysis conference. In: Ercim News, vol. 91 pp. 6 - 6. ERCIM, 2012.     
65Pizzigalli C., Palatella L., Zampieri M., Lionello P., Miglietto M. M., Paradisi P. Dynamical and statistical downscaling of precipitation and temperature in a Mediterranean area. In: Italian Journal of Agronomy, vol. 7 (e2) pp. 3 - 12. Page Press, 2012.        
66Ricci L., Genovali L., Carlini E., Coppola M. AOI-Cast in distributed virtual environments: an approach based on delay tolerant reverse compass routing. In: Concurrency and Computation-Practice & Experience, Wiley, [Online First 20 December 2012]        
67Rinzivillo S., Mainardi S., Pezzoni F., Coscia M., Pedreschi D., Giannotti F. Discovering the geographical borders of human mobility. In: KI - Künstliche Intelligenz, vol. 26 (3) pp. 253 - 260. Springer, 2012.        
68Salerno E. MUSCLE Working Group International Workshop on Computational Intelligence for Multimedia Understanding. In: ERCIM News, vol. 89 pp. 7 - 7. ERCIM EEIG, 2012.     
69Scopigno R. Sampled 3D models for cultural heritage: which uses beyond visualization?. In: Virtual Archaeology Review, vol. 3 (5) pp. 109 - 115. SEAV, 2012.     
70Settis S., Scopigno R., La Monica D., Benassi L., Parri A., Siotto E. Nuove metodologie per il recupero degli immobili storici in stato di degrado. In: Gazzetta Ambiente : rivista sull'ambiente e il territorio, vol. 3 article n. giugno. Casa Editrice Alpes Italia, 2012.     
71Straccia U., Madrid N. A top-k query answering procedure for fuzzy logic programming. In: Fuzzy Sets and Systems, vol. 205 pp. 1 - 29. Elsevier, 2012.        
72Straccia U. Top-k retrieval for ontology mediated access to relational databases. In: Information Sciences, vol. 198 pp. 1 - 23. Elsevier, 2012.        
73Tarini M. Cylindrical and toroidal parameterizations without vertex seams. In: Journal of Graphics Tools, vol. 16 (3) pp. 144 - 150. Taylor & Francis, 2012.           
74Ter Beek M. H., Muccini H., Pelliccione P. Guaranteeing correct evolution of software product Lines. In: ERCIM News, vol. 88 pp. 40 - 41. Special issue: Evolving Software. ERCIM, 2012.     
75Ter Beek M. H., Kleijn J. Vector Team Automata. In: Theoretical Computer Science, vol. 429 pp. 21 - 29. Elsevier, Amsterdam, 2012.        
76Van Den Hoven J., Helbing D., Pedreschi D., Domingo-Ferrer J., Giannotti F., Christen M. FuturICT - The road towards ethical ICT. In: The European Physical Journal Special Topics, vol. 214 pp. 153 - 181. Springer, 2012.        
77Villa P., Boschetti M., Morse J. L., Politte N. A multitemporal analysis of tsunami impact on coastal vegetation using remote sensing: a case study on Koh Phra Thong Island, Thailand. In: Natural Hazards, vol. 64 (1) pp. 667 - 689. Springer, 2012.        
78Villa P. Mapping urban growth using Soil and Vegetation Index and Landsat Data: the Milan (Italy) city area case study. In: Landscape and Urban Planning, vol. 107 (3) pp. 245 - 254. Elsevier, 2012.        
79Weber A., Kutzke A. R., Chessa S. Energy-aware test connection assignment for the self-diagnosis of a wireless sensor network. In: Journal of the Brazilian Computer Society, vol. 18 (1) pp. 19 - 27. Springer, [Online First 09 February 2012]        
80Zhang J., Peng L., Zhao X., Kuruoglu E. E. Robust data clustering by learning multi-metric Lq-norm distances. In: Expert Systems With Applications, vol. 39 (1) pp. 335 - 349. Elsevier, 2012.        
81Zimmermann A., Lopes N., Polleres A., Straccia U. A General Framework for Representing, Reasoning and Querying with Annotated Semantic Web Data. In: Journal of Web Semantics, vol. 11 pp. 72 - 95. Elsevier, 2012.     

Books/Monographs

   2012
1Padovani C. Elementi di calcolo tensoriale. vol. 10 113 p. (Società Italiana di Matematica Applicata e Industriale - e-Lecture Notes). Roma: SIMAI, 2012.     
2Peters C., Braschler M., Clough P. D. Multilingual information retrieval: from research to practice. 217 p. Berlin: Springer, 2012.     

Contribution to Book/Monograph

   2012
1Amato G., Falchi F., Rabitti F. Landmark recognition in VISITO Tuscany. In: Multimedia for Cultural Heritage. Revised selected papers. vol. 1 pp. 1 - 13. Costantino Grana, Rita Cucchiara (eds.). (Communications in Computer and Information Science, vol. 247). Berlin: Springer-Verlag Berlin Heidelberg (New York, NY, USA), 2012.        
2Anselmo L. La militarizzazione dello spazio. In: L'ABC del terrore - Le armi di distruzione di massa nel terzo millennio. Brossura - 224 pagine ed. pp. 113 - 143. Giacomello G. & Pascolini A (eds.). (Università/Ricerche/ASERI, vol. 47). Milano: Vita & Pensiero, 2012.  
3Avritzer A., Di Giandomenico F., Remke A., Riedl M. Assessing dependability and resilience in critical infrastructures: challenges and opportunities. In: Resilience Assessment and Evaluation of Computing Systems. pp. 41 - 63. K. Wolter et al. (eds.). Berlin-Heidelberg: Springer, 2012.  
4Barsocchi P., Potortì F., Furfari F., Medrano Gil A. M. Comparing AAL indoor localization systems. In: Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking. pp. 1 - 13. Stefano Chessa, Stefan Knauth (eds.). (Communications in Computer and Information Science, vol. 309). Berlin, Heidelbereg: Springer-Verlag, 2012.        
5Bartolini C., Bertolino A., Lonetti F., Marchetti E. Approaches to functional, structural and security SOA testing. In: Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. pp. 381 - 401. Valeria Cardellini, Emiliano Casalicchio, Kalinka Regina Lucas Jaquie Castelo Branco, Julio Cezar Estrella, Francisco Josè Monaco (eds.). Hershey, PA, USA: IGI Global, 2012.     
6Ben Hamida A., Kon F., Ansaldi Oliva G., Moreira Dos Santos C. E., Lorrè J., Autili M., De Angelis G., Zarras A., Georgantas N., Issarny V., Bertolino A. An integrated development and runtime environment for the future Internet. In: The Future Internet - Future Internet Assembly 2012: From Promises to Reality. pp. 81 - 92. Federico Álvarez , Frances Cleary , Petros Daras et al.... (Lecture Notes in Computer Science, vol. 7281). Berlin/Heidelberg: Springer, 2012.        
7Bertolino A., De Angelis G., Di Giandomenico F., Marchetti E., Sabetta A., Spoletini P. Verification and analysis of autonomic systems for networked enterprises. In: Methodologies and Technologies for Networked Enterprises. vol. 7200 pp. 143 - 169. Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo (eds.). (Lecture Notes in Computer Science, vol. 7200). Berlin Heidelberg: Springer-Verlag, 2012.        
8Binante V., Frediani A. A criterion for ductile crack growth based on the energy momentum tensor. In: Variational Analysis and Aerospace Engineering II: Mathematical Challenges for Aerospace Design. pp. 67 - 92. Buttazzo G., Frediani A. (Springer Optimization and its Applications, vol. 66). New York: Springer, 2012.     
9Binante V. Crack extension energy rate and energetic approaches in elastic - plastic fracture mechanics. In: Variational Analysis and Aerospace Engineering II: Mathematical Challenges for Aerospace Design. pp. 51 - 66. Buttazzo G., Frediani A. (Springer Optimization and Its Applications, vol. 66). New York: Springer, 2012.     
10Buzzi M. C., Buzzi M., Leporini B., Mori G. Designing E-learning collaborative tools for blind people. In: E-Learning - Long-Distance and Lifelong Perspectives. pp. 125 - 144. Elvis Pontes (ed.). Rijeka, Croazia: InTech Europe, 2012.        
11Candela L. Data use - Virtual research environments. In: Technological & Organisational Aspects of a Gloobal Research Data Infrastructure - A view from the Experts. pp. 91 - 98. GRDI2020 Consortium, 2012.     
12Carlini E., Coppola M., Dazzi P., Ricci L., Righetti G. Cloud federations in contrail. In: Euro-Par 2011: Parallel Processing Workshops. Revised Selected Papers. vol. I pp. 159 - 168. Michael Alexander et al. (eds.). (Lecture Notes in Computer Science, vol. 7155). Berlin: Springer, 2012.        
13Chiaradonna S., Di Giandomenico F., Lollini P. Case Study on Critical Infrastructures: Assessment of Electric Power Systems. In: Resilience Assessment and Evaluation of Computing Systems. pp. 365 - 390. K. Wolter et al. (eds.). Berlin Heidelberg: Springer-Verlag, 2012.     
14Colantonio S., Martinelli M., Salvetti O. Ontology and algorithms integration for image analysis. In: Computational Intelligence for Multimedia Understanding. pp. 17 - 29. E. Salerno, A.E. Çetin, O. Salvetti (eds.). (Lecture Notes in Computer Science, vol. 7252). CNR-Pisa: Springer-Verlag, 2012.        
15Di Benedetto M., Ganovelli F., Banterle F. Features and design choices in spiderGL. In: OpenGL Insights. 1 ed. pp. 583 - 604. Patrick Cozzi and Christophe Riccio (eds.). Boca Raton, FL, USA: CRC Press, 2012.     
16Di Pasquale D., Fresta G., Maiellaro N., Padula M., Scala P. L. New frontiers for WebGIS platforms generation. In: Human Machine Interaction - Getting Closer. pp. 85 - 114. Maurtua Inaki (ed.). On-line publication: In-Tech, 2012.        
17Dustdar S., Leitner P., Nardini F. M., Silvestri F., Tolomei G. Mining lifecycle event logs for enhancing service-based applications. In: Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions. pp. 196 - 206. Guadalupe Ortiz, Javier Cubo (eds.). Hershey, PA: Information Science Reference, 2012.        
18Gallicchio C., Micheli A., Barsocchi P., Chessa S. User movements forecasting by reservoir computing using signal streams produced by mote-class sensors. In: Mobile Lightweight Wireless Systems. pp. 151 - 168. Del Ser J., Jorswieck E.A., Miguez J., Matinmikko M., Palomar D.P., Sanz S.S., Gil-Lopez S (eds.). (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (LNICST), vol. 81). Bilbao, Spain: Springer, 2012.     
19Kavulya S. P., Joshi K., Di Giandomenico F., Narasimhan P. Failure Diagnosis of Complex Systems. In: Resilience Assessment and Evaluation of Computing Systems. pp. 239 - 261. K. Wolter et al. (eds.). Berlin Heidelberg: Springer-Verlag, 2012.     
20Larue F., Dellepiane M., Hamer H., Scopigno R. Automatic texturing without illumination artifacts from in-hand scanning data flow. In: Multimedia for Cultural Heritage. Revised Selected Papers. vol. I pp. 14 - 26. Costantino Grana, Rita Cucchiara (eds.). (Communications in Computer and Information Science, vol. 247). Berlin: Springer Verlag, 2012.        
21Magrini M., Moroni D., Pieri G., Salvetti O. Real time image analysis for infomobility. In: Computational Intelligence for Multimedia Understanding International Workshop - MUSCLE 2011 (Pisa, Italy, December 13-15, 2011). Revised Selected Papers. pp. 207 - 218. Emanuele Salerno , A. Enis Çetin, Ovidio Salvetti (eds.). (Lecture Notes in Computer Science, vol. 7252). Berlin: Springer Verlag, 2012.        
22Moroni D., Salvetti M., Villa A. Some topological problems on the configuration spaces of Artin and Coxeter groups. In: Configuration Spaces. pp. 403 - 431. Björner A., Cohen F., De Concini C., Procesi C., Salvetti M (eds.). (Publications of the Scuola Normale Superiore, CRM serie, vol. 14). Berlin: Springer, 2012.     
23Muntean C. I., Morar G. A., Moldovan D. Exploring the meaning behind Twitter hashtags through clustering. In: BIS 2012 - Business Information Systems Workshops. Revised papers. pp. 231 - 242. Witold Abramowicz, John Domingue, Krzysztof WÄ™cel (eds.). (Lecture Notes in Business Information Processing, vol. 127). Heidelberg: Springer, 2012.        
24Pagano P. Data Interoperability. In: Technological & Organisational Aspects of a Global Research Data Infrastructure - A view from the experts. pp. 91 - 98. GRDI2020 Consortium, 2012.     
25Salerno E., Bedini L. Blind processing in astrophysical data analysis. In: Science: Image in Action. Proceedings of the 7th International Workshop on Data Analysis in Astronomy “Livio Scarsi and Vito DiGesù”. pp. 86 - 92. Bertrand Zavidoque, Giosuè Lo Bosco (eds.). (The Science and Culture Series - Astrophysics). Singapore: World Scientific, 2012.  
26Salvi D., Barsocchi P., Arredondo M. T., Làzaro Ramos J. P. EvAAL, Evaluating AAL systems through competitive benchmarking, the experience of the 1st competition. In: Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking. pp. 14 - 25. Stefano Chessa, Stefan Knauth (eds.). (Communications in Computer and Information Science, vol. 309). Berlin: Springer, 2012.           
27Tonazzini A., Gerace I., Martinelli F. Document image restoration and analysis as separation of mixtures of patterns: from linear to non-linear models. In: Image Restoration: Fundamentals and Advances. pp. 285 - 310. Bahadir K. Gunturk, Xin Li (eds.). (Digital Imaging and Computer Vision Series). Boca Raton: CRC Press, 2012.     

Proceedings

   2012
1Adeyanju I., Nardini F. M., Albakour M., Song D., Kruschwitz U. RGU-ISTI-Essex at TREC 2011 session track. In: TREC 2011 - International Text REtrieval Conference (Gaithersburg, Md. USA, November 2011). Proceedings, article n. 65. TREC, 2012.     
2Allotta B., Bargagliotti S., Botarelli L., Caiti A., Calabrò V., Casa G., Cocco M., Colantonio S., Colombo C., Costa S., Fanfani M., Franchi L., Gambogi P., Gualdesi L., La Monica D., Magrini M., Martinelli M., Moroni D., Munafò A., Pace G., Papa C., Pascali M. A., Pieri G., Reggiannini M., Righi M., Salvetti O., Tampucci M. Thesaurus project: design of new autonomous underwater vehicles for documentation and protection of underwater archaeological sites. In: EuroMed 2012 - Progress in Cultural Heritage Preservation. 4th International Conference (Limassol, Cyprus, 29 October - 3 November 2012). Proceedings, pp. 486 - 493. Marinos Ioannides, Dieter Fritsch, Johanna Leissner, Rob Davies, Fabio Remondino, Rossella Caffo (eds.). (Lecture Notes in Computer Science, vol. 7616). Springer, 2012.        
3Aloia N., Concordia C., Meghini C. Designing and implementing a user-generated content service for Europeana. In: ECLAP 2012 - Conference on Information Technologies for Performing Arts, Media Access and Entertainment (Firenze, 7-9 May 2012). Proceedings, pp. 126 - 130. Florence University Press, 2012.     
4Altinkaya M., Kuruoglu E. E. Modeling enzymatic reactions via chemical Langevin-Levy equation. In: IEEE SIU - Signal Processing and Applications Conference (Fethiye, Turchia, 18-20 Aprile 2012). Proceedings, Ozyegin University (ed.). IEEE, 2012.        
5Amato G., Broxvall M., Chessa S., Dragone M., Gennaro C., Lopez R., Maguire L., Mcginnity T. M., Micheli A., Renteria A., O’Hare G. M., Pecora F. Robotic UBIquitous COgnitive Network. In: ISAmI 2012 - Ambient Intelligence - Software and Applications. 3rd International Symposium on Ambient Intelligence (Salamanca, Spain, 28-30 March 2012). Proceedings, article n. 191. Paulo Novais, Kasper Hallenborg, Dante I. Tapia, Juan M. Corchado Rodríguez (eds.). (Advances in Intelligent and Soft Computing, vol. 153). Springer, 2012.        
6Amato G., Broxvall M., Chessa S., Dragone M., Gennaro C., Vairo C. When wireless sensor networks meet robots. In: CSNC 2012 - Seventh International Conference on Systems and Networks Communications (Lisbon, Portugal, 18-23 November 2012). Proceedings, pp. 35 - 40. ThinkMind (TM) Digital Library, 2012.     
7Anselmo L., Pardini C. Satellite reentry predictions for the italian civil protection authorities. In: IAC-2012 - 63rd International Astronautical Congress (Naples, Italy, 1-5 October 2012). Proceedings, article n. IAC-12-A6.4.9. International Astronautical Federation (IAF), 2012.  
8Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. A compositional framework to derive product line behavioural descriptions. In: ISoLA 2012 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 5th International Symposium (Heraklion, Crete, Greece, 15-18 October 2012). Proceedings, pp. 146 - 161. T. Margaria, B. Steffen (eds.). (Lecture Notes in Computer Science, vol. 7609 (Part I)). Springer-Verlag, 2012.        
9Bacciu D., Broxvall M., Coleman S., Dragone M., Gallicchio C., Gennaro C., Guzman R., Lopez R., Lozano-Peiteado H., Ray A., Renteria A., Saffiotti A., Vairo C. Self-sustaining learning for robotic ecologies. In: SENSORNETS 2012 - 1st International Conference on Sensor Networks (Rome, Italy, 24-26 February 2012). Proceedings, pp. 99 - 103. SciTePress - Science and Technology Publications, 2012.  
10Bachi G., Coscia M., Monreale A., Giannotti F. Classifying trust/distrust relationships in online social networks. In: SocialCom/PASSAT 2012 - International Conference on Privacy, Security, Risk and Trust 2012 and 2012 International Conference on Social Computing (Amsterdam, 3-5 September 2012). Proceedings, pp. 552 - 557. IEEE, 2012.        
11Banterle F., Scopigno R. BoostHDR: a novel backward-compatible method for HDR images. In: Applications of Digital Image Processing XXXV (San Diego, CA, USA, 12 August 2012). Proceedings, vol. 8499 article n. 8499-0I. (Proceedings OF SPIE, vol. 8499). SPIE, 2012.        
12Banterle F., Artusi A., Sikudova E., Bashford-Rogers T. E. W., Ledda P., Bloj M., Chalmers A. Dynamic range compression by differential zone mapping based on psychophysical experiments. In: SAP 2012 - ACM Symposium on Applied Perception (Los Angeles, CA, USA, 3-4 August 2012). Proceedings, pp. 39 - 46. ACM, 2012.           
13Baraglia R., Dazzi P., Ferrini R. A multi-criteria class-based job scheduler for large computing farms. In: PDPTA 2012 - International Conference on Parallel and Distributed Processing Techniques and Applications (Las Vegas, USA, 16-19 July 2012). Proceedings, pp. 289 - 295. CSREA Press, 2012.     
14Baraglia R., Frattari C., Muntean C. I., Nardini F. M., Silvestri F. A trajectory-based recommender system for tourism. In: AMT 2012 - Active Media Technology. 8th International Conference (Macau, China, 4-7 December 2012). Proceedings, pp. 196 - 205. Runhe Huang, Ali A. Ghorbani, Gabriella Pasi, Takahira Yamaguchi, Neil Y. Yen, Beijing Jin (eds.). (Lecture Notes in Computer Science, vol. 7669). Springer, 2012.           
15Baraglia R., Dazzi P., Guidi B., Ricci L. GoDel: Delaunay overlays in P2P networks via Gossip. In: P2P 2012 - IEEE 12th International Conference on Peer-to-Peer Computing (Tarragona, Spain, 3 - 5 September 2012). Proceedings, pp. 1 - 12. (IEEE International Conference on Peer-to-Peer Computing). IEEE, 2012.     
16Baraglia R., Frattari C., Muntean C. I., Nardini F. M., Silvestri F. RecTour: a recommender system for tourists. In: WI-IAT 2012 - IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology (Macau, China, 4-7 December 2012). Proceedings, pp. 92 - 96. IEEE-ACM, 2012.        
17Bardi A., Manghi P., Zoppi F. Aggregative Data Infrastructures for the Cultural Heritage. In: MTSR 2012 - 6th Metadata and Semantics Research Conference (Cádiz, Spain, November 28-30 2012). Proceedings, pp. 239 - 251. Dodero, JuanManuel and Palomo-Duarte, Manuel and Karampiperis, Pythagoras (eds.). (Communications in Computer and Information Science, vol. 343). Springer, 2012.        
18Bartolini C., Bertolino A., Ciancone A., De Angelis G., Mirandola R. Non-functional analysis of service choreographies. In: PESOS 2012 - 2012 ICSE Workshop on Principles of Engineering Service Oriented Systems (Zurich, Switzerland, 4 June 2012). Proceedings, pp. 8 - 14. IEEE, 2012.           
19Bartolini C., Bertolino A., Ciancone A., De Angelis G., Mirandola R. Quality requirements for service choreographies. In: WebIST 2012 - 8th International Conference on Web Information Systems and Technologies (Porto, Portugal, 18-21 April 2012). Proceedings, pp. 143 - 148. Karl-Heinz Krempels, José Cordeiro (eds.). SciTePress Digital Library, 2012.  
20Bedini L., Tonazzini A. Restoration of historical RGB manuscripts via correlated component analysis. In: 5th International Congress on "Science and Technology for the Safeguard of Cultural Heritage in the Mediterranean Basin" (Istanbul, Turkey, 22-25 November 2011). Proceedings, vol. III (2nd Part) pp. 186 - 192. Valmar, 2012.  
21Belazzougui D., Venturini R. Compressed String Dictionary Look-up with Edit Distance One. In: CPM 2012 - 23rd Annual Symposium on Combinatorial Pattern Matching (Helsinky, 1 Giugno 2012). Proceedings, pp. 280 - 292. K√§rkk√§inen, Juha and Stoye, Jens (eds.). (Lecture Notes in Computer Science, vol. 7354). Springer New York, 2012.        
22Bellucci F., Ghiani G., Paternò F., Porta C. Automatic reverse engineering of interactive dynamic web applications to support adaptation across platforms. In: IUI '12 - 2012 ACM international conference on Intelligent User Interfaces (Lisbon, Portugal, 14-17 February 2012). Proceedings, pp. 217 - 226. ACM New York, NY, USA, 2012.        
23Ben Hamida A., Bertolino A., Calabrò A., De Angelis G., Lago N., Lesbegueries J. Monitoring service choreographies from multiple sources. In: SERENE 2012 - Software Engineering for Resilient Systems. 4th International Workshop (Pisa, Italy, 27-28 September 2012). Proceedings, pp. 134 - 149. Paris Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012.        
24Benassi L., Parri A., Siotto E., Callieri M., Pingi P., Scopigno R. Knowledge, science and enhancement of historical decaying buildings in Tuscany. The ArTeSalVa project. In: Heritage 2012 - 3rd International Conference on Heritage and Sustainable Development (Porto, Portugal, 19-22 June 2012). Proceedings, vol. 3 pp. 1701 - 1710. R. Amoeda, S. Lira, C. Pinheiro. Green Lines Istitute, 2012.  
25Berardi G., Esuli A., Sebastiani F. A utility-theoretic ranking method for semi-automated text classification. In: SIGIR'12 - The 35th Annual ACM SIGIR Conference on Research and Development in Information Retrieval (Portland, Oregon, USA, 12-16 August 2012). Proceedings, pp. 961 - 970. ACM, 2012.  
26Berardi G., Esuli A., Sebastiani F., Silvestri F. Blog distillation via sentiment-sensitive link analysis. In: NLDB 2012 - Natural Language Processing and Information Systems. 17th International Conference on Applications of Natural Language to Information Systems (Groningen, The Netherlands, 26-28 June 2012). Proceedings, pp. 228 - 233. Gosse Bouma , Ashwin Ittoo , Elisabeth Métais, Hans Wortmann (eds.). (Lecture Notes in Computer Science, vol. 7337). Springer, 2012.           
27Berardi G., Esuli A., Marcheggiani D. ISTI@ TREC Microblog track 2012: real-time filtering through supervised learning. In: TREC 2012 - 21th Text Retrieval Conference (Gaithersburg, US, 6-9 Novembre 2012). Proceedings, article n. 29. NIST - National Institute of Standards and Technology, 2012.     
28Berardi G., Esuli A., Gordea S., Marcheggiani D., Sebastiani F. Metadata enrichment services for the Europeana digital library. In: TPDL 2012 - Theory and Practice of Digital Libraries. Second International Conference (Paphos, Cyprus, 23-27 September 2012). Proceedings, pp. 508 - 511. Panayiotis Zaphiris, George Buchanan, Edie Rasmussen, Fernando Loizides (eds.). (Lecture Notes in Computer Science, vol. 7489). Springer, 2012.        
29Bertolino A., Daoudagh S., Lonetti F., Marchetti E. Automatic XACML requests generation for policy testing. In: SecTest 2012/ICST 2012 - IEEE Fifth International Conference on Software Testing, Verification and Validation. The Third International Workshop on Security Testing (Montreal, QC, Canada, 17-21 April 2012). Proceedings, pp. 842 - 849. IEEE, 2012.        
30Bertolino A., Di Marco A., Lonetti F. Complex events specification for properties validation. In: QUATIC - 8th International Conference on the Quality of Information and Communications Technology (Lisbon, Portugal, 3 - 6 September 2012). Proceedings, pp. 85 - 94. IEEE, 2012.     
31Bertolino A., Daoudagh S., Lonetti F., Marchetti E., Martinelli F., Mori P. Testing of PolPA authorization systems. In: AST 2012 - 7th International Workshop on Automation of Software Test (Zurich, Switzerland, 2-3 June 2012). Proceedings, pp. 8 - 14. IEEE, 2012.        
32Bertolino A., Daoudagh S., Lonetti F., Marchetti E. The X-CREATE framework: a comparison of XACML policy testing strategies. In: WEBIST 2012 - 8th International Conference on Web Information Systems and Technologies (Porto, Portugal, 18 - 21 April 2012). Proceedings, pp. 155 - 160. Karl-Heinz Krempels, José Cordeiro (eds.). SciTePress Digital Library, 2012.     
33Biasotti S., Falcidieno B., Giorgi D., Spagnuolo M. The Hitchhiker's guide to the galaxy of mathematical tools for shape analysis. In: SIGGRAPH'12 - ACM SIGGRAPH 2012 Courses (Los Angeles, CA, USA, 5-9 Luglio 2012). Proceedings, article n. 17. ACM, 2012.        
34Binante V., Girardi M., Padovani C., Pagni A., Pasquinelli G. The NOSA-ITACA code for the modelling of the structural behaviour of historic masonry constructions. In: 5th International Congress on "Science and Technology for the Safeguard of Cultural Heritage in the Mediterranean Basin" (Istanbul, Turkey, 22-25 november 2011). Proceedings, vol. II (1st part) pp. 40 - 48. Valmar, 2012.  
35Biscoglio I., Coco A., Fabbrini F., Fusani M., Lami G., Marchetti E., Trentanni G. A case study of requirements quality analysis. In: QUATIC 2012 - Industrial Track - 8th International Conference on the Quality of Information and Communications Technology (Lisboa, Portugal, 3-6 September 2012). Proceedings, article n. 57. Isabel Ferreira, José Carlos Costa, Elsa Cardoso, Susana Fontes (eds.). ACS03, 2012.     
36Biscoglio I., Fusani M., Gnesi S. Can safety be obtained through good practices for requirement writing?. In: DESSERT 2012 - International Scientific Technical Conference on Dependable System, Services and Technologies (Sevastopol, Ukraine, 25-28 May 2012). Proceedings, pp. 252 - 257. National Aerospace University "KhAI", 2012.  
37Blanco R., Ceccarelli D., Lucchese C., Perego R., Silvestri F. You should read this! Let me explain you why! - Explaining news recommendations to users. In: CIKM 2012 - 21st ACM International conference on Information and knowledge management (Maui, Hawaii, 29 October - 2 November 2012). Proceedings, pp. 1995 - 1999. ACM, 2012.           
38Bommes D., Levy B., Pietroni N., Puppo E., Silva C., Tarini M., Zorin D. Quad meshing. In: EG2012 - Eurographics 2012 - State of the Art Reports (Cagliari, Sardinia, Italy, 13-18 May 2013). Proceedings, pp. 159 - 182. Marie-Paule Cani, Fabio Ganovelli (eds.). Eurographics Association, 2012.        
39Bonchi F., Perego R., Silvestri F., Vahabi H., Venturini R. Efficient Query Recommendations in the Long Tail via Center-Piece Subgraphs. In: SIGIR'12 - 35th International ACM SIGIR Conference on Research and Development in Information Retrieval (Portland, OR, USA, 12-16 August 2012). Proceedings, pp. 345 - 354. ACM, 2012.           
40Bonchi F., Frieder O., Nardini F. M., Silvestri F., Vahabi H. Interactive and context-aware tag spell check and correction. In: CIKM 2012 - 21st ACM international conference on Information and knowledge management (Maui, Hawaii, 29 October - 2 November 2012). Proceedings, pp. 1869 - 1873. ACM, 2012.           
41Bongartz S., Jin Y., Paternò F., Rett J., Santoro C., Spano L. D. Adaptive user interfaces for smart environments with the support of model-based languages. In: AmI 2012 - Ambient Intelligence. Third International Joint Conference (Pisa, Italy, 13-15 November 2012). Proceedings, pp. 33 - 48. Fabio Paternò, Boris de Ruyter, Panos Markopoulos, Carmen Santoro, Evert van Loenen, Kris Luyten (eds.). (Lecture Notes in Computer Science, vol. 7683). Springer, 2012.        
42Bortolussi L., Hillston J. Fluid model checking. In: CONCUR 2012 - Concurrency Theory. 23rd International Conference (Newcastle upon Tyne, UK, 3-8 September 2012). Proceedings, pp. 333 - 347. Maciej Koutny, Irek Ulidowski (eds.). (Lecture Notes in Computer Science, vol. 7454). Springer, 2012.        
43Bruni E., Ferrari A., Seyff N., Tolomei G. Automatic analysis of multimodal requirements: a research preview. In: REFSQ 2012 - Requirements Engineering: Foundation for Software Quality. 18th International Working Conference (Essen, Germany, 19-22 marzo 2012). Proceedings, pp. 218 - 224. Björn Regnell, Daniela Damian (eds.). (Lecture Notes in Computer Science, vol. 7195). Springer, 2012.           
44Buglione L., Lami G., Fabbrini F. Mapping automotive SPICE and ISO/TS 16949:2009: achieving higher maturity & capability levels. In: AutomotiveSPICE and Functional Safety Conference (Online conference, 9-10 October 2012). Proceedings, pp. 17 - 20. Alec Dorling (ed.). Automotive SPICE - VDA, 2012.  
45Buzzi M. C., Buzzi M., Fenili C., Leporini B., Mencarini S., Senette C. Designing a mobile application to record ABA data. In: ICCHP 2012 - Computers Helping People with Special Needs. 13th International Conference (Linz, Austria, 11-13 July 2012). Proceedings, vol. II pp. 137 - 144. Klaus Miesenberger, Arthur Karshmer, Petr Penaz, Wolfgang Zagler (eds.). (Lecture Notes in Computer Science, vol. 7383). Springer, 2012.        
46Buzzi M. C., Buzzi M., Leporini B. Interacting with Mobile Devices Via Voiceover: Usability and Accessibility Issues. In: OzCHI'12 - 24th Australian Computer-Human Interaction Conference (Melbourne, VIC, Australia, 26-30 November 2012). Proceedings, pp. 339 - 348. ACM, 2012.        
47Buzzi M. C., Buzzi M., Leporini B. Investigating mobile learning and accessibility for blind users. In: ISML-VIP 2012 - International Symposium of Mobile Learning for Visually-Impaired People (Palermo, Italy, 25 May 2012). Proceedings, pp. 26 - 40. CNR-ITD, 2012.     
48Buzzi M., Gennai F., Petrucci C., Vinciarelli A. E-government services: Quality Assurance of the Italian Certified Electronic Mail. In: HCITOCH 2012 (Venezia, Italy, 2012). Proceedings, pp. 1 - 12. Blue Herons Editions, 2012.  
49Caminero J., Rodríguez M. C., Vanderdonckt J., Paternò F., Rett J., Raggett D., Comeliau J., Marín I. The SERENOA project: multidimensional context-aware adaptation of service front-ends. In: LREC'12 - Eight International Conference on Language Resources and Evaluation (Istanbul, Turkey, 23-25 May 2012). Proceedings, pp. 2977 - 2984. Nicoletta Calzolari (Conference Chair), Khalid Choukri, Thierry Declerck, Mehmet UÄŸur DoÄŸan, Bente Maegaard, Joseph Mariani, Jan Odijk, Stelios Piperidis (eds.). European Language Resources Association (ELRA), 2012.     
50Campinas S., Perry T. E., Ceccarelli D., Delbru R., Tummarello G. Introducing RDF graph summary with application to assisted SPARQL formulation. In: WebS '12 - DEXA 2012 - 23rd International Workshop on Database and Expert Systems Applications. 11th International Workshop on Web Semantics and Information Processing (Wien, 3-7 September 2012). Proceedings, pp. 261 - 266. IEEE, 2012.           
51Casini G., Straccia U. Lexicographic closure for defeasible description logics. In: AOW 2012 - Eighth Australasian Ontology Workshop (Sydney, Australia, 4 December 2012). Proceedings, vol. 969 pp. 28 - 39. Aurona Gerber, Kerry Taylor, Tommie Meyer, Mehmet Orgun (eds.). CEUR Electronic Workshop Proceedings (CEUR-WS), 2012.     
52Celandroni N., Davoli F., Ferro E., Gotta A. Employing contention resolution random access schemes for elastic traffic on satellite channels. In: 18th Ka and Broadband Communications Navigation and Earth Observation Conference (Ottawa, Canada, 24-27 September 2012). Proceedings, pp. 271 - 277. FGM Events LLC 239, 2012.  
53Ceri S., Della Valle E., Pedreschi D., Trasarti R. Mega-modeling for big data analytics. In: ER 2012 - Conceptual Modeling. 31st International Conference on Conceptual Modeling (Florence, Italy, 15-18 October 2012). Proceedings, pp. 1 - 15. Atzeni Paolo, Cheung David, Ram Sudha (eds.). (Lecture Notes in Computer Science, vol. 7532). Springer, 2012.           
54Chiaradonna S., Di Giandomenico F., Nostro N. Analysis of electric power systems accounting for interdependencies in heterogeneous scenarios. In: EDCC 2012 - Ninth European Dependable Computing Conference (Sibiu, Romania, 8-11 Maggio 2012). Proceedings, pp. 84 - 93. IEEE, 2012.        
55Chiaradonna S., Di Giandomenico F., Nostro N. Model-based assessment of multi-region electric power systems showing heterogeneous characteristics. In: SAFECOMP 2012 - Computer Safety, Reliability, and Security. SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, (Magdeburg, Germania, 25- 28 September 2012). Proceedings, pp. 328 - 339. Frank Ortmeier, Peter Daniel (eds.). (Lecture Notes in Computer Science, vol. 7613). Springer, 2012.        
56Colantonio S., Dellacà R. L., Govoni L., Martinelli M., Salvetti O., Vitacca M. A decision making approach for the remote, personalized evaluation of COPD patients' health status. In: BSI2012 - 7th International Workshop on Biosignal Interpretation (Como, 2-4 Luglio 2012). Proceedings, pp. 347 - 350. S. Cerutti, H. Dickhaus, L. Mainardi, K. Yana (eds.). BSI website, 2012.     
57Colantonio S., De Pietro G., Esposito M., Machì A., Martinelli M., Salvetti O. Decision support for the remote management of chronic patients. In: MobiHealth 2011 - 2nd International ICST Conference on Wireless Mobile Communication and Healthcare (Kos Island, Greece, 5-7 October 2011). Proceedings, article n. EAI. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecomunications Engineering Science, vol. 83). Springer, 2012.  
58Coppola M., Dazzi P., Lazouski A., Martinelli F., Mori P., Jensen J., Johnson I., Kershaw P. The CONTRAIL approach to cloud federations. In: ISGC 2012 - The International Symposium on Grids and Clouds 2012 (Academia Sinica, Taipei, Taiwan, February 26 - March 2 2012). Proceedings, article n. 019. PoS - Proceedings of Science, 2012.     
59Coscia M., Rossetti G., Giannotti F., Pedreschi D. DEMON: a local-first discovery method for overlapping communities. In: KDD '12 - 18th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (Beijing, China, August 12-16 2012). Proceedings, pp. 615 - 623. ACM, 2012.        
60Coscia M., Rios V. Knowing where and how criminal organizations operate using web content. In: CIKM 2012 - 21st ACM International Conference on Information and Knowledge Management (Maui, Hawai, 29 October - 2 November 2012). Proceedings, pp. 1412 - 1421. ACM, 2012.           
61Coscia M., Rinzivillo S., Giannotti F., Pedreschi D. Optimal spatial resolution for the analysis of human mobility. In: ASONAM 2012 - IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (Instanbul, Turkey, 26-29 August 2012). Proceedings, pp. 248 - 252. IEEE, 2012.        
62Coscia M., Giannotti F., Pedreschi D. Towards democratic group detection in complex networks. In: SBP 2012 - Social Computing, Behavioral - Cultural Modeling and Prediction. 5th International Conference (College Park, MD, USA, 3-5 April 2012). Proceedings, pp. 105 - 113. Shanchieh Jay Yang, Ariel M. Greenberg, Mica Endsley (eds.). (Lecture Notes in Computer Science, vol. 7227). Springer, 2012.        
63Cutugno F., Leano V. A., Mangiacrapa F., Peron A. A general Web-based framework for spatio-temporal exploration and visualization applied to a case study on cultural heritage data. In: AGILE '2012 - Multidisciplinary Research on Geographical Information in Europe and Beyond - International Conference on Geographic Information Science (Avignon, 24-27 April 2012). Proceedings, pp. 35 - 40. Jérôme Gensel, Didier Josselin, Danny Vandenbroucke (eds.). AGILE, 2012.     
64D'Acunto M., Benassi A., Moroni D., Salvetti O. Image reconstruction and identification of noise and instrumental artifacts using radon transform: a challenge for medical imaging techniques. In: MDA 2012 - 7th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Securitry, and Agriculture (Berlin, 13-20 July 2012). Proceedings, pp. 38 - 47. Petra Perner (ed.). Ibai-publishing, 2012.  
65Danado J., Paternò F. A prototype for EUD in touch-based mobile devices. In: VL/HCC 2012 - IEEE Symposium on Visual Languages and Human-Centric Computing (Innsbruck, Austria, September 30 - October 4 2012). Proceedings, pp. 83 - 86. IEEE, 2012.           
66Danado J., Paternò F. Puzzle: a visual-based environment for end user development in touch-based mobile phones. In: HCSE 2012 - Human-Centered Software Engineering - 4th International Conference (Toulouse, France, 29-31 October 2012). Proceedings, pp. 199 - 216. Marco Winckler , Peter Forbrig, Regina Bernhaupt (eds.). (Lecture Notes in Computer Science, vol. 7623). Springer, 2012.        
67De Angelis G., Bertolino A., Polini A. Validation and verification policies for governance of service choreographies. In: WebIST 2012 - 8th International Conference on Web Information Systems and Technologies (Porto, Portugal, 18-21 April 2012). Proceedings, pp. 58 - 70. Karl-Heinz Krempels, José Cordeiro (eds.). SciTePress Digital Library, 2012.  
68De Francisci Morales G., Aristides G., Lucchese C. From chatter to headlines: harnessing the real-time web for personalized news recommendation. In: WSDM '12 - Fifth ACM International Conference on Web Search and Data Mining (Seattle, Washington, USA, 8-12 February 2012). Proceedings, pp. 153 - 162. ACM, 2012.        
69De Luca L. T., Bernelli F., Maggi F., Tadini P., Pardini C., Anselmo L., Grassi M., Pavarin D., Francesconi A., Branz F., Chiesa S., Viola N., Bonnal C., Trushlyakov V., Belokonov I. Active space debris removal by hybrid engine module. In: IAC-2012 - 63rd International Astronautical Congress (Naples, Italy, 1-5 October 2012). Proceedings, article n. IAC-12-A6.5.8. International Astronautical Federation (IAF), 2012.  
70De Luca L. T., Tadini P., Pardini C., Anselmo L. Hybrid rocket propulsion: state of the art and perspectives for space activities applications. In: ICFD2012 - 9th International Conference on Flow Dynamics (Sendai, Miyagi, Japan, 19-21 September 2012). Proceedings, article n. OS3. Tohoku University, Global COE Program, 2012.  
71Debole F., Salerno E., Savino P., Tonazzini A. Editing metadata to support the content analysis, storage and retrieval of ancient documents. In: 5th International Congress on "Science and Technology for the Safeguard of Cultural Heritage in the Mediterranean Basin" (Istanbul, Turkey, 22-25 November 2011). Proceedings, vol. III (2nd Part) pp. 180 - 185. Valmar, 2012.  
72Dellepiane M., Scopigno R. Teaching 3D acquisition for cultural heritage: a theory and practice approach. In: Eurographics 2012 - Education papers (Cagliari, Italy, 13-18 May 2012). Proceedings, pp. 25 - 32. Eurographics, 2012.        
73Dercks U., Ponchio F., Scopigno R. CENOBIUM - A project for the multimedia representation of romanesque cloister capitals in the Mediterranean region. In: EVA Berlin 2012 - Elektronische Medien & Kunst, Kultur, Historie (Berlin, Germany, 07-09/11 2012). Proceedings, pp. 78 - 83. Dr. Andreas Bienert, Prof. Dr. Dorothee Haffner (eds.). Electronic Imaging & the Visual Arts, 2012.  
74Eirinakis P., Ruggieri S., Subramani K., Wojciechowski P. Computational complexities of inclusion queries over polyhedral sets. In: ISAIM 2012 - International Symposium on Artificial Intelligence and Mathematics (Fort Lauderdale, FL, USA, 9-11 January 2012). Proceedings, ISAIM, 2012.     
75Fantechi A. Distributing the challenge of model checking interlocking control tables. In: ISOLA2012 - Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium (Heraclion, Crete, 15-18 October 2012). Proceedings, pp. 276 - 289. Margaria Tiziana, Steffen Bernhard (eds.). (Lecture Notes in Computer Science, vol. 7610). Springer, 2012.        
76Fantechi A., Flammini F., Gnesi S. Formal methods for intelligent transportation systems. In: ISOLA2012 - Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium (Heraclion, Crete, 15-18 October 2012). Proceedings, pp. 187 - 189. Margaria Tiziana, Steffen Bernhard (eds.). (Lecture Notes in Computer Science, vol. 7610). Springer, 2012.        
77Ferrari A., Gnesi S., Tolomei G. A clustering-based approach for discovering flaws in requirements specifications. In: SAC 2012 - 27th Annual ACM Symposium on Applied Computing (Riva del Garda, Trento, ITALY, 26-30 marzo 2012). Proceedings, pp. 1043 - 1050. ACM, 2012.           
78Ferrari A., Fantechi A., Gnesi S. Lessons learnt from the adoption of formal model-based development. In: NFM 2012 - NASA Formal Methods Symposium. 4th International Symposium (Norfolk, VA, USA, 3-5 April 2012). Proceedings, pp. 24 - 38. Alwyn E. Goodloe, Suzette Person (eds.). (Lecture Notes in Computer Science, vol. 7226). Springer, 2012.        
79Ferrari A., Itria M. L., Itria M. L., Chiaradonna S., Spagnolo G. O. Model-based evaluation of the availability of a CBTC system. In: SERENE 2012 - Software Engineering for Resilient Systems. 4th International Workshop (Pisa, Italy, 27-28 September 2012). Proceedings, pp. 165 - 179. Paris Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012.           
80Ferrari A., Spagnolo G. O., Martelli G., Menabeni S. Product line engineering applied to CBTC systems development. In: ISOLA2012 - Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. 5th International Symposium. (Heraclion, Crete, 15-18 October 2012). Proceedings, vol. II pp. 216 - 230. Margaria Tiziana, Steffen Bernhard (eds.). (Lecture Notes in Computer Science, vol. 7610). Springer, 2012.           
81Ferrari A., Gnesi S. Using collective intelligence to detect pragmatic ambiguities. In: RE 2012 - 20th IEEE International Conference on Requirements Engineering (Chicago, Illinois, USA, 24 - 28 September 2012). Proceedings, pp. 191 - 200. IEEE, 2012.        
82Freire A., Macdonald C., Tonellotto N., Ounis I., Cacheda F. Scheduling queries across replicas. In: SIGIR 2012 - 35th International ACM SIGIR Conference on Research and Development in Information Retrieval (Portland, OR, USA, 12-16 August 2012). Proceedings, pp. 1139 - 1140. ACM, 2012.           
83Furletti B., Gabrielli L., Rinzivillo S., Renso C. Identifying users profiles from mobile calls habits. In: UrbComp 2012 - ACM SIGKDD International Workshop on Urban Computing (Beijing, China, 12-16 August 2012). Proceedings, pp. 17 - 24. ACM, 2012.        
84Gerace I., Martinelli F., Tonazzini A. Restoration of recto-verso archival documents through a regularized nonlinear model. In: EUSIPCO 2012 - 20th European Signal Processing Conference (Bucharest, Romania, 27-31 August 2012). Proceedings, pp. 1588 - 1592. Eurasip, 2012.  
85Ghiani G., Paternò F., Santoro C. Push and pull of web user interfaces in multi-device environments. In: AVI '12 - International Working Conference on Advanced Visual Interfaces (Capri Island (Naples), Italy, 21-25 May 2012). Proceedings, pp. 10 - 17. ACM, 2012.           
86Ghiani G., Isoni L., Paternò F. Security in migratory interactive Web applications. In: MUM 2012 - 11th International Conference on Mobile and Ubiquitous Multimedia (Ulm, Germany, 4-6 December 2012). Proceedings, article n. 15. ACM, 2012.        
87Giannotti F., Lakshmanan L. V., Monreale A., Pedreschi D., Wang H. Privacy-preserving mining of association rules from outsourced transaction databases. Extended abstract. In: SEBD 2012 - Twentieth Italian Symposium on Advanced Database Systems (Venice, Italy, 24-27 June 2012). Atti, pp. 233 - 242. Nicola Ferro, Letizia Tanca (eds.). Edizioni Libreria Progetto and the authors, 2012.     
88Girardi M., Lucchesi M., Padovani C., Pasquinelli G., Pintucchi B., Zani N. Numerical methods for slender masonry structures: a comparative study. In: CST 2012 - The Eleventh International Conference on Computational Structures Technology (Dubrovnik, Croatia, 4-7 September 2012). Proceedings, article n. 118. B.H.V. Topping (ed.). Civil-Comp Press, 2012.        
89Girardi M., Padovani C., Pasquinelli G. Numerical modelling of the dynamic behaviour of ancient masonry constructions. In: Wondermasonry 2011 - Wondermasonry 2011 Workshop on design for rehabilitation of masonry structures. Tecniche di modellazione e progetto per interventi sul costruito in muratura (Firenze, 10-11 november 2011). Atti, pp. 1 - 11. Antonello De Luca, Paolo Spinelli (eds.). (Universitario / Ingegneria, vol. 4). Polistampa, 2012.     
90Girolami M., Furfari F., Chessa S. A cost-based model for service discovery in smart environments. In: AML 2012 - Ambient Intelligence. Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings (Pisa, Italy, 13-15 November 2012). Proceedings, pp. 397 - 402. Fabio Paternò, Boris de Ruyter, Panos Markopoulos, Carmen Santoro, Evert van Loenen, Kris Luyten (eds.). (Lecture Notes in Computer Science, vol. Lecture Notes in Computer Science). Springer Berlin / Heidelberg, 2012.           
91Gnesi S., Petrocchi M. Towards an executable algebra for product lines. In: SPLC '12 - 16th International Software Product Line Conference (Salvador, Brazil, 2-7 September 2012). Proceedings, vol. 2 pp. 66 - 73. Eduardo Santana de Almeida, Christa Schwanninger, David Benavides (eds.). ACM, 2012.        
92Hajian S., Monreale A., Pedreschi D., Domingo-Ferrer J., Giannotti F. Injecting discrimination and privacy awareness into pattern discovery. In: ICDMW 2012 - IEEE 12th International Conference on Data Mining Workshops (Brussels, 10 December 2012). Proceedings, pp. 360 - 369. IEEE, 2012.           
93Jonassen S., Cambazoglu B. B., Silvestri F. Prefetching query results and its impact on search engines. In: SIGIR '12 - 35th International ACM SIGIR Conference on Research and Development in Information Retrieval (Portland, OR, USA, 12-16 August 2012). Proceedings, pp. 631 - 640. ACM, 2012.        
94Kaminski J., Echavarria K. R., Arnold D., Palma G., Scopigno R., Proesmans M., Stevenson J. Insourcing, outsourcing and crowdsourcing 3D collection formation: perspectives for cultural heritage sites. In: VAST 12 - The 13th International Symposium on Virtual Reality, Archaeology and Intelligent Cultural Heritage (Brighton, 19-21 November 2012). Proceedings, pp. 81 - 88. Eurographics Association, 2012.        
95Lami G., Buglione L. Measuring software sustainability from a process-centric perspective. In: IWSM-MENSURA 2012 - 22nd International Workshop on Software Measurement and the 2012 Seventh International Joint Conference on Software Process and Product Measurement (Assisi, Italy, 17-19 October 2012). Proceedings, pp. 53 - 59. IEEE, 2012.        
96Lami G., Fabbrini F., Fusani M. Software sustainability from a process-centric perspective. In: EuroSPI 2012 - Systems, Software and Services Process Improvement. 19th European Conference (Vienna, Austria, 25-27 June 2012). Proceedings, pp. 97 - 108. Dietmar Winkler, Rory V. O’Connor, Richard Messnarz (eds.). (Communications in Computer and Information Science, vol. 301). Springer, 2012.           
97Latella D., Massink M., De Vink E. P. Bisimulation of labeled state-to-function transition systems of stochastic process languages. In: ACCAT 2012 - Seventh ACCAT Workshop on Applied and Computational Category Theory (Tallin, Estonia, 4 april 2012). Proceedings, vol. 93 pp. 23 - 43. Ulrike Golas, Thomas Soboll (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), 2012.        
98Liu R., Wang W. H., Monreale A., Pedreschi D., Giannotti F., Wenge G. AUDIO: an integrity auditing framework of outlier-mining-as-a-service systems. In: ECML PKDD 2012 - Machine Learning and Knowledge Discovery in Databases European Conference (Bristol, UK, 24-28 September 2012). Proceedings, vol. II pp. 1 - 18. Peter A. Flach , Tijl De Bie, Nello Cristianini (eds.). (Lecture Notes in Computer Science, vol. 7524). Springer, 2012.           
99Lucchese C., Perego R., Silvestri F., Vahabi H., Venturini R. How random walks can help tourism. In: ECIR 2012 - Advances in Information Retrieval. 34th European Conference on IR Research (Barcelona, Spain, 1-5 April 2012). Proceedings, pp. 195 - 206. Ricardo Baeza-Yates, Arjen P. de Vries, Hugo Zaragoza, B. Barla Cambazoglu, Vanessa Murdock, Ronny Lempel, Fabrizio Silvestri (eds.). (Lecture Notes in Computer Science, vol. 7224). Springer, 2012.        
100Macdonald C., Tonellotto N., Ounis I. Effect of dynamic pruning safety on learning to rank effectiveness. In: SIGIR 2012 - 35th International ACM SIGIR Conference on Research and Development in Information Retrieval (Portland, OR, USA, 12-16 August 2012). Proceedings, pp. 1051 - 1052. ACM, 2012.        
101Macdonald C., Tonellotto N., Ounis I. Learning to predict response times for online query scheduling. In: SIGIR 2012 - 35th International ACM SIGIR Conference on Research and Development in Information Retrieval (Portland, OR, USA, 12-16 August 2012). Proceedings, pp. 621 - 630. ACM, 2012.           
102Manghi P., Houssos N., Mikulicic M., Jørg B. The Data Model of the OpenAIRE Scientific Communication e-Infrastructure. In: MTSR 2012 - 6th Metadata and Semantics Research Conference (Cádiz, Spain, November 28-30 2012). Proceedings, pp. 168 - 180. Dodero, JuanManuel and Palomo-Duarte, Manuel and Karampiperis, Pythagoras (eds.). (Communications in Computer and Information Science, vol. 343). Springer, 2012.        
103Massink M., Brambilla M., Latella D., Dorigo M., Birattari M. Analysing robot swarm decision-making with Bio-PEPA. In: ANTS 2012 - Swarm Intelligence - 8th International Conference (Brussels, Belgium, 12-14 September 2012). Proceedings, pp. 25 - 36. Dorigo et al. (eds.). (Lecture Notes in Computer Science, vol. 7461). Springer, 2012.        
104Massink M., Latella D. Fluid analysis of foraging ants. In: COORDINATION 2012 - Coordination Models and Languages - 14th International Conference (Stoccolma, 14-15 giugno 2012). Proceedings, pp. 152 - 165. (Lecture Notes in Computer Science, vol. 7274). Springer, 2012.        
105Miori V., Russo D. Anticipating health hazards through an ontology-based, IoT domotic environment. In: IMIS 2012 - The Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (Palermo (Italy), 4-6 July 2012). Proceedings, pp. 745 - 750. Ilsun You and Leonard Barolli and Antonio Gentile and Hae-Duck Joshua Jeong and Marek R. Ogiela and Fatos Xhafa (eds.). IEEE, 2012.     
106Moroni D., Pascali M. A., Reggiannini M., Salvetti O. Mapping techniques of underwater environments by optical-acoustic data integration. In: ECUA 2012 - 11th European Conference on Underwater Acoustics (Edimburgh, Scotland, 2-6 July 2012). Proceedings, vol. 34 pp. 1057 - 1063. Institute of Acoustics, 2012.     
107Nanni M., Trasarti R., Rossetti G., Pedreschi D. Efficient distributed computation of human mobility aggregates through user mobility profiles. In: UrbComp'12 - ACM SIGKDD International Workshop on Urban Computing (Beijing, China, 12-16 August 2012). Proceedings, pp. 87 - 90. ACM, 2012.           
108Pagano P. Powering Science by embedding Cloud Computing in Hybrid Data Infrastructures. In: Cloudscape IV - Cloudscape IV - Advances on Interoperability & Cloud Computing Standards (Brussels (Belgio), 23-24 February 2012). Proceedings, vol. Cloudscape IV - Position Papers pp. 28 - 29. SIENA Consortium (ed.). SIENA Consortium - Standards and Interoperrability for einfrastructure implementation initiative, 2012.        
109Palma G., Siotto E., Proesmans M., Baldassarri M., Baracchini C., Batino S., Scopigno R. Telling the story of ancient coins by means of interactive RTI images visualization. In: CAA 2012 - Archaeology in the Digital Era (Southamptom, UK, 26-29 March 2012). Proceedings, pp. 177 - 185. Graeme Earl et al... (eds.). (CAA series Computer Applications and Quantitative Methods in Archaeology). Amsterdam university Press, 2012.     
110Pardelli G., Sassi M., Goggi S., Biagioni S. From medical language processing to BioNLP domain. In: LREC'12 - Eight International Conference on Language Resources and Evaluation (Istanbul, Turkey, 21-27 may 2012). Proceedings, vol. 7 pp. 2049 - 2055. Nicoletta Calzolari (Conference Chair) and Khalid Choukri and Thierry Declerck and Mehmet Uğur Doğan and Bente Maegaard and Joseph Mariani and Jan Odijk and Stelios Piperidis (eds.). European Language Resources Association (ELRA), 2012.     
111Pardini C., Anselmo L. Reentry predictions of three massive uncontrolled spacecraft. In: ISSFD-2012 - 23rd International Symposium on Space Flight Dynamics (Pasadena, California, USA, 29 October - 2 November 2012). Proceedings, article n. ISSFD23_CRSD1_4. Tomas J. Martin-Mur (ed.). NASA/JPL, 2012.     
112Paternò F., Santoro C. A logical framework for multi-device user interfaces. In: EICS'12 - The fourth ACM SIGCHI Symposium on Engineering Interactive Computing Systems (Copenhagen, Denmark, 25-26 June 2012). Proceedings, pp. 45 - 50. ACM, 2012.        
113Paternò F., Santoro C., Spano L. D. Improving support for visual task modelling. In: HCSE 2012 - Human-Centered Software Engineering. 4th International Conference (Toulouse, France, 29-31 October 2012). Proceedings, pp. 299 - 306. M. Winckler, P. Forbrig, R. Bernhaupt (eds.). (Lecture Notes in Computer Science, vol. 7623). Springer, 2012.        
114Pedreschi D., Ruggieri S., Turini F. A study of top-k measures for discrimination discovery. In: SAC '12 - 27th Annual ACM Symposium on Applied Computing (Riva del Garda (Trento), Italy, 26-30 March 2012). Proceedings, pp. 126 - 131. ACM, 2012.        
115Pennacchiotti M., Silvestri F., Vahabi H., Venturini R. Making your interests follow you on twitter. In: CIKM '2012 - The 21st ACM International Conference on Information and Knowledge Management (Maui, Hawaii, USA, October 29-November 2 2012). Proceedings, pp. 165 - 174. (CIKM '2012). ACM, 2012.        
116Ramalho Brilhante I., Berlingerio M., Trasarti R., Renso C., de Macedo J. A. F., Casanova M. A. ComeTogether: discovering communities of places in mobility data. In: MDM 2012 - IEEE 13th International Conference on Mobile Data Management (Bangalore, India, 23-26 July 2012). Proceedings, pp. 268 - 273. IEEE, 2012.           
117Ricci L., Carlini E. Distributed virtual environments: from client server to cloud and P2P architectures. In: HPCS 2012 - International Conference on High Performance Computing and Simulation (Madrid, Spain, 2-6 July 2012). Proceedings, pp. 8 - 17. IEEE, 2012.        
118Romei A., Ruggieri S., Turini F. Discovering gender discrimination in project funding. In: ICDMW 2012 - IEEE 12th International Conference on Data Mining Workshops (Brussels, Belgium, 10 December 2012). Proceedings, pp. 394 - 401. IEEE, 2012.        
119Ruggieri S. Deciding membership in a class of polyhedra. In: ECAI 2012 - 20th European Conference on Artificial Intelligence (Montpellier, Francia, 27-31 agosto 2012). Proceedings, pp. 702 - 707. Luc De Raedt et al.. (Frontiers in Artificial Intelligence and Applications, vol. 242). IOS, 2012.        
120Ruggieri S. Subtree replacement in decision tree simpli cation. In: SDM 2012 - 12th SIAM Conference on Data Mining (Anaheim, California USA, 26,28 April 2012). Proceedings, pp. 379 - 390. SIAM / Omnipress, 2012.     
121Salerno E., Tonazzini A., Savino P., Martinelli F., Debole F., Bruno F., Bianco G., Console E. AMMIRA: an easy and effective system to manage digital images of artworks. In: 5th International Congress on "Science and Technology for the Safeguard of Cultural Heritage in the Mediterranean Basin" (Istanbul, Turkey, 22-25 November 2011). Proceedings, vol. Vol. III (2nd Part) pp. 237 - 243. Valmar, 2012.  
122Spano L. D., Cisternino A., Paternò F. A compositional model for gesture definition. In: HCSE 2012 - Human-Centered Software Engineering. 4th International Conference (Toulouse, France, 29-31 October 2012). Proceedings, pp. 34 - 52. M. Winckler, P. Forbrig, R. Bernhaupt (eds.). (Lecture Notes in Computer Science, vol. 7623). Springer, 2012.        
123Spyratos N., Sugibuchi T., Simonenko E., Meghini C. Computing the skyline of a relational table based on a query lattice. In: ICFCA2012 - Formal Concept Analysis 2012. Contributions to the 10th International Conference on Formal Concept Analysis (Leuwen, Belgio, 6 - 10 May 2012). Proceedings, pp. 145 - 160. Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans (eds.). (CEUR Workshop Proceedings, vol. 876). Università di Leuwen - CEUR, 2012.     
124Tadini P., Maggi F., De Luca L., Anselmo L., Pardini C., Grassi M., Trushlyakov V. Active debris removal of a Cosmos-3M second stage by hybrid rocket module. In: ISTC 2012 - VIII International Science and Technology Conference (Omsk, Russia, 13-15 November 2012). Proceedings, pp. 218 - 237. (Dynamics of Vehicles and Aircrafts). Omsk State Technical University, 2012.  
125Ter Beek M. H., Muccini H., Pelliccione P. Assume-Guarantee Testing of Evolving Software Product Line Architectures. In: SERENE 2012 - International Workshop on Software Engineering for Resilient Systems (Pisa, Italy, 27-28 September 2012). Proceedings, vol. 7527 pp. 91 - 105. P. Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012.     
126Ter Beek M. H., Gnesi S., Mazzanti F. Demonstration of a model checker for the analysis of product variability. In: SPLC'12 - 16th International Software Product Line Conference (Salvador, Bahia, Grazil, 2-7 September 2012). Proceedings, vol. II pp. 242 - 245. ACM, 2012.        
127Ter Beek M. H., Classen A., Schaefer I., Becker M., Roos-Frantz F., Wong P. Y. Formal methods and analysis in software product line engineering. 3rd edition of FMSPLE workshop series. In: SPLC'12 - 16th International Software Product Line Conference (Salvador, Bahia, Brazil, 2-7 September 2012). Proceedings, pp. 286 - 287. ACM, 2012.        
128Ter Beek M. H., Mazzanti F., Sulova A. VMC: a tool for product variability analysis. In: FM 2012 - 18th International Symposium on Formal Methods (Paris, France, 27-31 August 2012). Proceedings, pp. 450 - 454. D. Giannakopoulou, D. Méry (eds.). (Lecture Notes in Computer Science, vol. 7436). Springer-Verlag, 2012.        
129Ter Beek M. H., Gnesi S., Fantechi A., Fiadeiro J. L. Variability and Rigour in Service Computing Engineering. In: SEW 2011 - 34th IEEE Software Engineering Workshop (SEW'11) (Limerick, Ireland, 20-21 June 2011). Proceedings, pp. 122 - 127. IEEE Computer Society, Los Alamitos, CA, 2012.     
130Trasarti R., Pinelli F., Nanni M., Giannotti F. Individual Mobility Profiles: Methods and Application on Vehicle Sharing. In: SEBD - 20th Italian Symposium on Advanced Database Systems (Venezia, 24/06 2012). Atti, pp. 35 - 42. Nicola Ferro and Letizia Tanca (eds.). Edizioni Libreria Progetto, 2012.  
131Triossi A., Orlando S., Raffaetà A., Fruhwirth T. Compiling CHR to parallel hardware. In: PPDP'12 - 14th Symposium on Principles and Practice of Declarative Programming (Leuven, Belgium, 19-21 September 2012). Proceedings, pp. 173 - 184. ACM, 2012.        

Editorials

   2012
1Chessa S., Knauth S., (eds) .. Evaluating AAL systems through competitive benchmarking indoor localization and tracking. pp. V - VI. Springer, 2012.        
2Derrick J., Gnesi S., Latella D., Treharne H., (eds.) .. Integrated formal methods - 9th International Conference, IFM 2012. pp. v - vi. Springer, 2012.        
3Derrick J., Fitzgerald J., Gnesi S., Khurshid S., Leuschel M., Reeves S., Riccobene E., (eds.) .. Preface to iFM&ABZ 2012. Springer, 2012.        
4Dua S., Gangopadhyay A., Thulasiraman P., Straccia U., Shepherd M., Stein B. Information Systems, Technology and Management - 6th International Conference,. vol. 285 p. -. Springer, 2012.        
5Eisenecker U. W., Apel S., Gnesi S., (eds.) .. Foreward - VaMoS '12. ACM, 2012.     
6Fiadeiro J., Gnesi S., Maibaum T. Editorial. vol. 24 (2) pp. 161 - 162. Springer, 2012.        
7Gamberini L., Chittaro L., Paternò F., (eds.) .. Human-computer interaction. Fondamenti teorici e metodologici per lo studio dell'interazione tra persone e tecnologie. pp. 1 - 336. Pearson Italia, 2012.  
8Kroetzsch M., Straccia U., (eds.) .. Web reasoning and rule systems. pp. IV - V. Springer, 2012.        
9Mazzanti F., Trentanni G. iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session. pp. 1 - 64. CNR-ISTI, 2012.  
10Paternò F., De Ruyter B. E., Markopoulos P., Santoro C., Van Loenen E., Luyten K., (eds.) .. AmI 2012. article n. 1. Springer, 2012.     
11Salerno E., Çetin A. E., Salvetti O., (eds.) .. Introduction to: Computational Intelligence for Multimedia Understanding International Workshop - MUSCLE 2011 (Pisa, Italy, December 13-15, 2011). Revised Selected Papers. pp. I - 235. Springer, 2012.        
12Scopigno R., (ed.) .. Editorial - ACM J. on Computing and Cultural Heritage. vol. 5 (2) pp. 5 - 5. ACM, 2012.        
13Wiklicky H., Massink M., (eds.) .. Preface of the Proceedings Tenth Workshop on Quantitative Aspects of Programming Languages. vol. 85 Mieke Massink and Herbert Wiklicky (eds.). Electronic Proceedings in Theoretical Computer Science, 2012.        

Technical reports

   2012
1Amaral R., Badia R., Blanquer I., Candela L., Castelli D., De Giovanni R., Gray W. A., Jones A., Lezzi D., Pagano P., Perez-Canhos V., Quevedo F., Rafanelli R., Rebello V., Torres E. EUBrazilOpenBio - EU-Brazil open data and cloud computing e-infrastructure for biodiversity. - D1.3 periodic report. Version 1.2. EU-Brazil Open Data and Cloud Computing e-Infrastructure for Biodiversity. Deliverable D3.1, 2012.  
2Amato G., Bolettieri P., Falchi F., Lazaridis M., Paytuvi O., López F. ASSETS - Scalable content-based indexing and ranking. Advanced Search Services and Enhanced Technological Solutions for the European Digital Library. Deliverable D2.2.5, 2012.  
3Amato G. VISITO Tuscany - Relazione avanzamento progetto VISITO Tuscany. POR CREO FESR VISITO Tuscany. Deliverable G3.3, 2012.  
4Amendola T., Chimenti M., Fantini E., Tampucci M., Miniati M., Monti S. Studio di fattibilità sul rilevamento di enfisema in immagini ottenute mediante TAC a spirale con bassa dose. Procedura per l'elaborazione di immagini CT. Internal note, 2012.  
5Antoniadis A., Brito F., Coro G., Gerbesiotis J., Marketakis Y. iMarine - iMarine Data Consumption Software (1.0). Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources. Deliverable D10.4, 2012.  
6Artini M., Bardi A., Biagini F., Debole F., La Bruzzo S., Manghi P., Mikulic M., Savino P., Zoppi F. Data Interoperability and Curation: the European Film Gateway Experience. IRCDL 2012. Preprint, 2012.  
7Bacciu D., Chessa S., Gallicchio C., Micheli A., Barsocchi P. An Experimental Evaluation of Reservoir Computation for Ambient Assisted Living. Technical report, 2012.  
8Bacciu D., Gallicchio C., Micheli A., Vairo C., Chessa S., Bonuccelli M., Dragone M., Amato G. RUBICON - Core Learning Services API and Documentation V.1.0. Robotic UBiquitous COgnitive Network (RUBICON). Deliverable D2.2, 2012.  
9Badia R. M., Lezzi D., Alexandrov V., Callau P., Rebello V., Candela L., Blanquer I., De Giovanni R., Cardoso V., Pittonet S. EUBrazilOpenBio - Periodic Report. Version 1.2. EU-Brazil Open Data and Cloud Computing e-Infrastructure for Biodiversity. Deliverable D1.3, 2012.  
10Bardi A., Zoppi F. HOPE aggregator infrastructure release 2.0. Heritage of the People's Europe. Deliverable D4.3, 2012.  
11Barsocchi P., Potortì F., Nepa P. Device free indoor localization for AAL applications. Technical report, 2012.  
12Barsocchi P., Potortì F., Furfari F., Medrano Gil A. M. Evaluating AAL Localization Systems Through Competitive Benchmarking. Technical report, 2012.  
13Beltrame R., Ponchio F., Raviolo C. Breve presentazione del database di supporto al sito WEB dell'ISTI. Internal note, 2012.  
14Bertolino A., Daoudagh S., Lonetti F., Marchetti E. Modelling and testing of XACML policies. Technical report, 2012.  
15Bertolino A., Marchetti E., Morichetta A. Towards a framework for proactive monitoring of service choreography. Technical report, 2012.  
16Biagioni S., Carlesi C., Affè F. PumaOAI: Implementazione del Data provider OAI per la digital library PUMA (PUblication MAnagement). PumaOAI. Technical report, 2012.  
17Boeres C., Rebello V., Candela L. EUBrazilOpenBio - Infrastructure set-up, planning, and coordination. EU-Brazil Open Data and Cloud Computing e-Infrastructure for Biodiversity. Deliverable D4.1, 2012.  
18Bolettieri P. The content based image retrieval system of the ASSETS project. Technical report, 2012.  
19Broxvall M., Gennaro C., Vairo C., Saffiotti A. RUBICON - Preliminary version of Communication Layer. Robotic UBiquitous COgnitive Network (RUBICON). Deliverable D1.3.1, 2012.  
20Buglione L., Fabbrini F., Lami G. A mapping between automotive SPICE and ISO/TS 16949:2009 to support process improvement. Technical report, 2012.  
21Callau P., Alexandrov V., Lezzi D., Blanquer I., Pittonet S., De Giovanni R., Candela L., Rebello V. EUBrazilOpenBio - Progress activity report. EU-Brazil Open Data and Cloud Computing e-Infrastructure for Biodiversity. Deliverable D1.2, 2012.  
22Callau P., Alexandrov V., Pittonet S., Candela L. EUBrazilOpenBio - Quality plan. EU-Brazil Open Data and Cloud Computing e-Infrastructure for Biodiversity. Deliverable D1.1, 2012.  
23Candela L., Rebello V. EUBrazilOpenBio - Development planning and coordination. EU-Brazil Open Data and Cloud Computing e-Infrastructure for Biodiversity. Deliverable D3.1, 2012.  
24Candela L., Rebello V. EUBrazilOpenBio - Software platform core. EU-Brazil Open Data and Cloud Computing e-Infrastructure for Biodiversity. Deliverable D3.2, 2012.  
25Candela L. EUBrazilOpenBio - Software platform extensions. EU-Brazil Open Data and Cloud Computing e-Infrastructure for Biodiversity. Deliverable D3.4, 2012.  
26Candela L., Castelli D., Coro G., Pagano P., Sinibaldi F. Species Distribution Modeling in the Cloud. Concurrency and Computation: Practice and Experience. Preprint, 2012.  
27Candela L., Castelli D., Coro G., Ellennbroek A., Farantatos G., Giammatteo G., Hanahoe H., Kakaletris G., Manzi A., Nguyen L., Pagano P., Simi M. iMarine - Management report. Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources. Deliverable D2.1, 2012.  
28Candela L., Michel J., Nguyen L., Pagano P. iMarine - Quality plan. Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources. Deliverable D1.1, 2012.  
29Candela L., Pagano P. iMarine - Virtual research environments plan. Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources. Deliverable D6.1, 2012.  
30Cardillo A. WP4100 (Studi di fattibilità): LDBF lanciando da sud Argentina. Attività di supporto tecnico scientifico per i programmi di volo dell'ASI da effettuare a mezzo di palloni stratosferici e mezzi alternativi di accesso allo spazio. Project report ASI-ISTI-012-RA4, 2012.  
31Cardillo A. WP510: Quinto rapporto tecnico semestrale. Accordo ASI ISTI I/016/09/0. Attivita' di supporto tecnico scientifico per i programmi di volo dell'ASI da effettuare a mezzo di palloni stratosferici e mezzi alternativi di accesso allo spazio. Project report ASI-ISTI-12-PM5, 2012.  
32Carlini E., Ricci L., Coppola M. Integrating centralized and P2P architectures to support interest management in distributed virtual environments. Technical report, 2012.  
33Celandroni N., Ferro E., Gotta A. RA and DA Satellite Access schemes: A Survey and Some Research Results and Challenges. Technical report, 2012.  
34Coradeschi S., Ullberg J., Karlsson L., Lopez L. S., Palumbo F., Furfari F., Bacco F. M., Soraia R., Damasceno A., Koshmak G., von Rump S., Polutnik J., Štimec A. GiraffPlus - Preliminary technological integration (Pre-T-Int) report. Combining social interaction and long term monitoring for promoting independent living. Deliverable D5.1, 2012.  
35Coradeschi S., Karlsson L., Gonzalez J., Orlandini A., Cesta A., Cortellessa G., Silva L., Ullberg J., Furfari F., Palumbo F., Bacco F. M., Lindèn M. GiraffPlus - System Reference Architecture. Combining social interaction and long term monitoring for promoting independent living. Deliverable D1.3, 2012.  
36Coro G., De Faveri F., Lelii L., Manzi A., Drakopoulos N., Marioli V., Simeoni F., Antoniadis A. iMarine - iMarine Data Management Software. Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources. Deliverable D9.2, 2012.  
37Coro G., De Faveri F., Lelii L. iMarine - iMarine Data management software. Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources. Deliverable D9.1, 2012.  
38Coscia M., Giannotti F., Pedreschi D. A classification for community discovery methods in complex networks. Documento Arxiv abs/1206.3552. Technical report, 2012.        
39Coscia M., Rossetti G., Giannotti F., Pedreschi D. DEMON: a local-first discovery method for overlapping communities. Lavoro archiviato in Arxiv Computing Research Repository - Cornell University (1206.0629), Technical report, 2012.     
40Di Giandomenico F., Itria M. L., Masci P., Nostro N. Networks of heterogeneous and dynamic interoperable systems: an approach to enhance dependability and performance properties. Manoscritto da sottomettere a rivista internazione, Technical report, 2012.  
41Diciotti R., Panichi G. PandAE Guida per l'Ufficio Personale. Internal note, 2012.  
42Ellenbroek A., Candela L. iMarine - Applications and tools development plan. Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources32. Deliverable D6.2, 2012.  
43Ellenbroek A., Candela L., Pagano P. iMarine - Virtual Research Environments Activity Report. Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources. Deliverable D6.3, 2012.  
44Furletti B., Trasarti R., Gabrielli L., Rinzivillo S., Pappalardo L., Giannotti F. Analisi di mobilità con dati eterogenei. Technical report, 2012.  
45Giannini S. Software di gestione di sistemi bibliotecari "LIBERO v. 6.2.1". Corso di formazione sulla nuova versione del sistema di automazione bibliotecaria "Libero v.6.2.1", organizzato presso la biblioteca dell'Università Pontificia Salesiana (Roma, 29 ottobre 2012) e presso l'Area della Ricerca CNR di Pisa (Pisa, 18 dicembre 2012). 2012.  
46Girardi M., Padovani C., Pagni A., Pasquinelli G. Analisi strutturale della chiesa di San Francesco a Lucca: modellazione di alcuni interventi di consolidamento [project report 1]. Analisi strutturale della chiesa di San Francesco a Lucca: modellazione di alcuni interventi di consolidamento. Project report 1, 2012.  
47Girardi M., Padovani C., Pagni A., Pasquinelli G. Analisi strutturale della chiesa di San Francesco a Lucca: modellazione di alcuni interventi di consolidamento [project report 2]. Analisi strutturale della chiesa di San Francesco a Lucca: modellazione di alcuni interventi di consolidamento. Project report 2, 2012.  
48Girolami M., Furfari F., Palumbo F., Stocklöw C. UniversAAL - AAL Reference architecture requirements. Universal Open Architecture and Platform for Ambient Assisted Living. Deliverable D1.2-C, 2012.  
49Girolami M., Furfari F., Bacco F. M. UniversAAL - Tools for design and development (including Transformation and generation tools, and Conformance tools). Universal Open Architecture and Platform for Ambient Assisted Living. Deliverable D3.1-C, 2012.  
50Girolami M., Furfari F., Stocklöw C., Owda Z. UniversAAL - universAAL execution environment, installation packages, hardware abstraction layer, generic platform services / AAL platform services and ontology artefacts. Universal Open Architecture and Platform for Ambient Assisted Living. Deliverable D2.1-C, 2012.  
51Hanke S., Karopka T., Furfari F., Potortì F. To Build up an ambient assisted living open association (AALOA). Technical report, 2012.  
52Kuruoglu E. E. Color restoration in old photographs using dark channel processing. A reduced version will be submitted to EUSIPCO 2013. Technical report, 2012.  
53Lindén M., Gonzalez J., Melendez F., Orlandini A., Furfari F., Girolami M., Palumbo F., von Rump S., Rocha S., Barry J., Karlsson L. GiraffPlus - Technological component specifications. Combining social interaction and long term monitoring for promoting independent living. Deliverable D1.2, 2012.  
54Liu Y., Gao C., Kuruoglu E. E. Estimation of motion blurring direction by rotated accumulation method. Technical report, 2012.  
55Locuratolo E. I. A Constructive Approach for Conceptual database Design. Chapter accepted for publication in the book "Software Development Techniques for Constructive Information Systems Design" IDEA GROUP PUBLISHING, Technical report, 2012.  
56Locuratolo E. I. Innovative evaluations of conceptual database models. Submitted for the book "Quality Innovation: Knowledge, Theory and Practice. IDEA GROUP PUBLISHING, Technical report, 2012.  
57Long H., Zhang X., Kuruoglu E. E. Handwritten chinese character recognition using eigenspace decomposition. Technical report, 2012.  
58Manghi P. EFG1914 - EFG metadata schema extension: documentation. EFG1914 European Film Gateway. Deliverable D6.1, 2012.  
59Manghi P., Mikulicic M., Atzori C. OpenAIRE Data Model Specification. OpenAIREplus, 2nd Generation Open Access Infrastructure for Research in Europe. Deliverable D6.1, 2012.  
60Manghi P. OpenAIREplus - OpenAIREPlus specification and release plan. OpenAIREplus, 2nd Generation Open Access Infrastructure for Research in Europe. Deliverable D5.1, 2012.  
61Manghi P., Mikulicic M., Atzori C., Artini M. OpenAIREplus - Specification of adaptation of content management services. 2nd-Generation Open Access Infrastructure for Research in Europe - OpenAIREplus. Deliverable D6.2, 2012.  
62Manghi P., Mikulicic M., Atzori C. OpenAIREplus - Specification of the authority file service (de-duplication service). 2nd-Generation Open Access Infrastructure for Research in Europe. Deliverable D6.4, 2012.  
63Manzi A., Candela L. iMarine Data e-Infrastructure Operation Report. Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources. Deliverable D5.2, 2012.  
64Martin P., Hardisty A., Dal Maso M., Candela L. ENVRI - Assessment of the state of the art. Common Operations of Environmental Research Infrastructures. Deliverable D3.1, 2012.  
65Martinelli M., Pascali M. A., Reggiannini M., Righi M., Tampucci M., Colantonio S., Giorgi D., Magrini M., Moroni D., Pieri G., Salvetti O., La Monica D. THESAURUS - Requisiti e specifiche funzionali del sistema per l'acquisizione e integrazione dati. THESAURUS - Tecniche per l'Esplorazione Sottomarina Archeologica mediante l'Utilizzo di Robot Autonomi in Sciami (cofinanziato da Regione Toscana nell'ambito di FAS 2007-2013). Project report D3.1, 2012.  
66Massink M., Brambilla M., Latella D., Dorigo M., Mauro B. Analysing robot swarm decision-making with Bio-PEPA. TR/IRIDIA/2012-005, Technical report, 2012.  
67Miori V., Bianchi Bandinelli R. Sistemi domotici per l'edilizia residenziale e pubblica. Introduzione e terminologia. Lezione 1. Technical report, 2012.  
68Miori V., Bianchi Bandinelli R. Sistemi domotici per l'edilizia residenziale e pubblica. Multimedia e compressione dei file multimediali. Lezione 7. Questa parte tratta in modo specifico le problematiche della domotica relative alla disabilità e al risparmio energetico, Technical report, 2012.  
69Miori V., Bianchi Bandinelli R. Sistemi domotici per l'edilizia residenziale e pubblica. Tecnologie proprietarie. Lezione 4. Technical report, 2012.  
70Moroni D., Salvetti M., Villa A. The genus invariant for Artin groups. International Mathematichs Research Notices. Preprint, 2012.  
71Oligeri G., Pillai P., Ferro E., Verma S., Xu K., Hu F. SatNEx III - "Security on Integrated WSN-Satellite Networks". Satellite Network of Experts. Deliverable TN 2.3 - ToC, 2012.  
72Padovani C., Lucchesi M. NOSA-ITACA - Strumenti informatici per la modellazione e la verifica del comportamento strutturale di costruzioni antiche: il codice NOSA-ITACA. Strumenti informatici per la modellazione e la verifica del comportamento strutturale di costruzioni antiche: il codice NOSA-ITACA. Project report 1, 2012.  
73Palumbo F., Furfari F., Bacco F. M., Lindén M., Björkman M., von Rump S. GiraffPlus - First prototype of sensors, Giraff platform and network system report. Combining social interaction and long term monitoring for promoting independent living. Deliverable D2.1, 2012.  
74Panagopoulos A. D., Poulakis M., Vassaki S., Gotta A., Celandroni N., Ferro E., Bisio I., Davoli F., Cello M., Rosetti C., Luglio M., Marchitti M., Munari A., De Cola T. SatNEx III - QoS and Radio Resource Management. TN 2.2.1: QoS & RRM : Issues and Case Studies. TN 2.2.2: QoS & RRM : Solutions and Results. Satellite Network of Expert. Deliverable TN 2.2, 2012.  
75Panagopoulos A. D., Poulakis M., Vassaki S., Gotta A., Celandroni N., Ferro E., Oligeri G., Pillai P., Bisio I., Davoli F., Cello M., Rosetti C., Luglio M., Marchitti M., Munari A., De Cola T. SatNEx III - TN 2.4 "Dissemination and Future R&D Lines". Satellite Network of Excellence III. Deliverable TN 2.4, 2012.  
76Pardini C., Anselmo L. Note informative sul rientro incontrollato di Fobos-Grunt trasmesse all'agenzia spaziale italiana per il dipartimento della protezione civile. Raccolta delle note informative trasmesse all'ASI durante la campagna di rientro del veicolo spaziale Fobos-Grunt. Technical report, 2012.  
77Pieri G., Colantonio S., Moroni D., Tampucci M., Salvetti O., Martinelli M., Reggiannini M. ARGOMARINE - Model for data flow control through the intranet and towards World Wide Web. Automatic oil-spill recognition and geopositioning integrated in a marine monitoring network. Project report D-Lib SST.2008-234096 - D6.5, 2012.  
78Pillitteri L. The ontologies an introduction. Presentazione-introduzione-alle-ontologie. Technical report, 2012.  
79Potortì F., Furfari F., Ferro E. UniversAAL - Dissemination plan. Universal Open Architecture and Platform for Ambient Assisted Living. Deliverable D9.2-B, 2012.  
80Potortì F., Furfari F. UniversAAL - universAAL brochure, leaflets and web page. Universal Open Architecture and Platform for Ambient Assisted Living. Deliverable D9.1-B, 2012.  
81Rebello V., De Giovanni R., Candela L. EUBrazilOpenBio - Niche modelling services. EU-Brazil Open Data and Cloud Computing e-Infrastructure for Biodiversity. Deliverable D3.3, 2012.  
82Roseti C., Luglio M., De Cola T., Marchitti M. A., Ferro E., Celandroni N., Gotta A., Oligeri G., Vassaki S., Poulakis M., Panagopoulos A. D., Hu F. Y., Pillai P., Verma S., Xu K., Bisio I., Cello M., Davoli F. SatNEx III - ESR "Executive Summary Report". SatNEx III Network of Experts. Deliverable ESR, 2012.  
83Roseti C., Luglio M., De Cola T., Marchitti M. A., Ferro E., Celandroni N., Gotta A., Oligeri G., Vassaki S., Poulakis M., Panagopoulos A. D., Hu F. Y., Pillai P., Verma S., Xu K., Bisio I., Cello M., Davoli F. SatNEx III - SR "Summary Report". Satellite Communications Network of Excellence III. Deliverable SR, 2012.  
84Roseti C., Luglio M., De Cola T., Marchitti M., Munari A., Ferro E., Celandroni N., Gotta A., Oligeri G., Vassaki S., Poulakis M., Panagopoulos A. D., Hu Y. F., Pillai P., Verma S., Xu K., Bisio I., Cello M., Davoli F. SatNEx-III - Final Report (FR). CoO 2 - Task 2 "The role of satellites in future sensor networks". Deliverable Final Report, 2012.  
85Salvi D., Làzaro Ramos J. P., Arredondo M. T., Barsocchi P. EvAAL, Evaluating AAL systems through competitive benchmarking, the experience of the 1st competition. Technical report, 2012.  
86Schmidt B., Manghi P., Manola N., Zoppi F. OpenAIRE - OpenAIRE sustainability model. OPENAIRE, Open Access Infrastructure for Research in Europe2012. Deliverable D3.2, 2012.  
87Simeoni F., Simi M. iMarine - data infrastructure resource model. Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources. Deliverable D8.4, 2012.  
88Simi M., Tsantouli R. iMarine - Application programming interface software  . Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources. Deliverable D11.2, 2012.  
89Simi M., Farantatos G. iMarine - data infrastructure enabling software  . Data e-‐Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources. Deliverable D8.1, 2012.  
90Simi M. iMarine - data infrastructure enabling software  . Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources. Deliverable D8.2, 2012.  
91Torres E., Blanquer I., Candela L., De Giovanni R. EUBrazilOpenBio - Use case requirements specifications. EU-Brazil Open Data and Cloud Computing e-Infrastructure for Biodiversity. Deliverable D2.1, 2012.  
92Yang S., Li Y., Kuruoglu E. E. Scale invariant feature detection for object recognition in colour images. Technical report, 2012.  

Software

   2012
1Amato G., Chessa S., Gennaro C., Pallini D., Vairo C. A data logger for wireless sensor network. [Software] Release 1.2 , 21 November 2012.  
2Amato G. Metric inverted file. [Software] , 17 September 2012.  
3Assante M. gCube Infrastructure Gateway Bundle. [Software] Release 2.1.1 , 11 October 2012.  
4Assante M., Fortunati L. gCube Resources Management App. [Software] Release 2.3 , 18 October 2012.  
5Bertolino A., Calabrò A., De Angelis G. Generic fLexIble Monitoring based on a Publish-Subscribe infrastructurE. [Software] , 11 December 2012.  
6Bertolino A., De Angelis G., Di Sandro A., Sabetta A. MOdel Testing by Human Interrogations & Answers. [Software] , 11 December 2012.  
7Bertolino A., Di Marco A., Lonetti F. Property meta model. [Software] Release 1.2 , 10 December 2012.  
8Bertolino A., Daoudagh S., Lonetti F., Marchetti E. XaCml REquests derivAtion for TEsting. [Software] Release 1.2 , 07 November 2012.  
9Cignoni P., Ranzuglia G. MeshLab. [Software] Release 1.3.2 , 03 August 2012.  
10Cirillo R. Storage Manager Library for gCube. [Software] Release 1.0.0 , 29 May 2012.  
11Cirillo R. gCube Software gateway service. [Software] Release 1.1.0 , 10 November 2012.  
12Coro G. Ecological Engine Library. [Software] Release 1.3 , 10 October 2012.  
13Coro G. Environment Explorer Library. [Software] Release 1.0 , 29 May 2012.  
14Coro G. Generic worker executor library. [Software] Release 1.0 , 10 October 2012.  
15Coro G. Times Series Geo-Tools and Vessel Information analysis library. [Software] Release 1.2 , 07 February 2012.  
16De Faveri F. A Species Discovery Service plugin for the Ocean Bibliographic Information System. [Software] Release 1.3.0 , 30 November 2012.  
17De Faveri F., Lelii L. A parser for the SPQL language. [Software] Release 1.0.0 , 07 September 2012.  
18De Faveri F., Quevedo F. A user interface for the EUBrazil-OpenBio cross mapping service. [Software] Release 1.0.0 , 20 September 2012.  
19De Faveri F., Lelii L., Simeoni F. gCube Content management framework. [Software] Release 2.5.0 , 4 May 2012.  
20De Faveri F., Lelii L. gCube Tabular data framework. [Software] Release 1.0.0 , 18 October 2012.  
21De Faveri F., Lelii L., Coro G. gCube Time Series Environment. [Software] Release 3.4.0 , 18 October 2012.  
22De Faveri F. gCube Web application management environment. [Software] Release 1.1.0 , 17 February 2012.  
23De Faveri F., Mangiacrapa F., Gioia A. gCube Workspace environment. [Software] Release 5.3.0 , 30 November 2012.  
24De Faveri F., Marioli V. gCube tree Manager plugin for species discovery integration. [Software] Release 1.0.0 , 18 October 2012.  
25Diciotti R., Panichi G., Paterni M. PandAE - Presenze and assenze evolution. [Software] Release 1.0 , 31 March 2012.  
26Fortunati L. gCube SDMX Statistical Data Dissemination System. [Software] Release 1.0 , 5 December 2012.  
27Gioia A., Coro G. Statistical manager service. [Software] Release 1.1.0 , 12 December 2012.  
28Itria M. L., Nostro N., Martinucci M. Deper (Dependability and Performance Analyser). [Software] Release 1.0 , 11 December 2012.  
29Lelii L., De Faveri F. Species products discovery service. [Software] Release 1.4 , 10 December 2012.  
30Lucio L. gCube GBIF SPD plugin. [Software] Release 1.3 , 30 November 2012.
31Magni M., Lunghi G., Moroni D., Tampucci M., Salvetti O. ImageJ for XTF -- Open source software for processing XTF files. [Software] , 10 November 2012.  
32Manghi P., Artini M., Atzori C., Bardi A., La Bruzzo S. TagTick: tool for classification tagging of metadata records. [Software] , 30 November 2012.
33Mangiacrapa F., De Faveri F. gCube species products discovery Web application. [Software] Release 2.2.0 , 17 December 2012.  
34Marioli V. gCube Brazilian Flora SPD plugin. [Software] Release 1.3 , 30 November 2012.
35Marioli V. gCube speciesLink SPD plugin. [Software] Release 1.3 , 30 November 2012.
36Martinelli M., Moroni D., Salvetti O. ARGO Sentinel. [Software] Release 1.1.9 , 16 November 2012.  
37Pagano P., Zoppi F., Mulas D., Mameli F., Diciotti R., Volpini F., Pulcini J., Beltrame R., Fantini E. ExBox - Sistema Informativo di Istituto per la condivisione di dati fra Applicazioni. [Software] Release 1.0 , 15 October 2012.  
38Pagano P., Mameli F., Zoppi F. RedBox - Sistema di Gestione Progetti. [Software] Release 2.5.5 , 27 August 2012.  
39Valentina M. gCube Catalogue of Life SPD plugin. [Software] Release 1.3 , 30 November 2012.
40Valentina M. gCube IRMNG SPD plugin. [Software] Release 1.2 , 30 November 2012.
41Valentina M. gCube ITIS SPD plugin. [Software] Release 1.3 , 30 November 2012.
42Valentina M. gCube NCBI SPD plugin. [Software] Release 1.2 , 30 November 2012.
43Valentina M. gCube WoRMS SPD plugin. [Software] Release 1.3 , 30 November 2012.

Patents

   2012
1Coppini G., Favilla R., Marraccini P., Salvetti O., Moroni D., Pieri G. Method and system for determining the volume of epicardial fat from volumetric images, and corresponding computer program. Patent n. EP2618307. Registered in Italia on 2012.        
2Coppini G., Favilla R., Marraccini P., Salvetti O., Moroni D., Pieri G. Procedimento e sistema per la determinazione del volume di grasso cardiaco epicardico a partire da immagini volumetriche, e relativo programma per elaboratore. Patent n. TO2012A000030. Registered in TORINO on 2012.  

Dissertations

   2012
1Dinelli M. Algoritmi per l'object detection su dispositivi embedded. Università di Pisa. Thesis, 2012.  
2Lunghi G., Magni M. Un algoritmo di fusione di immagini ottiche e acustiche di interesse marino. Università di Pisa. Thesis, 2012.  

Abstracts

   2012
1Allegrini P., Paradisi P., Laurino M., Menicucci D., Piarulli A., Gemignani A. Sleep unconsciousness and the fragmentation of the global workspace. In: International Journal of Psychophysiology. Abstract, vol. 85 (3) pp. 332 - 333. 16th World Congress of Psychophysiology of the International Organization of Psychophysiology (IOP) Pisa, Italy September 13-17, 2012. Elsevier, 2012.        
2Anselmo L. Italian Space Agency - Space debris mitigation activities - delegation presentation. In: IADC-30 - 30th Inter-Agency Space Debris Coordination Committee Plenary Meeting (McGill University Campus, Montréal, Canada, 22-25 May 2012).   
3Anselmo L., Pardini C. Target selection for active debris removal. In: PRIN-IAC Workshop on active debris removal with hybrid propulsion (Dipartimento di Ingegneria Aerospaziale, Politecnico di Milano, 31 May 2012).   
4Assante M., Candela L., Castelli D., Pagano P. An environment supporting the production of live research objects. In: GL14 - Fourteenth International Conference on Grey Literature. Tracking Innovation through Grey Literature (Rome, 29-30 November 2012). Abstract, pp. 120 - 125. D.J. Farace, J. Frantzen, GreyNet (eds.). (GL-conference series, ISSN 1385-2308; No 14). TextRelease, Amsterdam, 2012.     
5Bardi A., La Bruzzo S., Manghi P. OAIZER Customized OAI-ORE and OAI-PMH exports of compound objects for the Fedora repository. In: GL14 - Fourteenth International Conference on Grey Literature. Tracking Innovation through Grey Literature (Roma, Italy, 29-30 November 2012). Abstract, pp. 21 - 26. D.J. Farace, J. Frantzen, GreyNet (eds.). (GL-conference series, ISSN 1385-2308; No 14). TextRelease, Amsterdam, 2012.     
6Bardi A., La Bruzzo S., Manghi P. OAIzer : customized OAI-ORE and OAI-PMH exports of compound objects for the Fedora repository. In: GL14 - Fourteenth International Conference on Grey Literature. Tracking Innovation through Grey Literature (Roma, 29-30 November 2012).   
7Batino S., Callieri M., Dellepiane M., Duranti D., Pingi P., Scopigno R., Siotto E. Virtual Reconstruction of an Etruscan Tomb. In: CHNT 17 - Conference on Cultural Heritage and New Technologies (Vienna (Austria), 5-7 novembre 2012). Abstract, pp. 1 - 1. Wolfgang Börner and Susanne Uhlirz (eds.). Museen der Stadt Wien - Stadtarchäologie, 2012.        
8Binante V., Girardi M., Lucchesi M., Padovani C., Pasquinelli G., Pellegrini D., Porcelli M. Progetto NOSA-ITACA - caso studio: il Voltone, piazza della Repubblica, Livorno. In: Salone dell'Arte e del Resaturo di Firenze (Firenze, 8-9-10 novembre 2012).   
9Brivio P., Tarini M., Cignoni P., Scopigno R. Joint interactive visualization of 3D models and pictures in walkable scenes. In: EG2012 - Eurographics 2012 (Cagliari, Italy, 13-18 maggio 2012). Abstract, pp. 35 - 37. Eurographics Association, 2012.        
10Brooks R., Graham N., Nichols J., Palanque P., Paternò F. Invited engineering community SIG: the role of engineering work in CHI. In: CHI EA '12 - 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts (Austin, Texas, USA, 5-10 May 2012). Abstract, pp. 1205 - 1208. ACM New York, NY, USA, 2012.        
11Bucchieri F., Cibella F., Cutitta G., Della Maggiore R., Melis M. R., Viegi G., La Gutta S. Effetti dell'inquinamento atmosferico urbano su sintomi e funzione respiratoria. In: XII CONGRESSO NAZIONALE UIP - XLI CONGRESSO NAZIONALE AIPO (Bologna, Italy, 30 novembre -3 dicembre 2011). Abstract, pp. 109 - 109. AIPO Ricerche, Milano, 2012.     
12Caminero Gil F. J., Paternò F., Vanderdonckt J. Context-aware adaptation of service front-ends. In: AmI 2012 - Ambient Intelligence. Third International Joint Conference (Pisa, Italy, 13-15 November 2012). Abstract, pp. 451 - 452. F. Paternò et al. (eds.). (Lecture Notes in Computer Science, vol. 7683). Springer, 2012.        
13Carboncini M. C., Barcaro U., Bonfiglio L., Magrini M., Rossi B., Salvetti O., Virgillito A. ERP responses to deviant three-chord musical cadences. In: International Journal of Psychophysiology. Abstract, vol. 85 (3) pp. 393 - 393. Special Issue: Proceedings of the 16TH World Congress Of Psychophysiology of the International Organization of Psychophysiology - IOP (Pisa, Italy, September 13-17, 2012). Elsevier, 2012.        
14Carlini E., Ricci L., Coppola M. Reducing Server Load in MMOG via P2P Gossip. In: NetGames 2012 - The 11th Annual Workshop on Network and Systems Support for Games (Venezia, 22-23 novembre 2012). Abstract, pp. 1 - 2. IEEE, 2012.     
15Castelli D. Experiments in Data/Publication Linking. In: International Collaboration on Research Data Infrastructure - ICORDI Project - Kick-off (Monaco (Germania), 25 Settembre 2012).   
16Castelli D. OpenAIRE's perspective and involvement in RDA. In: OpenAIRE Conference (Goettingen, Germany, 21-22 November 2012).   
17Castelli D., Manghi P. OpenAIRE/plus Technical Infrastructure. In: OpenAIRE GA - OpenAIRE General Assembly (Goettingen, 20 November 2012).   
18Castelli D. OpenAire: Open Access Infrastructure for Research in Europe. In: COAR - Confederation of Open Access Repositories. General Assembly (Uppsala, 22 May 2012).   
19Castelli D. Research in digital libraries and DL.org. In: LIDA 2012 - Panel "Can Research help Education in Digital Libraries?" Libraries in the Digital Age (Zadar, Croazia, 18-22 June 2012).   
20Castelli D., Ellebroek A., Taconet N., Pagano P. iMarine project. In: Marine Knowledge All Projects meeting (Brussels, 11-12 October 2012).   
21Colson B., Porcelli M., Toint P. L. Innovative multilevel techniques for structural optimization. In: SIMAI 2012 - Congresso Biennale SIMAI MiniSimposio: MSP - Large-Scale Numerical Linear Algebra And Optimization (Torino, 25-28 June 2012). Abstract, article n. MSP -019. SIMAI, 2012.  
22Coppini G., Favilla R., Marraccini P., Moroni D., Pieri G., Salvetti O. Computer technology for the quantification of pericardial fat assessed through cardiac CT. In: MIE2012 - 24th European Medical Informatics Conference (Pisa, 26-29 August 2012).   
23Coppini G., Favilla R., Moroni D., Salvetti O., D'Errico L., Salituri F., Ciardetti M., Schlueter M., Faggioni L., Coceani M., Mazzarisi A., Bianchi M., Bartolozzi C., Marraccini P. Epicardial fat volume assessment in cardiac CT. In: International Journal of Computer Assisted Radiology and Surgery. Abstract, vol. 7 (Supplement 1) pp. 40 - 40. Springer, 2012.  
24De Luca L., Maggi F., Tadini P., Pavarin D., Francesconi A., Branz F., Pardini C., Anselmo L., Chiesa S., Teofilatto P., Grassi M., Bonnal C., Trushlyakov V. Active space debris removal by hybrid rocket propulsion. In: 2nd European Workshop on Active Debris Removal (CNES HQ, Paris, France, 18-19 June 2012). Abstract, pp. 1 - 1. Fernand Alby, Christophe Bonnal (eds.). CNES (in electronic format), 2012.  
25Di Cesare R., Giannini S., Nobile M. Working for an open e-publishing service to improve GL editorial quality. In: GL14 - Fourteenth International Conference on Grey Literature. Tracking Innovation through Grey Literature (Rome, Italy, 29-30 November 2012). Abstract, pp. 145 - 149. D.J. Farace, J. Frantzen, GreyNet (eds.). (GL-conference series, ISSN 1385-2308, vol. 14). TextRelease, Amsterdam, 2012.        
26Di Marco A., Lonetti F., De Angelis G. Property-driven software engineering approach. In: ICST 2012 - Fifth International Conference on Software Testing, Verification and Validation (Montreal, Canada, 17-21 April 2012). Abstract, pp. 966 - 967. IEEE, 2012.        
27Luzi D., Ruggieri R., Biagioni S., Schiano E. Data sharing in environmental sciences: A survey of CNR researchers. In: GL 14 - GL14 Fourteenth International Conference on Grey Literature. Tracking Innovation through Grey Literature (Rome, Italy, 29-30 November 2012). Abstract, pp. 48 - 53. D.J. Farace, J. Frantzen, GreyNet (eds.). TextRelease, Amsterdam, 2012.        
28Magrini M., Barcaro U., Rossi B., Salvetti O., Virgillito A., Carboncini M. C. ERP elicited by deviant three-chord musical cadences. In: 8th FENS Forum of Neuroscience (Barcellona, 14-18 July 2012). Abstract, article n. D59. European Forum of Neuroscience, 2012.  
29Mambrini R., Cordiviola E., Magrini M., Martinelli M., Moroni D., Pieri G., Salvetti O. [Web and Automotive] shift into high gear on the Web - Intecs and ISTI-CNR position paper. In: W3C Web and Automotive Workshop (Rome, 1-15 November 2012). Abstract, article n. 28. W3C, 2012.     
30Manghi P., Bolikowski L., Manola N., Schirrwagen J., Rettberg N., Smith T. The OpenAIRE data infrastructure services on interlinking european institutional repositories, dataset archives, and CRIS systems. In: OR2012 - The 7th International Conference on Open Repositories (Edinburg, UK, 9-13 July 2012).      
31Nardini F. M., Albakour M., Adeyanju I., Kruschwitz U. Studying search shortcuts in a query log to improve retrieval over query sessions. In: SIR 2012 - International Workshop on Information Retrieval Over Query Sessions (co-located with the 34th European Conference on Information Retrieval (ECIR 2012)) (Barcellona, Spagna, 1-5 April 2012).   
32Pace G., Botarelli L., Bargagliotti S., Casa G., Costa S., Franchi L., La Monica D., Papa C., Allotta B., Cait A., Calabrò V., Cocco M., Gualdesi L., Munafò A., Colombo C., Salvetti O., Fanfani M., Martinelli M., Pascali M. A., Reggiannini M., Righi M., Tampucci M. Thesaurus project. Planning and Development of new aUVs for underwater archaeological research. In: EAA 2012 - European Association of Archaeologists. 18th Annual Meeting (Helsinki, Finland, 29 August - 1 September 2012). Abstract, pp. 299 - 299. EAA, 2012.     
33Pagano P. Defining the e-Infrastructure needs of european environmental research infrastructures. In: EGI Community Forum - EGI Community Forum (Munich, Germany, 26-30 March 2012). Abstract, pp. 14 - 14. EGI.eu, Amsterdam, 2012.     
34Pagano P. iMarine - a hybrid data infrastructure for an ecosystem approach to fisheries management and conservation of marine living resources. In: 3rd Marine Board Forum: new technologies for a blue future (Brussels, 18 April 2012). Abstract, article n. 10. Marine Board Secreteriat, 2012.     
35Pardini C. IADC Re-entry Test Campaigns 2011-2012: UARS, ROSAT and Phobos-Grunt. In: IADC-30 - 30th Inter-Agency Space Debris Coordination Committee Plenary Meeting (McGill University Campus, Montréal, Canada, 22-25 May 2012).   
36Porcelli M., Colson B., Toint P. L. Innovative multilevel techniques for structural optimization. In: SIMAI 2012 - Congresso Biennale SIMAI MiniSimposio: MSP - Large-Scale Numerical Linear Algebra And Optimization (Torino, 25-28 June 2012).   
37Rossi A., Marzari A., Scheeres D., Jacobson S. Effects of YORP-induced rotational fission on the asteroid size distribution at the small size end. In: 43rd Lunar and Planetary Science Conference (The Woddland, Texas (USA), 19-23 Marzo 2012). Abstract, pp. 2095 - 2095. Lunar and planetary Insitute, 2012.  
38Sebastiani F. Automated classification and quantification of verbatims via machine learning. In: International Conference of the Association for Survey Computing (London, UK, 25 September 2012).   
39Sebastiani F. Building automated text classifiers via machine learning. In: BCS IRSG / ISKO UK Workshop "I think, therefore I classify" (London, UK, July 16 2012).   
40Siotto E., Callieri M., Dellepiane M., Scopigno R. 3D model of the sarcophagus of Ulpia Domnina: rendering of stored ancient color and virtual revival of original polychromy. In: ASMOSIA X - International Conference ASMOSIA X (Rome (Italy), 21-26 May 2012). Abstract, p. 223. Patrizio Pensabene (ed.). Universita' di Roma "La Sapienza", 2012.     
41Ter Beek M. H. The Variability Model Checker VMC. In: iFM & ABZ 2012 - Joint 9th International Conference on Integrated Formal Methods and 3rd International Conference on ASM, Alloy, B, VDM, and Z (Pisa, Italy, 18-21 June 2012). Abstract, pp. 26 - 30. F. Mazzanti and G. Trentanni (eds.). ISTI-CNR, 2012.  
comments to webmaster