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.

 

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

On the Expressiveness of Joining., и . ICE, том 189 из EPTCS, стр. 99-113. (2015)Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software., , , и . SSS, том 12514 из Lecture Notes in Computer Science, стр. 317-322. Springer, (2020)X-by-C: Non-functional Security Challenges., и . ISoLA (1), том 11244 из Lecture Notes in Computer Science, стр. 486-501. Springer, (2018)The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems., , , , , , , , , и 6 other автор(ы). IEEE BigData, стр. 2726-2735. IEEE, (2019)An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT., , , и . TrustCom/BigDataSE/ICESS, стр. 293-300. IEEE Computer Society, (2017)An automated and scalable formal process for detecting fault injection vulnerabilities in binaries., , , и . Concurr. Comput. Pract. Exp., (2019)Building User Trust of Critical Digital Technologies., , и . ICIT, стр. 1199-1204. IEEE, (2020)On the Expressiveness of Intensional Communication.. EXPRESS/SOS, том 160 из EPTCS, стр. 30-46. (2014)Introduction to the special issue for SPIN 2019., , и . Int. J. Softw. Tools Technol. Transf., 22 (5): 563-564 (2020)A combinatory account of internal structure., и . J. Symb. Log., 76 (3): 807-826 (2011)