Pubblicazioni

Muller D.; Rabe F.; Sacerdoti Coen C., The Coq Library as a Theory Graph, 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, 11617, pp. 171 - 186 (atti di: 12th International Conference on Intelligent Computer Mathematics, CICM 2019, cze, 2019) [Contributo in Atti di convegno]

Condoluci A.; Kohlhase M.; Muller D.; Rabe F.; Sacerdoti Coen C.; Wenzel M., Relational Data Across Mathematical Libraries, 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, 11617, pp. 61 - 76 (atti di: 12th International Conference on Intelligent Computer Mathematics, CICM 2019, cze, 2019) [Contributo in Atti di convegno]

Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen, Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings, Basel, Springer Verlag, 2019, pp. 317 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). [Curatela]

Guidi F.; Sacerdoti Coen C.; Tassi E., Implementing type theory in higher order constraint logic programming, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2019, nd, pp. 1 - 26 [Articolo in rivista]

Andrea Asperti, Variational Autoencoders and the Variable Collapse Phenomenon, «SENSORS & TRANSDUCERS», 2019, 234, pp. 1 - 8 [Articolo in rivista] Open Access

Jenny Bulgarelli, Marcella Tazzari, Anna M. Granato, Laura Ridolfi, Serena Maiocchi, Francesco de Rosa, Massimiliano Petrini, Elena Pancisi, Giorgia Gentili, Barbara Vergani, Filippo Piccinini, Antonella Carbonaro, Biagio E. Leone, Giovanni Foschi, Valentina Ancarani, Massimo Framarini and Massimo Guidoboni, Dendritic cell vaccination in metastatic melanoma turns “non-T cell inflamed” into “T-cell inflamed” tumors, «FRONTIERS IN IMMUNOLOGY», 2019, 10, pp. 2353 - 2373 [Articolo in rivista] Open Access

Bertini, Flavio; Rizzo, Stefano Giovanni; Montesi, Danilo, Can Information Hiding in Social Media Posts Represent a Threat?, «COMPUTER», 2019, 52, pp. 52 - 60 [Articolo in rivista]

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]

LOLI PICCOLOMINI, Elena; Gandolfi, Stefano; Poluzzi, Luca; Tavasci, Luca; Cascarano, Pasquale; Pascucci, Andrea, 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

G. Cappiello, M. Roccetti, I limiti e le implicazioni di una predizione automatica, «HARVARD BUSINESS REVIEW ITALIA», 2019, Ottobre 2019, pp. 86 - 90 [Articolo in rivista]

Boschetti M.A.; Maniezzo V.; Strappaveccia F., Membership overlay design optimization with resource constraints (accelerated on GPU), «JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING», 2019, 133, pp. 286 - 296 [Articolo in rivista]

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]

Pullini A.; Rossi D.; Loi I.; Tagliavini G.; Benini L., Mr.Wolf: An Energy-Precision Scalable Parallel Ultra Low Power SoC for IoT Edge Processing, «IEEE JOURNAL OF SOLID-STATE CIRCUITS», 2019, 54, pp. 1970 - 1981 [Articolo in rivista] Open Access

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]

Poggi F.; Rossi D.; Ciancarini P., Integrating semantic run-time models for adaptive software systems, «JOURNAL OF WEB ENGINEERING», 2019, 18, pp. 1 - 41 [Articolo in rivista]