( en | de | ru )

 

Disambiguation of "Rossi, Matteo"

Author of the publication

copydeleteadd this publication to your clipboard
A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications.

, , , , and . PDSE, page 217-223. IEEE Computer Society, (1999)

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

Experimental determination of momentum-resolved electron-phonon coupling, , , , , , , , , and 2 other author(s). Phys. Rev. Lett., 123 (2): 027001 (Jul 8, 2019)On How Bit-Vector Logic Can Help Verify LTL-Based Specifications., , and . IEEE Trans. Software Eng., 48 (4): 1154-1168 (2022)A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications., , , and . Theor. Comput. Sci., (2016)RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , and 3 other author(s). SEAMS@ICSE, page 245-251. IEEE, (2021)A multirate predictive approach to orbit control of small spacecraft., and . ACC, page 1843-1848. IEEE, (2002)Analysis of Energy-Efficient Buildings through Simulation and Formal Methods., , , and . SIMPDA, volume 1757 of CEUR Workshop Proceedings, page 113-119. CEUR-WS.org, (2016)CEL-Unet: a novel CNN architecture for 3D Segmentation of Knee Bones affected by Severe Osteoarthritis for PSI-Based Surgical Planning., , , , , and . EMBC, page 5039-5042. IEEE, (2022)Context Awareness in the Travel Companion of the Shift2Rail Initiative., , , and . SEBD, volume 2646 of CEUR Workshop Proceedings, page 202-209. CEUR-WS.org, (2020)Towards the UML-Based Formal Verification of Timed Systems., , , and . FMCO, volume 6957 of Lecture Notes in Computer Science, page 267-286. Springer, (2010)A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids., , , and . FormaliSE, page 120-129. IEEE, (2023)