Combining System Level Modeling with Assertion Based Verification. - Anat Dahan; Daniel Geist; Leonid Gluhovsky; Dmitry Pidan; Gil Shapir; Yaron Wolfsthal; Lyes Benalycherif; Romain Kamdem; Younes Lahbib (ISQED, 2005)

The Association among Autistic Traits, Interactional Synchrony and Typical Pattern of Motor Planning and Execution in Neurotypical Individuals. - Michal Granner-Shuman; Anat Dahan; Roi Yozevitch; Hila Zahava Gvirts Problovski (Symmetry, 2021)