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

Pubblicazioni

2012 Elimina filtro

299 pubblicazioni

  • D. Maltoni; E.M. Rehn, Incremental Learning by Message Passing in Hierarchical Temporal Memory, in: Artificial Neural Networks in Pattern Recognition, Berlin, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2012, pp. 24 - 35 (atti di: 5th Workshop on Artificial Neural Networks in Pattern Recognition (ANNPR12), Trento (Italy), 17/09/2012) [Contributo in Atti di convegno]

  • Franco Callegati; Aldo Campi; Walter Cerroni; Giovanni Pau; Mario Gerla, Automated Configuration of Vehicular Communication Services2012 International Conference on Connected Vehicles and Expo (ICCVE), in: 2012 International Conference on Connected Vehicles and Expo (ICCVE), 2012 IEEE, 2012, pp. 128 - 129 (atti di: The 1st International Conference on Connected Vehicles & Expo, Beijing, 12-16/12/2012) [Riassunto (Abstract)]

  • Ken-ichi Kitayama;Franco Callegati;Masahiko Jinno, Optical Switching and Networking: Special Issue of ONDM 2010, «OPTICAL SWITCHING AND NETWORKING», 2012, 9, pp. 224 - 224 [Replica/breve intervento (e simili)]

  • M. Gharbaoui; B. Martini; W. Cerroni; P. Castoldi; F. Callegati, Network resource allocation in data center interconnection with anycast service provisioning, in: 2012 IEEE Global Communications Conference (GLOBECOM 2012), Piscataway, NJ, IEEE, «GLOBECOM», 2012, pp. 2511 - 2516 (atti di: 2012 IEEE Global Communications Conference (Globecom 2012), Anaheim, CA, USA, 3-7 Dec. 2012) [Contributo in Atti di convegno]

  • Daniel Hirschkoff;Jean-Marie Madiot;Davide Sangiorgi, Duality and i/o-Types in the π-Calculus, in: CONCUR 2012 –Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012: Proceedings, Berlino, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7454, pp. 302 - 316 (atti di: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012) [Contributo in Atti di convegno]

  • Marfia; G.; Roccetti; M.; Marcomini; A.; Bertuccioli; C.; Matteucci; G., Reframing haute couture handcraftship: How to preserve artisans' abilities with gesture recognition, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - LNCS 7624, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, pp. 437 - 444 (atti di: 9th International Conference on Advances in Computer Entertainment, ACE 2012, Kathmandu; Nepal;, November 2012) [Contributo in Atti di convegno]

  • M. Bravetti;C. D. Giusto;J. A. Perez;G. Zavattaro, Adaptable processes, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8, pp. 1 - 71 [Articolo in rivista]

  • Giorgio Delzanno;Gianluigi Zavattaro, Reachability problems in BioAmbients, «THEORETICAL COMPUTER SCIENCE», 2012, 431, pp. 56 - 74 [Articolo in rivista]

  • Cristian Versari;Gianluigi Zavattaro, Complex Functional Rates in Rule-Based Languages for Biochemistry, «TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY», 2012, 7625, pp. 123 - 150 [Articolo in rivista]

  • Frank S. Boer;Mahdi M. Jaghoori;Cosimo Laneve;Gianluigi Zavattaro, Decidability Problems for Actor Systems, in: Proceedings of CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7454, pp. 562 - 577 (atti di: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012) [Contributo in Atti di convegno]

  • Mario Bravetti;Cinzia Giusto;Jorge A. Pérez;Gianluigi Zavattaro, Towards the Verification of Adaptable Processes, in: Proceedings of Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, part I, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7609, pp. 269 - 283 (atti di: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012) [Contributo in Atti di convegno]

  • Roberto Cosmo;Stefano Zacchiroli;Gianluigi Zavattaro, Towards a Formal Component Model for the Cloud, in: Proceedings of Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7504, pp. 156 - 171 (atti di: Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012) [Contributo in Atti di convegno]

  • G. Delzanno;A. Sangnier;R. Traverso;G. Zavattaro, On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks, in: Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, Dagstuhl, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2012, 18, pp. 289 - 300 (atti di: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, Hyderabad, India, December 15-17, 2012) [Contributo in Atti di convegno]

  • Paolo Bellavista; Veronica Conti; Carlo Giannelli; Jukka Honkola, The Smart-M3 Semantic Information Broker (SIB) plug-in extension: Implementation and evaluation experiences, in: Proceedings - 2012 IEEE Int. Conf. on Green Computing and Communications, GreenCom 2012, Conf. on Internet of Things, iThings 2012 and Conf. on Cyber, Physical and Social Computing, CPSCom 2012, 2012, pp. 704 - 711 (atti di: SN4MS CPSCom, Besancon, Francia, Novembre 2012) [Contributo in Atti di convegno]

  • Cristian Borcea; Paolo Bellavista; Carlo Giannelli; Thomas Magedanz; Florian Schreiner, Mobile Wireless Middleware, Operating Systems, and Applications, Berlin, Springer, 2012, pp. 265 (LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING). [Curatela]

  • I. Bartolini; M. Patella, Gestione Dati Multimediali: Modelli, Indici, Interfacce, Applicazioni, in: Patrimonio virtuale - Tecnologie e modelli per la valorizzazione e la comunicazione dei beni culturali, Napoli, ScriptaWeb, 2012, pp. 355 - 370 [Capitolo/Saggio in libro]

  • Ornela Dardha;Elena Giachino;Davide Sangiorgi, Session types revisited, in: Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12, ACM, 2012, pp. 139 - 150 (atti di: Symposium on Principles and practice of declarative programming, Leuven, September 19 - 21, 2012) [Contributo in Atti di convegno]

  • Davide Sangiorgi, Concurrency theory: timed automata, testing, program synthesis, «DISTRIBUTED COMPUTING», 2012, 25, pp. 3 - 4 [Abstract in rivista]

  • Pietro Di Lena; Luciano Margara, On the Undecidability of Attractor Properties for Cellular Automata, «FUNDAMENTA INFORMATICAE», 2012, 115, pp. 75 - 85 [Articolo in rivista]

  • Davide Sangiorgi;Jan Rutten, Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 340 . [Curatela]