( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mutation Analysis for Coq.

, , , , и . ASE, стр. 539-551. IEEE, (2019)

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.

Mehmet Çelik

Semra Çelik

Çetin Çelik

Mehmet Çelik

Ülkan Çelik

 

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

Design, implementation, and application of GPU-based Java bytecode interpreters., , , и . Proc. ACM Program. Lang., 3 (OOPSLA): 177:1-177:28 (2019)iCoq: regression proof selection for large-scale verification projects., , и . ASE, стр. 171-182. IEEE Computer Society, (2017)Towards refactoring-aware regression test selection., , , , , и . ICSE, стр. 233-244. ACM, (2018)Mutation Analysis for Coq., , , , и . ASE, стр. 539-551. IEEE, (2019)Regression test selection for TizenRT., , и . ESEC/SIGSOFT FSE, стр. 845-850. ACM, (2018)Implementation of CRYSTALS-Kyber Post-Quantum Algorithm Using RISC-V Processor., , , и . ICECS, стр. 1-4. IEEE, (2023)piCoq: parallel regression proving for large-scale verification projects., , и . ISSTA, стр. 344-355. ACM, (2018)mCoq: mutation analysis for Coq verification projects., , , , и . ICSE (Companion Volume), стр. 89-92. ACM, (2020)A Low-Complexity Solution to Angular Misalignments in Molecular Index Modulation., , , , и . PIMRC, стр. 1-6. IEEE, (2019)Specific Similarity Measure for Terrorist Networks: How Much Similar Are Terrorist Networks of Turkey?, , , и . PAISI, том 6749 из Lecture Notes in Computer Science, стр. 15-26. Springer, (2011)