Pubblicazioni

  • M. Ferrara, A. Franco, D. Maltoni, Decoupling texture blending and shape warping in face morphing, in: International Conference of the Biometrics Special Interest Group (BIOSIG), 2019, 2019, pp. 1 - 6 (atti di: International Conference of the Biometrics Special Interest Group (BIOSIG), Darmstadt, Germany, September 2019) [Contributo in Atti di convegno]

  • C. Busch, S. Caillebotte, U. Seidel, F. Knopjes, D. Maltoni, M. Ferrara, R.J. Veldhuis, L. Spreeuwers, K. Raja, R. Raghavendra, M. Gomez-Barrero and C. Rathgeb, Face Morphing Attacks: What needs to be done, in: International Conference on Biometrics for Borders (ICBB), 2019, pp. 1 - 6 (atti di: International Conference on Biometrics for Borders (ICBB), Varsaw, Poland, October 2019) [Contributo in Atti di convegno]

  • Elena Loli Piccolomini, Stefano Gandolfi, Luca Poluzzi, Luca Tavasci, Pasquale Cascarano, Andrea Pascucci, Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction, in: 26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2019, 147, pp. 1 - 12 (atti di: 26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Malaga, 16-19 October 2019) [Contributo in Atti di convegno]

  • Roccetti, M., Delnevo, G., Casini, L., Zagni, N., Cappiello, G., A paradox in ML design: Less data for a smarter water metering cognification experience, in: ACM International Conference Proceeding Series, Nw York, ACM, 2019, pp. 201 - 206 (atti di: 5th EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2019, Valencia, Spain, 25 - 27 September 2019) [Contributo in Atti di convegno]

  • Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele, On the Prediction of Smart Contracts’ Behaviours, in: From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11865, pp. 397 - 415 (atti di: Collquium in honour of Stefania Gnesi, Porto, 08/10/2019) [Contributo in Atti di convegno] Open Access

  • Tagliavini G.; MacH S.; Rossi D.; Marongiu A.; Benini L., Design and Evaluation of SmallFloat SIMD extensions to the RISC-V ISA, in: Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition (DATE), Institute of Electrical and Electronics Engineers Inc. (IEEE), 2019, pp. 654 - 657 (atti di: 22nd Design, Automation and Test in Europe Conference and Exhibition, DATE 2019, Firenze, Italy, 25 – 29 March 2019) [Contributo in Atti di convegno] Open Access

  • Casini, L., Delnevo, G., Mirri, S., Monti, L, Prandi, C., Roccetti, M., Salomoni, P., What do patients tell doctors on the internet? ask AI how to valorize online medical conversations, in: Proceedings - International Conference on Computer Communications and Networks, ICCCN Volume 2019-July, 2019, Piscataway, NJ, IEEE Communications Society, 2019, pp. 1 - 6 (atti di: 28th International Conference on Computer Communications and Networks, ICCCN 2019, Valencia; Spain, 29 July 2019 through 1 August 2019) [Contributo in Atti di convegno]

  • Silva C.; Prandi C.; Ferreira M.; Nisi V.; Nunes N.J., Towards locative systems for, and by, children: A cognitive map study of children's perceptions and design suggestions, in: C and C 2019 - Proceedings of the 2019 Creativity and Cognition, Association for Computing Machinery, Inc, 2019, pp. 382 - 395 (atti di: 12th ACM Creativity and Cognition Conference, C and C 2019, Hyatt Regency Mission Bay, usa, 2019) [Contributo in Atti di convegno]

  • Giallonardo E.; Poggi F.; Rossi D.; Zimeo E., Context-aware reactive systems based on runtime semantic models, in: Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, Knowledge Systems Institute Graduate School, 2019, 2019-, pp. 301 - 306 (atti di: 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, prt, 2019) [Contributo in Atti di convegno]

  • A. Carbonaro, A Framework for Data and Concept Interoperability in Smart Mobility Systems, in: Proceedings of the ACM Annual International Conference on Mobile Computing and Networking, MOBICOM, 2019, pp. 39 - 42 (atti di: The 25th Annual International Conference on Mobile Computing and Networking, Los Cabos, Mexico, Oct 21-25) [Contributo in Atti di convegno]

  • Dal Lago U.; Gavazzo F., Effectful Normal Form Bisimulation, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11423, pp. 263 - 292 (atti di: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, cze, 2019) [Contributo in Atti di convegno]

  • Dal Lago U.; Gavazzo F.; Yoshimizu A., Differential logical relations, Part I: The simply-typed case, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2019, 132, pp. 1 - 14 (atti di: 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Patras, Greece, 2019) [Contributo in Atti di convegno] Open Access

  • Maurilio Pirone, Mattia Frapporti, Niccolò Cuppini, Panorami logistici. Nuove geografie del mondo globalizzato. Introduzione, in: L'apporto della geografia tra rivoluzioni e riforme, Roma, Associazione Geografi Italiani, 2019, pp. 3323 - 3328 (atti di: L'apporto della geografia tra rivoluzioni e riforme, Roma, 7-10 giugno 2017) [Contributo in Atti di convegno]

  • Calegari, Roberta; Ciatto, Giovanni; Denti, Enrico; Omicini, Andrea, Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines, in: Internet and Distributed Computing Systems (IDCS 2019), Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11874, pp. 260 - 270 (atti di: International Conference on Internet and Distributed Computing Systems (IDCS 2019), Napoli, Italy, 10-12 ottobre 2019) [Contributo in Atti di convegno]

  • Lodi, Michael, Does Studying CS Automatically Foster a Growth Mindset?, in: ITiCSE '19 Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019, pp. 147 - 153 (atti di: 2019 ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE '19), Aberdeen, Scozia, 15-17 Luglio 2019) [Contributo in Atti di convegno]

  • Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi, Towards XMAS: eXplainability through Multi-Agent Systems, in: AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2019, 2502, pp. 40 - 53 (atti di: 1st Workshop "AI & IoT" @ AI*IA 2019, Rende, CS, Italy, 22/11/2019) [Contributo in Atti di convegno] Open Access

  • Pasquale Cascarano, Francesco Corsini, Stefano Gandolfi, Emanuele Mandanici, Elena Loli Piccolomini, Luca Tavasci, Fabiana Zama, Super-Risoluzione di immagini termiche: confronto fra algoritmi “single image” e “multiple images”, in: Atti ASITA 2019, 2019, pp. 221 - 222 (atti di: Conferenza Nazionale ASITA 2019, Trieste, 12-14 Novembre 2019) [Riassunto (Abstract)]

  • Sangiorgi D., Asynchronous π -calculus at Work: The Call-by-Need Strategy, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday., Cham, Switzerland, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11760, pp. 33 - 49 (atti di: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Paris, 4 November 2019) [Contributo in Atti di convegno] Open Access

  • Lopez-Lopez, Eric; V. Regueiro, Carlos; M. Pardo, Xosé; Franco, Annalisa; Lumini, Alessandra, Incremental Learning Techniques Within a Self-updating Approach for Face Verification in Video-Surveillance, in: Pattern Recognition and Image Analysis, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11868, pp. 25 - 37 (atti di: Iberian Conference on Pattern Recognition and Image Analysis, Madrid, Spain, 01/07/2019 - 04/07/2019) [Contributo in Atti di convegno]

  • Mazzini L.; Franco A.; Maltoni D., Gesture recognition by leap motion controller and LSTM networks for CAD-oriented interfaces, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11751, pp. 185 - 195 (atti di: 20th International Conference on Image Analysis and Processing, ICIAP 2019, ita, 2019) [Contributo in Atti di convegno]