Pubblicazioni

  • Chang, Morris; Leong, Hong Va; Bellavista, Paolo; Getov, Vladimir, Message from the MOWU Organizing Committee, Los Alamits, CA, IEEE Computer Society, 2016, pp. 2 . [Curatela]

  • Domeniconi, Giacomo; Moro, Gianluca; Pagliarani, Andrea; Pasolini, Roberto, Cross-domain sentiment classification via polarity-driven state transitions in a Markov model, in: Communications in Computer and Information Science, Berlin, Springer Verlag, 2016, pp. 118 - 138 [Capitolo/Saggio in libro]

  • Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide, Name-passing calculi: From fusions to preorders and types, «INFORMATION AND COMPUTATION», 2016, 251, pp. 335 - 360 [Articolo in rivista]

  • Sangiorgi, Davide; Vignudelli, Valeria, Environmental bisimulations for probabilistic higher-order languages, in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Association for Computing Machinery, 2016, 51, pp. 595 - 607 (atti di: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), St. Petersburg (USA), 20-22 Gennaio 2016) [Contributo in Atti di convegno] Open Access

  • Casadei, Roberto; Pianini, Danilo; Viroli, Mirko, Simulating large-scale aggregate MASs with alchemist and scala, in: Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, Institute of Electrical and Electronics Engineers Inc., 2016, 8, pp. 1495 - 1504 (atti di: 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, pol, 2016) [Contributo in Atti di convegno]

  • Casadei, Roberto; Viroli, Mirko, Towards aggregate programming in Scala, in: PMLDC '16 First Workshop on Programming Models and Languages for Distributed Computing, New York, NY, USA, Association for Computing Machinery, 2016, 17, pp. 1 - 7 (atti di: 1st Workshop on Programming Models and Languages for Distributed Computing, PMLDC 2016, ita, 2016) [Contributo in Atti di convegno]

  • Viroli, Mirko; Casadei, Roberto; Pianini, Danilo, On execution platforms for large-scale aggregate computing, in: UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, New York, NY, USA, Association for Computing Machinery, Inc, 2016, pp. 1321 - 1326 (atti di: 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp 2016, Heidelberg, Germany, 2016) [Contributo in Atti di convegno]

  • Beal, Jacob; Viroli, Mirko; Pianini, Danilo; Damiani, Ferruccio, Self-Adaptation to Device Distribution Changes, in: Proceedings - IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016, Los Alamitos, CA, USA, IEEE, 2016, pp. 60 - 69 (atti di: 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016, Augsburg, Germany, 2016) [Contributo in Atti di convegno]

  • Nanni, Loris; Lumini, Alessandra; Minto, Ludovico; Zanuttigh, Pietro, Face Detection Coupling Texture, Color and Depth Data, in: Advances in Face Detection and Facial Image Analysis, geneve, Springer International Publishing, 2016, pp. 13 - 33 [Capitolo/Saggio in libro]

  • Nanni, Loris; Costa, Yandre M.G.; Lumini, Alessandra; Kim, Moo Young; Baek, Seung Ryul, Combining visual and acoustic features for music genre classification, «EXPERT SYSTEMS WITH APPLICATIONS», 2016, 45, pp. 108 - 117 [Articolo in rivista]

  • Lumini, Alessandra; Nanni, Loris; Brahnam, Sheryl, Multilayer descriptors for medical image classification, «COMPUTERS IN BIOLOGY AND MEDICINE», 2016, 72, pp. 239 - 247 [Articolo in rivista]

  • Nanni, Loris; Lumini, Alessandra; Brahnam, Sheryl, Weighted Reward-Punishment Editing, «PATTERN RECOGNITION LETTERS», 2016, 75, pp. 48 - 54 [Articolo in rivista]

  • Nanni, Loris; Lumini, Alessandra; dos Santos, Florentino Luciano Caetano; Paci, Michelangelo; Hyttinen, Jari, Ensembles of dense and dense sampling descriptors for the HEp-2 cells classification problem, «PATTERN RECOGNITION LETTERS», 2016, 82, pp. 28 - 35 [Articolo in rivista]

  • Bovo, Samuele; Di Lena, Pietro; Martelli, Pier Luigi; Fariselli, Piero; Casadio, Rita, NET-GE: a web-server for NETwork-based human gene enrichment, «BIOINFORMATICS», 2016, 32, pp. 3489 - 3491 [Articolo in rivista] Open Access

  • Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Casadei, Roberto, Run-Time management of computation domains in field calculus, in: Proceedings - IEEE 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016, Los Alamitos, CA, USA, IEEE, 2016, pp. 192 - 197 (atti di: 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016, Augsburg, Germany, 2016) [Contributo in Atti di convegno]

  • Pianini, Danilo; Beal, Jacob; Viroli, Mirko, Improving gossip dynamics through overlapping replicates, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Heildebeld, Germany, Springer Verlag, 2016, 9686, pp. 192 - 207 (atti di: 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, 2016) [Contributo in Atti di convegno]

  • Dobson, Simon; Viroli, Mirko; Fernandez Marquez, Jose Luis; Zambonelli, Franco; Stevenson, Graeme; Di Marzo Serugendo, Giovanna; Montagna, Sara; Pianini, Danilo; Juan, Ye; Castelli, Gabriella; Rosi, Alberto, Spatial awareness in pervasive ecosystems, «KNOWLEDGE ENGINEERING REVIEW», 2016, 31, pp. 343 - 366 [Articolo in rivista]

  • Guidi, Ferruccio; Sacerdoti Coen, Claudio, A Survey on Retrieval of Mathematical Knowledge, «MATHEMATICS IN COMPUTER SCIENCE», 2016, 10, pp. 409 - 427 [Articolo in rivista]

  • Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael, A framework for deadlock detection in core ABS, «SOFTWARE AND SYSTEMS MODELING», 2016, 15, pp. 1013 - 1048 [Articolo in rivista] Open Access

  • Giachino, Elena; Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo, Actors may synchronize, safely!, in: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016, Association for Computing Machinery, Inc, 2016, pp. 118 - 131 (atti di: 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016, Edinburgh, Scotland, September 05-07, 2016) [Contributo in Atti di convegno]