Author of the publication

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

Simulation and SAT-based Boolean matching for large Boolean networks., , and . DAC, page 396-401. ACM, (2009)BooM: a decision procedure for boolean matching with abstraction and dynamic learning., , and . DAC, page 499-504. ACM, (2010)An implementation of software tools for replay and partial replay of Concurrent-C programs., , and . COMPSAC, page 106-111. IEEE, (1990)Incremental learning approach and SAT model for Boolean matching with don't cares., and . ICCAD, page 234-239. IEEE Computer Society, (2007)A reversible data hiding scheme based on dual steganographic images., , , and . ICUIMC, page 228-237. ACM, (2009)Studying the effectiveness of an online argumentation model for improving undergraduate students' argumentation ability., , and . J. Comput. Assist. Learn., 36 (4): 526-539 (2020)Designing a Web-based assessment environment for improving pre-service teacher assessment literacy., , and . Comput. Educ., 51 (1): 448-462 (2008)A Web-based model for developing assessment literacy of secondary in-service teachers., , and . Comput. Educ., 57 (2): 1727-1740 (2011)An improvement of EMD embedding method for large payloads by pixel segmentation strategy., , and . Image Vis. Comput., 26 (12): 1670-1676 (2008)3D arm movement recognition using syntactic pattern recognition., , , , and . Artif. Intell. Eng., 14 (2): 113-118 (2000)