Matteo Rossi
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
Monte Carlo Tree Search for automatic differential characteristics search: application to SPECK.
IACR Cryptol. ePrint Arch., 2024
2023
Spreading of Localized Information across an Entire 3D Electrical Resistivity Volume via Constrained EMI Inversion Based on a Realistic Prior Distribution.
Remote. Sens., August, 2023
SLEEP-SEE-THROUGH: Explainable Deep Learning for Sleep Event Detection and Quantification From Wearable Somnography.
IEEE J. Biomed. Health Informatics, July, 2023
Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Merging Contour-and Region-Aware Branches in the UNet Decoder to Enhance Osseous Segmentation in Shoulder CT Scans.
Proceedings of the IEEE International Conference on Metrology for eXtended Reality, 2023
(Pseudo-)3D Inversion of Geophysical Electromagnetic Induction Data by Using an Arbitrary Prior and Constrained to Ancillary Information.
Proceedings of the Computational Science and Its Applications - ICCSA 2023 Workshops, 2023
2022
Identification of Characteristic Points in Multivariate Physiological Signals by Sensor Fusion and Multi-Task Deep Networks.
Sensors, 2022
A Cipher-Agnostic Neural Training Pipeline with Automated Finding of Good Input Differences.
IACR Cryptol. ePrint Arch., 2022
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport.
CoRR, 2022
CEL-Unet: a novel CNN architecture for 3D Segmentation of Knee Bones affected by Severe Osteoarthritis for PSI-Based Surgical Planning.
Proceedings of the 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2022
End-to-end Deep Learning and Sensor Fusion for Non-invasive BP Monitoring Using Multivariate Physiological Signals.
Proceedings of the Computing in Cardiology, 2022
2021
IEEE Trans. Engineering Management, 2021
Convolutional Neural Networks Cascade for Automatic Pupil and Iris Detection in Ocular Proton Therapy.
Sensors, 2021
Reconstruction, with tunable sparsity levels, of shear-wave velocity profiles from surface wave data.
CoRR, 2021
Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2021
2020
Knowledge management behaviors in venture capital crossroads: a comparison between IVC and CVC ambidexterity.
J. Knowl. Manag., 2020
Performance comparison between deep learning-based and conventional cryptographic distinguishers.
IACR Cryptol. ePrint Arch., 2020
To invest or to harvest? Corporate venture capital ambidexterity for exploiting/exploring innovation in technological business.
Bus. Process. Manag. J., 2020
2019
IEEE Trans. Biomed. Eng., 2019
Design and Assessment of Control Maps for Multi-Channel sEMG-Driven Prostheses and Supernumerary Limbs.
Frontiers Neurorobotics, 2019
2017
J. Web Semant., 2017
The SoftHand Pro-H: A Hybrid Body-Controlled, Electrically Powered Hand Prosthesis for Daily Living and Working.
IEEE Robotics Autom. Mag., 2017
Proceedings of the International Conference on Rehabilitation Robotics, 2017
2016
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016
2015
PLoS Comput. Biol., 2015
An iterative particle filter approach for coupled hydro-geophysical inversion of a controlled infiltration experiment.
J. Comput. Phys., 2015
Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015
Hybrid EMG classifier based on HMM and SVM for hand gesture recognition in prosthetics.
Proceedings of the IEEE International Conference on Industrial Technology, 2015
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015
2013
IEEE Embed. Syst. Lett., 2013
Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013
2012
Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches.
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems.
Proceedings of the 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2012
2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
2010
ACM Trans. Comput. Log., 2010
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010
2009
ACM Comput. Surv., 2009
Proceedings of the International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2009
2008
Proceedings of the Formal Methods and Software Engineering, 2008
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.
Proceedings of the FM 2008: Formal Methods, 2008
2007
No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators.
Bull. EATCS, 2007
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
2006
A UML 2-compatible language and tool for formal modeling real-time system architectures.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
2004
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004
Proceedings of the Computer and Information Sciences, 2004
2002
Proceedings of the American Control Conference, 2002
2000
Proceedings of the American Control Conference, 2000