Demystifying magic: high-level low-level programming. - Daniel Frampton; Stephen M. Blackburn; Perry Cheng; Robin Garner; David Grove; J. Eliot B. Moss; Sergey I. Salishev (VEE, 2009)

Static analysis method for deadlock detection in SystemC designs. - Mikhail J. Moiseev; Alexey V. Zakharov; Ilya Klotchkov; Sergey I. Salishev (SoC, 2011)

A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs. - Mikhail Glukhikh; Mikhail J. Moiseev; Sergey I. Salishev (DSD, 2013)

Voice Activity Detector (VAD) Based on Long-Term Mel Frequency Band Features. - Sergey I. Salishev; Andrey Barabanov; Daniil Kocharov; Pavel A. Skrelin; Mikhail J. Moiseev (TSD, 2016)

Microphone Array Post-filter in Frequency Domain for Speech Recognition Using Short-Time Log-Spectral Amplitude Estimator and Spectral Harmonic/Noise Classifier. - Sergey I. Salishev; Ilya Klotchkov; Andrey Barabanov (SPECOM, 2017)