Andrei P. Nemytykh

According to our database, Andrei P. Nemytykh authored at least 19 papers between 1990 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

On Specialization of a Program Model of Naive Pattern Matching in Strings (Extended Abstract).

Andrei P. Nemytykh

CoRR, 2021

2017

Verification of Programs via Intermediate Interpretation.

Alexei P. Lisitsa, Andrei P. Nemytykh

Proceedings of the Proceedings Fifth International Workshop on Verification and Program Transformation, 2017

Verifying Programs via Intermediate Interpretation.

Alexei P. Lisitsa, Andrei P. Nemytykh

CoRR, 2017

2016

Automated verification of programs and Web systems.

Maurice H. ter Beek, Alexei Lisitsa, Andrei P. Nemytykh, António Ravara

J. Log. Algebraic Methods Program., 2016

2015

Finite Countermodel Based Verification for Program Transformation (A Case Study).

Alexei P. Lisitsa, Andrei P. Nemytykh

Proceedings of the Third International Workshop on Verification and Program Transformation, 2015

2014

On Unfolding for Programs Using Strings as a Data Type.

Andrei P. Nemytykh

Proceedings of the VPT 2014. Second International Workshop on Verification and Program Transformation, 2014

A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?

Alexei Lisitsa, Andrei P. Nemytykh

Proceedings of the VPT 2014. Second International Workshop on Verification and Program Transformation, 2014

2013

Cryptographic Protocol Verification via Supercompilation (A Case Study).

Abdulbasit Ahmed, Alexei Lisitsa, Andrei P. Nemytykh

Proceedings of the First International Workshop on Verification and Program Transformation, 2013

2012

A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal?

Alexei Lisitsa, Andrei P. Nemytykh

CoRR, 2012

2010

On one application of computations with oracle.

Alexei Lisitsa, Andrei P. Nemytykh

Program. Comput. Softw., 2010

2008

Reachability Analysis in Verification via Supercompilation.

Alexei Lisitsa, Andrei P. Nemytykh

Int. J. Found. Comput. Sci., 2008

2007

Verification as a parameterized testing (experiments with the SCP4 supercompiler).

Alexei Lisitsa, Andrei P. Nemytykh

Program. Comput. Softw., 2007

A Note on Specialization of Interpreters.

Alexei Lisitsa, Andrei P. Nemytykh

Proceedings of the Computer Science, 2007

2005

Towards Verification via Supercompilation.

Alexei Lisitsa, Andrei P. Nemytykh

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2003

The Supercompiler SCP4: General Structure.

Andrei P. Nemytykh

Proceedings of the Perspectives of Systems Informatics, 2003

2002

A note on elimination of simplest recursions.

Andrei P. Nemytykh

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

1996

Program Transformation with Metasystem Transitions: Experiments with a Supercompiler.

Andrei P. Nemytykh, Victoria A. Pinchuk

Proceedings of the Perspectives of System Informatics, 1996

A Self-Applicable Supercompiler.

Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin

Proceedings of the Partial Evaluation, International Seminar, 1996

1990

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

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990