( en | de | ru )

 

Disambiguation of "Ferrucci, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
Automated formal verification for flexible manufacturing systems.

, , , , , and . J. Intell. Manuf., 25 (5): 1181-1195 (2014)

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.

Luca Tranchini

Luca Rizzini

Luca Criscuolo

Luca Haiberger

Luca Redaelli

 

Other publications of authors with the same name

Energy and QoE aware Placement of Applications and Data at the Edge., , , , , and . SEBD, volume 3194 of CEUR Workshop Proceedings, page 109-116. CEUR-WS.org, (2022)A Metric Temporal Logic for Dealing with Zero-Time Transitions., , , and . TIME, page 81-88. IEEE Computer Society, (2012)Impact of Network Topology on the Convergence of Decentralized Federated Learning Systems., , , , , and . ISCC, page 1-6. IEEE, (2021)Latency Preserving Self-optimizing Placement at the Edge., , , , , and . FRAME@HPDC, page 3-8. ACM, (2021)A Systematic Mapping Study of Italian Research on Workflows., , , , , , , , , and 9 other author(s). SC Workshops, page 2065-2076. ACM, (2023)Hivory: Range Queries on Hierarchical Voronoi Overlays., , , , and . Peer-to-Peer Computing, page 1-10. IEEE, (2010)Automated formal verification for flexible manufacturing systems., , , , , and . J. Intell. Manuf., 25 (5): 1181-1195 (2014)Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach, , , and . CoRR, (2012)Integrating formal methods with industrial standards in the development of flexible manufacturing systems.. Polytechnic University of Milan, Italy, (2014)Network Measurements with Function-as-a-Service for Distributed Low-latency Edge Applications., , , , , and . FRAME@HPDC, page 25-28. ACM, (2022)