Andrei P. Nemytykh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2002–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CAV | A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? | Alexei Lisitsa, Andrei P. Nemytykh |
| 2014 | CAV | On Unfolding for Programs Using Strings as a Data Type. | Andrei P. Nemytykh |
| 2013 | CAV | Cryptographic Protocol Verification via Supercompilation (A Case Study). | Abdulbasit Ahmed, Alexei Lisitsa, Andrei P. Nemytykh |
| 2007 | CSR | A Note on Specialization of Interpreters. | Alexei Lisitsa, Andrei P. Nemytykh |
| 2005 | COMPSAC | Towards Verification via Supercompilation. | Alexei Lisitsa, Andrei P. Nemytykh |
| 2002 | PEPM | A note on elimination of simplest recursions. | Andrei P. Nemytykh |