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.

 

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

Seasonality Atlas of Solar Radiation in Mexico., , , , и . MICAI (1), том 13067 из Lecture Notes in Computer Science, стр. 143-157. Springer, (2021)Proximity Detection Prototype Adapted to a Work Environment., , , , , , , , , и 4 other автор(ы). ISAmI, том 153 из Advances in Intelligent and Soft Computing, стр. 51-58. Springer, (2012)Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version)., , , и . SAS, том 7460 из Lecture Notes in Computer Science, стр. 146-163. Springer, (2012)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)SmartPort: A Platform for Sensor Data Monitoring in a Seaport Based on FIWARE., , , , , , , и . Sensors, 16 (3): 417 (2016)LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes., и . CAV, том 8559 из Lecture Notes in Computer Science, стр. 620-627. Springer, (2014)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)Parametrized Verification Diagrams., и . TIME, стр. 132-141. IEEE Computer Society, (2014)