Author of the publication

Enhancing Sequential LEC Using a Cumulative Verification Methodology.

, , , and . MTV, page 39-42. IEEE Computer Society, (2008)

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

Enhancing Sequential LEC Using a Cumulative Verification Methodology., , , and . MTV, page 39-42. IEEE Computer Society, (2008)On extensions of the deterministic online model for bipartite matching and max-sat., and . Theor. Comput. Sci., (2019)Development of structural analysis virtual modules for iPad application., and . Comput. Appl. Eng. Educ., 26 (2): 356-369 (2018)On the limitations of deterministic de-randomizations for online bipartite matching and max-sat., and . CoRR, (2016)Multimodal Interface Technologies for UAV Ground Control Stations., , , , and . Journal of Intelligent and Robotic Systems, 57 (1-4): 371-391 (2010)Unstable gait assessment with a portable analysis system., , , , , and . I2MTC, page 181-185. IEEE, (2014)UAVs Integration in the SWIM Based Architecture for ATM., , and . Journal of Intelligent and Robotic Systems, 54 (1-3): 39-59 (2009)Mechanical, hardware and firmware considerations for a Robocup SSL robot., , , and . CRoNe, volume 2564 of CEUR Workshop Proceedings, page 11-17. CEUR-WS.org, (2019)AIS: Artificial Intelligent Soccer., , , , , , , , , and 4 other author(s). CRoNe, volume 2312 of CEUR Workshop Proceedings, page 25-31. CEUR-WS.org, (2018)Review and content analysis of mobile apps for inflammatory bowel disease management using the mobile application rating scale (MARS): Systematic search in app stores., , , and . Int. J. Medical Informatics, (December 2023)