Author of the publication

Proximity Detection Prototype Adapted to a Work Environment.

, , , , , , , , , , , , , and . ISAmI, volume 153 of Advances in Intelligent and Soft Computing, page 51-58. Springer, (2012)

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.

 

Other publications of authors with the same name

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