Implementation Of The Symbolic Analytic Transformations Language FLAC. - S. V. Chmutov; E. A. Gaydar; I. M. Ignatovich; V. F. Kozadoy; Andrei P. Nemytykh; Victoria A. Pinchuk (DISCO, 1990)

A Self-Applicable Supercompiler. - Andrei P. Nemytykh; Victoria A. Pinchuk; Valentin F. Turchin (Dagstuhl Seminar on Partial Evaluation, 1996)

Program Transformation with Metasystem Transitions: Experiments with a Supercompiler. - Andrei P. Nemytykh; Victoria A. Pinchuk (Ershov Memorial Conference, 1996)

A note on elimination of simplest recursions. - Andrei P. Nemytykh (ASIA-PEPM, 2002)

The Supercompiler SCP4: General Structure. - Andrei P. Nemytykh (Ershov Memorial Conference, 2003)

Towards Verification via Supercompilation. - Alexei Lisitsa 001; Andrei P. Nemytykh (COMPSAC (2), 2005)

A Note on Specialization of Interpreters. - Alexei Lisitsa 001; Andrei P. Nemytykh (CSR, 2007)

Verification as a parameterized testing (experiments with the SCP4 supercompiler). - Alexei Lisitsa 001; Andrei P. Nemytykh (Program. Comput. Softw., 2007)

Reachability Analysis in Verification via Supercompilation. - Alexei Lisitsa 001; Andrei P. Nemytykh (Int. J. Found. Comput. Sci., 2008)

On one application of computations with oracle. - Alexei Lisitsa 001; Andrei P. Nemytykh (Program. Comput. Softw., 2010)

A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal? - Alexei Lisitsa 001; Andrei P. Nemytykh (CoRR, 2012)

Cryptographic Protocol Verification via Supercompilation (A Case Study). - Abdulbasit Ahmed; Alexei Lisitsa 001; Andrei P. Nemytykh (VPT@CAV, 2013)

A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? - Alexei Lisitsa 001; Andrei P. Nemytykh (VPT@CAV, 2014)

On Unfolding for Programs Using Strings as a Data Type. - Andrei P. Nemytykh (VPT@CAV, 2014)

Finite Countermodel Based Verification for Program Transformation (A Case Study). - Alexei P. Lisitsa; Andrei P. Nemytykh (VPT@ETAPS, 2015)

Automated verification of programs and Web systems. - Maurice H. ter Beek; Alexei Lisitsa 001; Andrei P. Nemytykh; António Ravara (J. Log. Algebraic Methods Program., 2016)

Verifying Programs via Intermediate Interpretation. - Alexei P. Lisitsa; Andrei P. Nemytykh (CoRR, 2017)

Verification of Programs via Intermediate Interpretation. - Alexei P. Lisitsa; Andrei P. Nemytykh (VPT@ETAPS, 2017)

On Specialization of a Program Model of Naive Pattern Matching in Strings (Extended Abstract). - Andrei P. Nemytykh (CoRR, 2021)