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

Pubblicazioni

2020 Elimina filtro
Contributo in atti di convegno Elimina filtro

199 pubblicazioni

  • Ciancarini P.; Masyagin S.; Succi G., Software design as story telling: Reflecting on the work of Italo Calvino, in: SPLASH 2020 - Onward! Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,, Association for Computing Machinery, Inc, 2020, pp. 195 - 208 (atti di: 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! SPLASH 2020, usa, 18 - 20 November 2020) [Contributo in Atti di convegno] Open Access

  • Adele Veschetti, Cosimo Laneve, A Formal Analysis of the Bitcoin Protocol, in: F. de Boer, J. Mauro, Recent Developments in the Design and Implementation of Programming Languages, Schloss Dagstuhl--Leibniz-Zentrum fur Informatik, «OPEN ACCESS SERIES IN INFORMATICS», 2020, 86, pp. 1 - 17 (atti di: Recent Developments in the Design and Implementation of Programming Languages, ONLINE, 27/11/2020) [Contributo in Atti di convegno] Open Access

  • Barthe G.; Crubille R.; Dal Lago U.; Gavazzo F., On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem, in: Programming Languages and Systems. 29th European Symposium on Programming, ESOP 2020., Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12075, pp. 56 - 83 (atti di: 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, irl, 2020) [Contributo in Atti di convegno] Open Access

  • Cristiani Davide; Bottonelli Filippo; Trotta A.; Di Felice M., Inventory Management through Mini-Drones: Architecture and Proof-of-Concept Implementation, in: Proceedings - 21st IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2020, Institute of Electrical and Electronics Engineers Inc., 2020, pp. 317 - 322 (atti di: 21st IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2020, irl, 2020) [Contributo in Atti di convegno]

  • Sciullo L.; Montori F.; Trotta A.; Di Felice M.; Cinotti T.S., Discovering Web Things as Services within the Arrowhead Framework, in: Proceedings - 2020 IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020, Institute of Electrical and Electronics Engineers Inc., 2020, 2020, pp. 571 - 576 (atti di: 3rd IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020, Tampere, Finland, 2020) [Contributo in Atti di convegno] Open Access

  • Trotta A.; Di Felice M.; Bononi L.; Perilli L.; Scarselli Eleonora Franchi; Cinotti T.S., Throughput Enhancement in UAV-aided Wireless Sensor Networks via Wake-Up Radio Technology and Priority-based MAC Scheme, in: IEEE World Forum on Internet of Things, WF-IoT 2020 - Symposium Proceedings, Institute of Electrical and Electronics Engineers Inc., 2020, pp. 1 - 6 (atti di: 6th IEEE World Forum on Internet of Things, WF-IoT 2020, usa, 2020) [Contributo in Atti di convegno]

  • Ciancarini, Paolo; Missiroli, Marcello; Russo, Daniel, A Study of Cooperative Thinking, in: Frontiers in Software Engineering Education, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12271, pp. 279 - 292 (atti di: Frontiers in Software Engineering Education, Innopolis, Russia, 2019) [Contributo in Atti di convegno]

  • Silvestri M.; Lombardi M.; Milano M., Injecting domain knowledge in neural networks: A controlled experiment on a constrained problem, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2020, 2659, pp. 52 - 58 (atti di: 1st International Workshop on New Foundations for Human-Centered AI, NeHuAI 2020, Santiago de Compostella, Spain, September 4, 2020) [Contributo in Atti di convegno] Open Access

  • Detassis F.; Lombardi M.; Milano M., Teaching the old dog new tricks: Supervised learning with constraints, in: CEUR Workshop Proceedings, Aachen, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2020, 2659, pp. 44 - 51 (atti di: 1st International Workshop on New Foundations for Human-Centered AI, NeHuAI 2020, esp, 2020) [Contributo in Atti di convegno] Open Access

  • Andrea Borghesi, Federico Baldo, Michele Lombardi, Michela Milano, Injective Domain Knowledge in Neural Networks for Transprecision Computing, in: Machine Learning, Optimization, and Data Science. LOD 2020, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12565, pp. 587 - 600 (atti di: The Sixth International Conference on Machine Learning, Optimization, and Data Science, Siena, July 19-23, 2020) [Contributo in Atti di convegno] Open Access

  • Simoncini M.; De Andrade D.C.; Salti S.; Taccari L.; Schoen F.; Sambo F., Two-stream neural architecture for unsafe maneuvers classification from dashcam videos and GPS/IMU sensors, in: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems, ITSC 2020, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS», 2020, pp. 1 - 6 (atti di: 23rd IEEE International Conference on Intelligent Transportation Systems, ITSC 2020, Rhodes, Greece, 20-23 Sept. 2020) [Contributo in Atti di convegno]

  • Riccardo Spezialetti, Federico Stella, Marlon Marcon, Luciano Silva, Samuele Salti, Luigi Di Stefano, Learning to Orient Surfaces by Self-supervised Spherical CNNs, in: Advances in Neural Information Processing Systems 33 (NeurIPS 2020), «ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS», 2020, pp. 1 - 12 (atti di: Advances in Neural Information Processing Systems (NeurIPS 2020), Virtual Conference, 06-12 December 2020) [Contributo in Atti di convegno]

  • Mattia Barbaresi, Stefano Bernagozzi, Andrea Roli, Robot Choreographies: Artificial Evolution between Novelty and Similarity, in: Artificial Intelligence and Robotics 2020, «CEUR WORKSHOP PROCEEDINGS», 2020, pp. 17 - 21 (atti di: AIRO 2020, The 7th Italian Workshop on Artificial Intelligence and Robotics, Online, on November 25th-27th, 2020) [Contributo in Atti di convegno] Open Access

  • Pierluigi Zama Ramirez; Claudio Paternesi; Luigi Di Lella; Daniele De Gregorio; Luigi Di Stefano, Shooting Labels: 3D Semantic Labeling by Virtual Reality, in: 2020 IEEE International Conference on Artificial Intelligence and Virtual Reality, AIVR 2020, Institute of Electrical and Electronics Engineers Inc., «...IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND VIRTUAL REALITY», 2020, pp. 99 - 106 (atti di: 3rd IEEE International Conference on Artificial Intelligence and Virtual Reality, AIVR 2020, Utrecht, Netherlands, 14-18 December 2020) [Contributo in Atti di convegno] Open Access

  • Cantelli-Forti A.; Colajanni M., Digital Forensics in Vessel Transportation Systems, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2020, 12056, pp. 354 - 362 (atti di: 12th International Symposium on Foundations and Practice of Security, FPS 2019, fra, 2019) [Contributo in Atti di convegno]

  • Barbanera F.; Lanese I.; Tuosto E., Composing Communicating Systems, Synchronously, in: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. ISoLA 2020., Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12476, pp. 39 - 59 (atti di: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, Greece, 2020) [Contributo in Atti di convegno] Open Access

  • Pierpaolo Palumbo, Luca Cattelani, Federica Fusco, Mirjam Pijnappels, Lorenzo Chiari, Federico Chesani, Sabato Mellone, A recommender system for behavioral change in 60-70-year-old adults, in: Artificial Intelligence for an Ageing Society: Conference Proceedings, Aachen, CEUR-WS, 2020, 2804, pp. 69 - 80 (atti di: Italian Workshop on Artificial Intelligence for an Ageing Society : AIxAS 2020, Virtual / On line, 25-27 Nov 2020) [Contributo in Atti di convegno] Open Access

  • Corradi A.; Di Modica G.; Evangelisti L.; Fiorini A.; Foschini L.; Zerbini L., HS-AUTOFIT: A highly scalable AUTOFIT application for Cloud and HPC environments, in: 2020 IEEE Symposium on Computers and Communications (ISCC), Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS», 2020, 2020, pp. 1 - 6 (atti di: IEEE Symposium on Computers and Communications, ISCC 2020, fra, 2020) [Contributo in Atti di convegno] Open Access

  • A. Sabbioni, A. Bujari, L. Foschini, A. Corradi, An Efficient and Reliable Multi-Cloud Provider Monitoring Solution, in: GLOBECOM 2020 - 2020 IEEE Global Communications Conference, «... IEEE GLOBAL COMMUNICATIONS CONFERENCE», 2020, pp. 1 - 6 (atti di: IEEE Global Communications Conference, Taipei, Taiwan, Online, 7-11 Dec. 2020) [Contributo in Atti di convegno] Open Access

  • Barsocchi, Paolo; Chessa, Stefano; Foschini, Luca; Belli, Dimitri; Girolami, Michele, Impact of Evolutionary Community Detection Algorithms for Edge Selection Strategies, in: GLOBECOM 2020 - 2020 IEEE Global Communications Conference, «... IEEE GLOBAL COMMUNICATIONS CONFERENCE», 2020, pp. 1 - 6 (atti di: IEEE Global Communications Conference, GLOBECOM 2020, Taipei, Taiwan, 7-11 December 2020) [Contributo in Atti di convegno] Open Access