From post

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.

 

Другие публикации лиц с тем же именем

Lot streaming in open shops., и . Oper. Res. Lett., 23 (3-5): 135-142 (1998)High-Level verifiable data-path Synthesis for DSP systems., , , , и . SIU, стр. 1-4. IEEE, (2012)Generation of TLM testbenches using mutation testing., и . CODES+ISSS, стр. 323-332. ACM, (2012)Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing., и . OPODIS, том 3144 из Lecture Notes in Computer Science, стр. 171-183. Springer, (2003)Formal Verification of a System-on-Chip Using Computation Slicing., , , и . ITC, стр. 810-819. IEEE Computer Society, (2004)FAME: Federated Decentralized Trusted Data Marketplace for Embedded Finance., , , , , , , , , и 12 other автор(ы). SmartNets, стр. 1-6. IEEE, (2023)Fraud Detection in Blockchains using Machine Learning., , и . BCCA, стр. 214-218. IEEE, (2022)Android'de Cokme Tespitini Iyilestirme Amacli Model-Tabanli ve Rastgele Karma Yontem(Combining Model-Based and Random Approaches to Improve Crash Detection in Android)., , и . UYMS, том 1980 из CEUR Workshop Proceedings, стр. 89-100. CEUR-WS.org, (2017)Yazılım Depoları Madenciliği ile Endüstriyel Yazılım Evrimi İncelemesi., и . UYMS, том 1072 из CEUR Workshop Proceedings, CEUR-WS.org, (2013)Testing service oriented architectures using stateful service visualization via machine learning., и . AST@ICSE, стр. 9-15. ACM, (2018)