Pubblicazioni

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

Ceccarini C., HCI methodologies and data visualization to foster user awareness, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2021, 2892, pp. 28 - 35 (atti di: 2021 Joint Interactive Experiences and Doctoral Consortium at CHItaly, CHItaly-JP 2021, ita, 2021) [Contributo in Atti di convegno]

Costantini, Alessandro; Duma, Doina Cristina; Martelli, Barbara; Antonacci, Marica; Galletti, Matteo; Tisbeni, Simone Rossi; Bellavista, Paolo; Di Modica, Giuseppe; Nehls, Daniel; Ahouangonou, Jean-Christian; Delamarre, Cedric; Cesini, Daniele, A Cloud-Edge Orchestration Platform for the Innovative Industrial Scenarios of the IoTwins Project, in: Computational Science and Its Applications – ICCSA 2021. ICCSA 2021, Cham, SPRINGER INTERNATIONAL PUBLISHING AG, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 12950, pp. 533 - 543 (atti di: ICCSA: International Conference on Computational Science and Its Applications, Cagliari, Italy, September 13–16, 2021) [Contributo in Atti di convegno] Open Access

Boschi M.; Di Stefano L.; Alessandrini M., SAFFIRE: System for Autonomous Feature Filtering and Intelligent ROI Estimation, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12664, pp. 552 - 565 (atti di: 25th International Conference on Pattern Recognition Workshops, ICPR 2020, Milano (Online), 2021) [Contributo in Atti di convegno]

Cesco A.; Gorrieri R., Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets, in: ICTCS 2021 - 22nd Italian Conference on Theoretical Computer Science 2021, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2021, 3072, pp. 135 - 149 (atti di: 22nd Italian Conference on Theoretical Computer Science, ICTCS 2021, Bologna, Italy, September 13-15, 2021) [Contributo in Atti di convegno] Open Access