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.

 

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

A Narrow-Area Specific Messaging System for Tsunami Evacuation., и . GCCE, стр. 1032-1033. IEEE, (2019)Challenging EMC problems on two-dimensional communication systems., , и . INSS, стр. 130-137. IEEE, (2010)Classification of Elastic and Collagen Fibers in H&E Stained Hyperspectral Images., , , , , , , и . EMBC, стр. 7031-7035. IEEE, (2019)Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols., , , и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 75-89. Springer, (2011)Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence., , , и . CoRR, (2018)Anemia Examination Using a Hyperspectral Camera in Telecare System., , , и . LifeTech, стр. 475-476. IEEE, (2021)Type-Based Useless Variable Elimination.. PEPM, стр. 84-93. ACM, (2000)Types and higher-order recursion schemes for verification of higher-order programs.. POPL, стр. 416-428. ACM, (2009)Design of a Hyper-Spectral Imaging System for Gross Pathology of Pigmented Skin Lesions., , , , , и . EMBC, стр. 3605-3608. IEEE, (2021)Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs., , и . APLAS, том 9458 из Lecture Notes in Computer Science, стр. 295-312. Springer, (2015)