Browse by Author

Article

Babenko, Mikhail and Nazarov, Anton and Deryabin, Maxim and Kucherov, Nikolay and Tchernykh, Andrei and Hung, Nguyen Viet and Avetisyan, Arutyun and Toporkov, Victor (2022) Multiple Error Correction in Redundant Residue Number Systems: A Modified Modular Projection Method with Maximum Likelihood Decoding. Applied Sciences, 12 (1). p. 463. ISSN 2076-3417

Conference or Workshop Item

Thai, Phan Ninh and Viet, Hung Nguyen and Shone, Nathan and Babenko, Mikhail (2021) Function exclusion in automated security patch testing using chopped symbolic execution. In: UNSPECIFIED.