The power of genetic algorithm in automated assessment of school readiness. - Iyad Suleiman; Tamer Salman; Shang Gao 005; Faruk Polat; Maha Arslan; Reda Alhajj; Mick J. Ridley (IRI, 2010)

Dynamic Test Data Generation for Data Intensive Applications. - Allon Adir; Ronen Levy; Tamer Salman (Haifa Verification Conference, 2011)

A New Test-Generation Methodology for System-Level Verification of Production Processes. - Allon Adir; Alex Goryachev; Lev Greenberg; Tamer Salman; Gil Shurek (Haifa Verification Conference, 2012)

Quantum set intersection and its application to associative memory. - Tamer Salman; Yoram Baram (J. Mach. Learn. Res., 2012)

Quantum neural computation and associative memory. - Tamer Salman (2012)

Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors. - Andreas Abel 004; Allon Adir; Torsten Blochwitz; Lev Greenberg; Tamer Salman (Haifa Verification Conference, 2013)

Using a High-Level Test Generation Expert System for Testing In-Car Networks. - Allon Adir; Alex Goryachev; Lev Greenberg; Tamer Salman (DAC, 2014)

Identifying malicious activities from system execution traces. - Ehud Aharoni; Ron Peleg; Shmulik Regev; Tamer Salman (IBM J. Res. Dev., 2016)