From post

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.

 

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

Parametrized invariance for infinite state processes., и . Acta Informatica, 52 (6): 525-557 (2015)SmartPort: A Platform for Sensor Data Monitoring in a Seaport Based on FIWARE., , , , , , , и . Sensors, 16 (3): 417 (2016)Parametrized Invariance for Infinite State Processe., и . CoRR, (2013)LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes., и . CAV, том 8559 из Lecture Notes in Computer Science, стр. 620-627. Springer, (2014)Coffee Leaf Rust Dataset., , , , , , , , и . (июля 2020)Evaluation of the Performance of an Immersive System for Tele-education., , , , , , и . IMX, стр. 209-220. ACM, (2022)Integration of a Proximity Detection Prototype into a VO Developed with PANGEA., , , , и . IS-MiS, том 171 из Advances in Intelligent Systems and Computing, стр. 197-204. Springer, (2012)A Gateway Protocol Based on FIPA-ACL for the New Agent Platform PANGEA., , , , и . PAAMS (Special Sessions), том 221 из Advances in Intelligent Systems and Computing, стр. 41-51. Springer, (2013)A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes., и . NASA Formal Methods, том 6617 из Lecture Notes in Computer Science, стр. 343-358. Springer, (2011)A Cyber-Physical Data Collection System Integrating Remote Sensing and Wireless Sensor Networks for Coffee Leaf Rust Diagnosis., , , , , , , , и . Sensors, 21 (16): 5474 (2021)