( en | de | ru )

 

Disambiguation of "Elfar, Mahmoud"

Author of the publication

copydeleteadd this publication to your clipboard
Context-Aware Temporal Logic for Probabilistic Systems.

, , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 215-232. Springer, (2020)

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.

Mahmoud Mahmoud

Mahmoud Mohamed Mahmoud

Mahmoud Saleh Mahmoud Mohamed

Mahmoud Mohamed Mahmoud Ahmad

Mahmoud Mohamed Shawky Mahmoud

 

Other publications of authors with the same name

Context-Aware Temporal Logic for Probabilistic Systems., , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 215-232. Springer, (2020)Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips., , , and . DATE, page 324-329. IEEE, (2021)Adaptive Droplet Routing for MEDA Biochips via Deep Reinforcement Learning., , , and . DATE, page 640-645. IEEE, (2022)Targeted penetration of MCF-7 cells using iron-oxide nanoparticles in vitro., , , , , , and . BioRob, page 260-265. IEEE, (2016)Modeling and Design of Assured and Adaptive Cyber-Physical Systems.. Duke University, Durham, NC, USA, (2022)base-search.net (ftdukeunivdsp:oai:localhost:10161/25851).Platform for security-aware design of human-on-the-loop cyber-physical systems., , , , , , and . ICCPS, page 93. ACM, (2017)Security-Aware Synthesis of Human-UAV Protocols., , , and . ICRA, page 8011-8017. IEEE, (2019)Human Augmentation of UAV Cyber-Attack Detection., , , , and . HCI (16), volume 10916 of Lecture Notes in Computer Science, page 154-167. Springer, (2018)Security-Aware Synthesis Using Delayed-Action Games., , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 180-199. Springer, (2019)Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (8): 2504-2517 (2022)