Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

2014 Elimina filtro
Contributo in atti di convegno Elimina filtro

160 pubblicazioni

  • Franco Callegati; Aldo Campi; Marco Prandini; Bendert Zevenbergen, PRIVACY ISSUES IN A CLEARING SYSTEM FOR A REGIONAL-SCALE PUBLIC TRANSPORT NETWORK, in: Proceedings of the 5th INTERNATIONAL CONFERENCE ON INTERNET TECHNOLOGIES & SOCIETY, IADIS Press, 2014, pp. 11 - 22 (atti di: ITS 2014 - 5th INTERNATIONAL CONFERENCE ON INTERNET TECHNOLOGIES & SOCIETY, NEW TAIPEI CITY, TAIWAN, 10-12 dicembre 2014) [Contributo in Atti di convegno]

  • Marco Prandini; Laura Sartori, RESEARCH DIRECTIONS IN E-VOTING, in: PROCEEDINGS OF THE 5th INTERNATIONAL CONFERENCE ON INTERNET TECHNOLOGIES & SOCIETY, IADIS Press, 2014, pp. 109 - 113 (atti di: ITS 2014 - 5th INTERNATIONAL CONFERENCE ON INTERNET TECHNOLOGIES & SOCIETY, NEW TAIPEI CITY; TAIWAN, 10-12 dicembre 2014) [Contributo in Atti di convegno]

  • Monica Palmirani; Fabio Vitali; Albano Bernasconi; Luca Gambazzi, Swiss Federal Publication Workflow with Akoma Ntoso, in: Legal Knowledge and Information Systems, Amsterdam, IOS Press, 2014, 271, pp. 179 - 184 (atti di: JURIX2014: Legal Knowledge and Information System, Krakow, December 10-12, 2014) [Contributo in Atti di convegno]

  • I. Bartolini; V. Moscato; R.G. Pensa; A. Penta; A. Picariello; C. Sansone; M.L. Sapino, A Framework for Recommending Multimedia Cultural Visiting Paths, in: Proceedings of the 22nd Italian Symposium on Advanced Database Systems (SEBD 2014), Arcavacata di Rende (CS), Universita Reggio Calabria and Centro di Competenza (ICT-SUD), 2014, 109101, pp. 311 - 318 (atti di: 22nd Italian Symposium on Advanced Database Systems (SEBD 2014), Sorrento Coast, Italy, June 16-18) [Contributo in Atti di convegno]

  • C. Bessiere; E. Hebrard; G. Katsirelos; Z. Kiziltan; E. Picard-Cantin; C.-G. Quimper; T. Walsh, The Balance Constraint Family, in: Proceedings of the 20th International Conference on Principles and Practice of Constraint Programming (CP’14), Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8656, pp. 174 - 189 (atti di: The 20th International Conference on Principles and Practice of Constraint Programming (CP’14), Lyon, France, 8-12 September, 2014) [Contributo in Atti di convegno]

  • C. Bessiere; E. Hebrard; G. Katsirelos; Z. Kiziltan; N. Narodytska; T. Walsh, Reasoning about Constraint Models, in: Proceedings of the 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI’14): Trends in Artificial Intelligence), Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8862, pp. 795 - 808 (atti di: The 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI’14): Trends in Artificial Intelligence), Gold Coast, QLD, Australia, December 1-5, 2014) [Contributo in Atti di convegno]

  • S. Mattoccia; P. Macrì; G. Parmigiani; G. Rizza, A compact, lightweight and energy efficient system for autonomous navigation based on 3D vision, in: Mechatronic and Embedded Systems and Applications (MESA), 2014 IEEE/ASME 10th International Conference on, IEEE, 2014, pp. 1 - 6 (atti di: Mechatronic and Embedded Systems and Applications (MESA), 2014 IEEE/ASME 10th International Conference on, Senigallia, 10-12 Sept. 2014) [Contributo in Atti di convegno]

  • Mattoccia, S.; Macri, P., A real time 3D sensor for smart cameras, in: Proceeding ICDSC '14 Proceedings of the International Conference on Distributed Smart Cameras, ACM, 2014, pp. 1 - 6 (atti di: International Conference on Distributed Smart Cameras", Venice, Italy, Nov. 4-7, 2014) [Contributo in Atti di convegno]

  • Muscoloni, A.; Mattoccia, S., Real-time tracking with an embedded 3D camera with FPGA processing, in: 3D Imaging (IC3D), 2014 International Conference on, IEEE, 2014, pp. 1 - 7 (atti di: 3D Imaging (IC3D), 2014 International Conference on, Liege, 9-10 Dec 2014) [Contributo in Atti di convegno]

  • Sharma, R.; Magnani, M.; Montesi, D., Missing data in multiplex networks: A preliminary study, in: Complex Systems, 2014, pp. 401 - 407 (atti di: International Conference on Signal-Image Technology and Internet-Based Systems, Marrkech, 23-27/11/2014) [Contributo in Atti di convegno]

  • Rossi, Davide; Loi, Igor; Conti, Francesco.; Tagliavini, Giuseppe; Pullini, Antonio.; Marongiu, Andrea, Energy efficient parallel computing on the PULP platform with support for OpenMP, in: Proceedings of 2014 IEEE 28th Convention of Electrical & Electronics Engineers in Israel (IEEEI), IEEE, 2014, pp. 1 - 5 (atti di: 2014 IEEE 28th Convention of Electrical & Electronics Engineers in Israel (IEEEI), Eilat (Israele), 3-5 Dec. 2014) [Contributo in Atti di convegno]

  • Reale, Andrea; Bellavista, Paolo; Corradi, Antonio; Milano, Michela, Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing, in: Integration of AI and OR Techniques in Constraint Programming, 2014, 8451, pp. 193 - 209 (atti di: 11th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR), Cork, Ireland, May 19-23, 2014) [Contributo in Atti di convegno]

  • Prandi, Catia; Salomoni, Paola; Mirri, Silvia, mPASS: Integrating people sensing and crowdsourcing to map urban accessibility, in: Consumer Communications and Networking Conference (CCNC), 2014 IEEE 11th, 2014, pp. 591 - 595 (atti di: Consumer Communications and Networking Conference (CCNC), 2014 IEEE 11th, Las Vegas (Nevada - USA), 10-13 January 2014) [Contributo in Atti di convegno]

  • Mirri, S.; Prandi, C.; Salomoni, P., A context-aware system for personalized and accessible pedestrian paths, in: High Performance Computing & Simulation (HPCS), 2014 International Conference on, IEEE, 2014, pp. 833 - 840 (atti di: High Performance Computing & Simulation (HPCS), 2014 International Conference on, Bologna (Italy), 21-25 July 2014) [Contributo in Atti di convegno]

  • Dal Lago, U.; Sangiorgi, D.; Alberti, M., On coinductive equivalences for higher-order probabilistic functional programs, in: Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, 2014, pp. 297 - 308 (atti di: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, San Diego, California, USA, January 22-24, 2014) [Contributo in Atti di convegno]

  • Accattoli, B.; Sacerdoti Coen, C., On the value of variables, in: Logic, Language, Information and Computation, Berlin, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8652 LNCS, pp. 36 - 50 (atti di: 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, Valparaiso, Chile, 01-04/09/2014) [Contributo in Atti di convegno]

  • Boender, J.; Sacerdoti Coen, C., On the correctness of a branch displacement algorithm, in: Tools and Algorithms for the Construction and Analysis of Systems, Berlin, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8413 LNCS, pp. 605 - 619 (atti di: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, 5-13/04/2014) [Contributo in Atti di convegno]

  • Bravetti, M.; Zavattaro, G., Choreographies and behavioural contracts on the way to dynamic updates, in: Proceedings First Workshop on Logics and Model-checking for Self-*Systems, MOD* 2014, 2014, 168, pp. 12 - 31 (atti di: First Workshop on Logics and Model-checking for Self-*Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014) [Contributo in Atti di convegno]

  • Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker; Zavattaro, Gianluigi, Fault Model Design Space for Cooperative Concurrency, in: Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - ISoLA 2014, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8803, pp. 22 - 36 (atti di: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - ISoLA 2014, Corfu, Greece, October 8-11, 2014) [Contributo in Atti di convegno]

  • Mirri, Silvia; Prandi, Catia; Salomoni, Paola; Callegati, Franco; Campi, Aldo, On combining crowdsourcing, sensing and open data for an accessible smart city, in: Proceedings - 2014 8th International Conference on Next Generation Mobile Applications, Services and Technologies, NGMAST 2014, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 294 - 299 (atti di: 8th International Conference on Next Generation Mobile Applications, Services and Technologies, NGMAST 2014, St. Anthony's College of the University of Oxford, gbr, 2014) [Contributo in Atti di convegno]