Pubblicazioni

Brahmia, Zouhaier; Brahmia, Safa; Grandi, Fabio; Bouaziz, Rafik, Versioning Schemas of JSON-based Conventional and Temporal Big Data through High-level Operations in the TJSchema Framework, «INTERNATIONAL JOURNAL OF CLOUD COMPUTING», 2021, 10, pp. 442 - 479 [Articolo in rivista] Open Access

Brahmia, Safa; Brahmia, Zouhaier; Grandi, Fabio; Bouaziz, Rafik, Versioning Temporal Characteristics of JSON-based Big Data via the τJSchema Framework, «INTERNATIONAL JOURNAL OF CLOUD COMPUTING», 2021, 10, pp. 406 - 441 [Articolo in rivista] Open Access

Molan M.; Borghesi A.; Beneventi F.; Guarrasi M.; Bartolini A., An Explainable Model for Fault Detection in HPC Systems, in: High Performance Computing. ISC High Performance 2021, Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 12761, pp. 378 - 391 (atti di: International Conference on High Performance Computing, ISC High Performance 2021, ONLINE, 2021) [Contributo in Atti di convegno] Open Access

Billi, Marco; Calegari, Roberta; Contissa, Giuseppe; Lagioia, Francesca; Pisano, Giuseppe; Sartor, Galileo; Sartor, Giovanni, Argumentation and Defeasible Reasoning in the Law, «J», 2021, 4, pp. 897 - 914 [Articolo in rivista] Open Access

Rosa, Lorenzo; Song, Weijia; Foschini, Luca; Corradi, Antonio; Birman, Ken, DerechoDDS: Strongly Consistent Data Distribution for Mission-Critical Applications, in: MILCOM 2021 - 2021 IEEE Military Communications Conference (MILCOM), 2021, pp. 684 - 689 (atti di: MILCOM 2021 - 2021 IEEE Military Communications Conference (MILCOM), San Diego (USA), 29 Nov.-2 Dec. 2021) [Contributo in Atti di convegno]

Montori F.; Zyrianoff Ivan Dimitry; Gigli L.; Venanzi R.; Sindaco S.; Aguzzi C.; Zonzini F.; Zauli M.; Testoni Nicola; Alessi Enrico; Di Felice M.; Bononi L.; Bellavista P.; De Marchi L.; Cinotti T.S., A Toolchain Architecture for Condition Monitoring Using the Eclipse Arrowhead Framework, in: IECON Proceedings (Industrial Electronics Conference), New York, IEEE, «PROCEEDINGS OF THE ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY», 2021, 2021-, pp. 1 - 6 (atti di: 47th Annual Conference of the IEEE Industrial Electronics Society, IECON 2021, can, 2021) [Contributo in Atti di convegno] Open Access

Aydogan Selda, Ulutas; Münster, Sander; Girardi, Dino; Palmirani, Monica; Vitali, Fabio, A Framework to Support Digital Humanities and Cultural Heritage Studies Research, in: Research and Education in Urban History in the Age of Digital Libraries, Cham, Springer, «COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE», 2021, 1501, pp. 237 - 267 (atti di: 2nd International Conference on Research and Education in Urban History in the Age of Digital Libraries, UHDL 2019, Dresda Germania, 10-11 October 2019) [Contributo in Atti di convegno] Open Access

Sabbioni, Andrea; Rosa, Lorenzo; Bujari, Armir; Foschini, Luca; Corradi, Antonio, A Shared Memory Approach for Function Chaining in Serverless Platforms, in: 2021 IEEE Symposium on Computers and Communications (ISCC), 2021, pp. 1 - 6 (atti di: 2021 IEEE Symposium on Computers and Communications (ISCC), Athens, Greece, 5-8 Sept. 2021) [Contributo in Atti di convegno]

Barbanera F.; Dezani-Ciancaglini M.; Lanese I.; Tuosto E., Composition and decomposition of multiparty sessions, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2021, 119, pp. 1 - 34 [Articolo in rivista] Open Access

Lanese I.; Palacios A.; Vidal G., Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs, «FUNDAMENTA INFORMATICAE», 2021, 178, pp. 229 - 266 [Articolo in rivista] Open Access

Lanese I.; Schultz U.; Ulidowski I., Reversible Execution for Robustness in Embodied AI and Industrial Robots, «IT PROFESSIONAL», 2021, 23, pp. 12 - 17 [Articolo in rivista] Open Access

Orlando S.; Pasquale V.D.; Barbanera F.; Lanese I.; Tuosto E., Corinne, a Tool for Choreography Automata, in: Formal Aspects of Component Software. FACS 2021, Cham, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 13077, pp. 82 - 92 (atti di: 17th International Conference on Formal Aspects of Component Software, FACS 2021, Grenoble, France (online due to covid), 2021) [Contributo in Atti di convegno] Open Access

Burrello, Alessio; Garofalo, Angelo; Bruschi, Nazareno; Tagliavini, Giuseppe; Rossi, Davide; Conti, Francesco, DORY: Automatic End-to-End Deployment of Real-World DNNs on Low-Cost IoT MCUs, «IEEE TRANSACTIONS ON COMPUTERS», 2021, 70, pp. 1253 - 1268 [Articolo in rivista] Open Access

Garofalo A.; Tagliavini G.; Conti F.; Benini L.; Rossi D., XpulpNN: Enabling Energy Efficient and Flexible Inference of Quantized Neural Networks on RISC-V Based IoT End Nodes, «IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING», 2021, 9, pp. 1489 - 1505 [Articolo in rivista] Open Access

Garofalo A.; Ottavi G.; Di Mauro A.; Conti F.; Tagliavini G.; Benini L.; Rossi D., A 1.15 TOPS/W, 16-Cores Parallel Ultra-Low Power Cluster with 2b-to-32b Fully Flexible Bit-Precision and Vector Lockstep Execution Mode, in: ESSCIRC 2021 - IEEE 47th European Solid State Circuits Conference, Proceedings, New York, Institute of Electrical and Electronics Engineers Inc., 2021, pp. 267 - 270 (atti di: 47th IEEE European Solid State Circuits Conference, ESSCIRC 2021, Grenoble/ France, 6 September - 9 September 2021) [Contributo in Atti di convegno] Open Access

Bruschi, Nazareno; Haugou, Germain; Tagliavini, Giuseppe; Conti, Francesco; Benini, Luca; Rossi, Davide, GVSoC: A Highly Configurable, Fast and Accurate Full-Platform Simulator for RISC-V based IoT Processors, in: 2021 IEEE 39th International Conference on Computer Design (ICCD), New York, IEEE, 2021, pp. 409 - 416 (atti di: IEEE International Conference on Computer Design (ICCD), Storrs, CT, USA, 24-27 Oct. 2021) [Contributo in Atti di convegno] Open Access

Fabbretti G.; Lanese I.; Stefani J.-B., Causal-Consistent Debugging of Distributed Erlang Programs, in: Reversible Computation, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 12805, pp. 79 - 95 (atti di: 13th International Conference on Reversible Computation, RC 2021, Nagoya, Japan (online due to covid), July 7 - July 8, 2021) [Contributo in Atti di convegno] Open Access

Lanese I.; Phillips I., Forward-Reverse Observational Equivalences in CCSK, in: Reversible Computation, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 12805, pp. 126 - 143 (atti di: 13th International Conference on Reversible Computation, RC 2021, Nagoya, Japan (online due to covid), July 7 - July 8, 2021) [Contributo in Atti di convegno] Open Access

Cascarano P.; Comes M.C.; Mencattini A.; Parrini M.C.; Piccolomini E.L.; Martinelli E., Recursive Deep Prior Video: A super resolution algorithm for time-lapse microscopy of organ-on-chip experiments, «MEDICAL IMAGE ANALYSIS», 2021, 72, pp. 1 - 15 [Articolo in rivista] Open Access

Cascarano P.; Calatroni L.; Loli Piccolomini E., Efficient ℓ Gradient-Based Super-Resolution for Simplified Image Segmentation, «IEEE TRANSACTIONS ON COMPUTATIONAL IMAGING», 2021, 7, pp. 399 - 408 [Articolo in rivista] Open Access