( en | de | ru )

 

Disambiguation of "Mohammed, Ammar"

Author of the publication

copydeleteadd this publication to your clipboard
A Tool Environment for Specifying and Verifying Multi-agent Systems.

, , and . ICAART (2), page 323-326. INSTICC Press, (2010)

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.

Ammar Mohammed Mohammed

Ammar Mohammed Mohammed

Ammar Mohammed Alammareen

Ammar Ammar

Maha Ammar

 

Other publications of authors with the same name

Hybrid multi-agent systems: modeling, specification and verification.. University of Koblenz-Landau, (2010)A Neuro-Fuzzy Identification of ECG Beats., , and . J. Medical Systems, 36 (2): 903-914 (2012)HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata., and . KI, volume 5803 of Lecture Notes in Computer Science, page 695-702. Springer, (2009)Toward an automatic detection of cardiac structures in short and long axis views., , , and . Biomed. Signal Process. Control., 79 (Part): 104187 (2023)Improving the Performance of Deep Neural Networks Using Two Proposed Activation Functions., , and . IEEE Access, (2021)Toward an Automatic Left Atrium Localization Based on Shape Descriptors and Prior Knowledge., , , and . STACOM, volume 8330 of Lecture Notes in Computer Science, page 42-48. Springer, (2013)Input Design Minimizing the v-gap in Cross-Directional Models of Paper Machines., and . ACC, page 3795-3800. IEEE, (2006)Robust Stability Analysis of Cross-Directional Processes using the U-gap metric., and . CDC, page 1203-1208. IEEE, (2006)A Comprehensive Review of Arabic Text Summarization., , , and . IEEE Access, (2022)Real Time GPU-Based Segmentation and Tracking of the Left Ventricle on 2D Echocardiography., , , and . IWBBIO, volume 9656 of Lecture Notes in Computer Science, page 602-614. Springer, (2016)