Pubblicazioni

S. Mattoccia; I. Marchio; M. Casadio, A Compact 3D Camera Suited for Mobile and Embedded Vision Applications, in: 2014 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, Piscataway, IEEE Computer Society, 2014, 1, pp. 195 - 196 (atti di: The Fourth IEEE Workshop on Mobile Vision, Columbus, OH, USA, 23/06/2014) [Contributo in Atti di convegno]

Elena Giachino;Cosimo Laneve, Deadlock Detection in Linear Recursive Programs, in: Formal Methods for Executable Software Models, Berlin, Springer, 2014, pp. 26 - 64 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

E. Giachino;C. Laneve, Towards the Typing of Resource Deployment, in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8803, pp. 88 - 103 (atti di: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Imperial, Corfu; Greece, OCT 08-11, 2014) [Contributo in Atti di convegno]

Elena Giachino;Naoki Kobayashi;Cosimo Laneve, Deadlock Analysis of Unbounded Process Networks, in: CONCUR 2014, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8704, pp. 63 - 77 (atti di: CONCUR 2014, Rome, Italy, September 2-5, 2014) [Contributo in Atti di convegno]

Catia Prandi, Accessibility and Smart Data: the Case Study of mPASS, in: Proceedings of the 11th Web for All Conference on - W4A '14, ACM, Association for Computing Machinery, 2014, pp. 1 - 2 (atti di: 11th Web for All Conference, Seoul, Korea, 7-9 April 2014) [Contributo in Atti di convegno]

F. Vitali; A. Amoroso; M. Roccetti; G. Marfia, RESTful services for an innovative e-Health infrastructure: A real case study, in: Proceedings of 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom), Piscataway, NJ, IEEE Communications Society, 2014, pp. 188 - 193 (atti di: 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom), Natal, Brazil, October 2014) [Contributo in Atti di convegno]

Andrea Asperti; Wilmer Ricciotti; Claudio Sacerdoti Coen, Matita Tutorial, «JOURNAL OF FORMALIZED REASONING», 2014, 7, pp. 91 - 199 [Articolo in rivista]

Roccetti, Marco; Marfia, Gustavo; ROVERSI MONACO, FABIO ALBERTO; Varni, Angelo; Zanichelli, Marco, Telling the Story: An Interactive Multimedia Exhibit Narrating the 900 Years of the Alma Mater, in: Proceedings of 20th European Concurrent Engineering Conference 2014, ECEC 2014 - 10th Future Business Technology Conference, FUBUTEC 2014, Ghent, EUROSIS, 2014, pp. 5 - 9 (atti di: 20th European Concurrent Engineering Conference 2014, ECEC 2014 - 10th Future Business Technology Conference, FUBUTEC 2014, Bruges, Belgio, 28-30 April 2014) [Contributo in Atti di convegno]

Marco Prandini; Laura Sartori; Anne-Marie Oostveen, Why Electronic Voting?, in: Proceedings of the International Conference for E-Democracy and Open Government - Asia 2014, Krems, Edition Donau-Universität Krems, 2014, pp. 283 - 289 (atti di: CeDEM Asia 2014 - International Conference for E-Democracy and Open Government, Hong Kong SAR, Cina, 4-6 dicembre 2014) [Contributo in Atti di convegno]

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]

Ilaria Bartolini; Paolo Ciaccia; Marco Patella, Domination in the Probabilistic World: Computing Skylines for Arbitrary Correlations and Ranking Semantics, «ACM TRANSACTIONS ON DATABASE SYSTEMS», 2014, 39, pp. 14:1 - 14:45 [Articolo in rivista]

ROBERTO AMADINI;MAURIZIO GABBRIELLI;JACOPO MAURO, SUNNY: a Lazy Portfolio Approach for Constraint Solving, «THEORY AND PRACTICE OF LOGIC PROGRAMMING», 2014, 14, pp. 509 - 524 [Articolo in rivista]

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]

Mattoccia, Stefano, Stereo vision algorithms suited to constrained FPGA cameras, in: Advances in Embedded Computer Vision Part of the series Advances in Computer Vision and Pattern Recognition, Gewerbestrasse 11 CH-6330 Cham (ZG), Springer International Publishing, 2014, pp. 109 - 134 [Capitolo/Saggio in libro]

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]