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

Pubblicazioni

2014 Elimina filtro

275 pubblicazioni

  • Danilo Pianini; Stefano Sebastio; Andrea Vandin, Distributed statistical analysis of complex systems modeled through a chemical metaphor, in: Proceedings of the 2014 International Conference on High Performance Computing and Simulation, HPCS 2014, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 416 - 423 (atti di: 2014 International Conference on High Performance Computing and Simulation, HPCS 2014, Bologna, 2014) [Contributo in Atti di convegno]

  • Danilo Pianini; Mirko Viroli; Franco Zambonelli; Alois Ferscha, HPC from a self-organisation perspective: The case of crowd steering at the urban scale, in: Proceedings of the 2014 International Conference on High Performance Computing and Simulation, HPCS 2014, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 460 - 467 (atti di: 2014 International Conference on High Performance Computing and Simulation, HPCS 2014, Bologna, 2014) [Contributo in Atti di convegno]

  • A. Bevan;B. Golob;T. Mannel;S. Prell;B. Yabsley;H. Aihara;F. Anulli;N. Arnaud;T. Aushev;M. Beneke;J. Beringer;F. Bianchi;I. Bigi;M. Bona;N. Brambilla;J. Brodzicka;P. Chang;M. Charles;C. Cheng;H. Cheng;R. Chistov;P. Colangelo;J. Coleman;A. Drutskoy;V. Druzhinin;S. Eidelman;G. Eigen;A. Eisner;R. Faccini;K. Flood;P. Gambino;A. Gaz;W. Gradl;H. Hayashii;T. Higuchi;W. Hulsbergen;T. Hurth;T. Iijima;R. Itoh;P. Jackson;R. Kass;Y. Kolomensky;E. Kou;P. Križan;A. Kronfeld;S. Kumano;Y. Kwon;T. Latham;D. Leith;V. Lüth;F. Martinez-Vidal;B. Meadows;R. Mussa;M. Nakao;S. Nishida;J. Ocariz;S. Olsen;P. Pakhlov;G. Pakhlova;A. Palano;A. Pich;S. Playfer;A. Poluektov;F. Porter;S. Robertson;J. Roney;A. Roodman;Y. Sakai;C. Schwanda;A. Schwartz;R. Seidl;S. Sekula;M. Steinhauser;K. Sumisawa;E. Swanson;F. Tackmann;K. Trabelsi;S. Uehara;S. Uno;R. v. de;G. Vasseur;W. Verkerke;R. Waldi;M. Wang;F. Wilson;J. Zupan;A. Zupanc;I. Adachi;J. Albert;S. Banerjee;M. Bellis;E. Ben-Haim;P. Biassoni;R. Cahn;C. Cartaro;J. Chauv, The Physics of the B Factories, «THE EUROPEAN PHYSICAL JOURNAL. C, PARTICLES AND FIELDS», 2014, 74, pp. 1 - 928 [Articolo in rivista]

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