( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.

, , , и . Theor. Comput. Sci., (2016)

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.

Luca Rizzini

Luca Tranchini

Luca Tuninetti

Alfonz Luca

Marcello Lucà

 

Другие публикации лиц с тем же именем

Energy and QoE aware Placement of Applications and Data at the Edge., , , , , и . SEBD, том 3194 из CEUR Workshop Proceedings, стр. 109-116. CEUR-WS.org, (2022)A Metric Temporal Logic for Dealing with Zero-Time Transitions., , , и . TIME, стр. 81-88. IEEE Computer Society, (2012)A Systematic Mapping Study of Italian Research on Workflows., , , , , , , , , и 9 other автор(ы). SC Workshops, стр. 2065-2076. ACM, (2023)Hivory: Range Queries on Hierarchical Voronoi Overlays., , , , и . Peer-to-Peer Computing, стр. 1-10. IEEE, (2010)Impact of Network Topology on the Convergence of Decentralized Federated Learning Systems., , , , , и . ISCC, стр. 1-6. IEEE, (2021)Latency Preserving Self-optimizing Placement at the Edge., , , , , и . FRAME@HPDC, стр. 3-8. ACM, (2021)Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis., , , и . FMICS, том 7437 из Lecture Notes in Computer Science, стр. 162-176. Springer, (2012)Decentralized Federated Learning and Network Topologies: an Empirical Study on Convergence., , , , , и . SEBD, том 3194 из CEUR Workshop Proceedings, стр. 317-324. CEUR-WS.org, (2022)Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach, , , и . CoRR, (2012)Network Measurements with Function-as-a-Service for Distributed Low-latency Edge Applications., , , , , и . FRAME@HPDC, стр. 25-28. ACM, (2022)