Author of the publication

Semantic foundations for typed assembly languages

, , , and . ACM Transactions on ... - portal.acm.org, (2010)3 citation(s).

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

A modified capacitor voltage control algorithm for suppressing the effect of measurement noise on grid-connected Z-source inverters controllers., , , , and . IECON, page 204-209. IEEE, (2013)Energy-Efficient Routing Protocol Based on Adaptive Soft Thresholding for Wireless Sensor Networks., , , , and . Wirel. Pers. Commun., 124 (3): 2661-2676 (2022)Efficient signal and protocol level security for network communication., , , , , , , , , and 6 other author(s). Int. J. Speech Technol., 23 (2): 399-424 (2020)Design of an optimized sliding mode control for loaded double inverted pendulum with mismatched uncertainties., , , and . MMAR, page 270-275. IEEE, (2014)Fuzzy-based gain scheduling of Exact FeedForward Linearization control and sliding mode control for magnetic ball levitation system: A comparative study., , , , , and . AQTR, page 1-6. IEEE, (2014)Design of an optimized sliding mode control for loaded double inverted pendulum with mismatched uncertainties., , , and . MMAR, page 270-275. IEEE, (2014)Workspace mapping and control of a teleoperated endoscopic surgical robot., , , , , and . MMAR, page 675-680. IEEE, (2014)Screw theory based-design and tracking control of an endoscopic parallel manipulator for laparoscopic surgery., , , , , and . ICRA, page 2491-2496. IEEE, (2013)Methodology for identifying quadrotor parameters, attitude estimation and control., , , , and . AIM, page 1343-1348. IEEE, (2013)Development of an assistive device for elderly people: Fuzzy sensor fusion experimental study., , , , and . ROBIO, page 1212-1217. IEEE, (2012)