( en | de | ru )

 

Disambiguation of "Loreti, Michele"

Author of the publication

copydeleteadd this publication to your clipboard
Tools for Ensemble Design and Runtime.

, , , , , , , , , and 5 other author(s). The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (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.

Valeria Loreti

Michele Ferrari

Michele Galletti

Michele Ocken

Hannelore Michele

 

Other publications of authors with the same name

An infrastructure language for open nets., , and . SAC, page 373-377. ACM, (2002)Design of a Password-based Authentication Method for Wireless Networks., , and . WINSYS, page 9-16. INSTICC Press, (2007)Property-Preserving Refinement of Concurrent Systems., and . TGC, volume 6084 of Lecture Notes in Computer Science, page 222-236. Springer, (2010)Structured Nets in KLAIM., , and . SAC (1), page 174-180. ACM, (2000)Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL., , , , and . Log. Methods Comput. Sci., (2018)A Language-Based Approach to Autonomic Computing., , , and . FMCO, volume 7542 of Lecture Notes in Computer Science, page 25-48. Springer, (2011)Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks., , , and . FORTE, volume 13910 of Lecture Notes in Computer Science, page 37-54. Springer, (2023)On the Power of Attribute-Based Communication., , and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 1-18. Springer, (2016)FlyFast: A Mean Field Model Checker., , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 303-309. (2017)Software update via mobile agent based programming., , and . SAC, page 32-36. ACM, (2002)