( en | de | ru )

 

Disambiguation of "Rossi, Matteo"

Author of the publication

copydeleteadd this publication to your clipboard
Effect of homogenous object stiffness on tri-digit grasp properties.

, , , and . EMBC, page 6704-6707. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Adelheid Rossi

Marcus Rossi

Gabriela Rossi

Rainer Rossi

Davide Rossi

 

Other publications of authors with the same name

HapPro: A Wearable Haptic Device for Proprioceptive Feedback., , , , and . IEEE Trans. Biomed. Eng., 66 (1): 138-149 (2019)On How Bit-Vector Logic Can Help Verify LTL-Based Specifications., , and . IEEE Trans. Software Eng., 48 (4): 1154-1168 (2022)A Flexible Approach for Checking Timed Automata on Continuous Time Semantics., , , and . CoRR, (2018)SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability, , , , and . CoRR, (2010)Comments on temporal logics for real-time system specification., , and . ACM Comput. Surv., 41 (2): 13:1-13:5 (2009)Constraint LTL satisfiability checking without automata., , , , , and . J. Appl. Log., 12 (4): 522-557 (2014)Formal verification and validation of embedded systems: the UML-based MADES approach., , , , , , , and . Softw. Syst. Model., 14 (1): 343-363 (2015)A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications., , , and . Theor. Comput. Sci., (2016)THOR: A Hybrid Recommender System for the Personalized Travel Experience., , , , , and . Big Data Cogn. Comput., 6 (4): 131 (2022)Experimental determination of momentum-resolved electron-phonon coupling, , , , , , , , , and 2 other author(s). Phys. Rev. Lett., 123 (2): 027001 (Jul 8, 2019)