Alexey V. Demakov

According to our database, Alexey V. Demakov authored at least 5 papers between 2001 and 2022.

Collaborative distances:

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

2022

Optimization of ProVerif Programs for AKE Protocols.

Evgenii M. Vinarskii, Alexey V. Demakov

Program. Comput. Softw., 2022

2019

Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata.

Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Alexey V. Demakov

Proceedings of the 2019 IEEE East-West Design & Test Symposium, 2019

2008

Using abstract models for the generation of test data with a complex structure.

Alexey V. Demakov, Sergey V. Zelenov, Sophia A. Zelenova

Program. Comput. Softw., 2008

2007

Object-oriented description of graph data structures.

Alexey V. Demakov

Program. Comput. Softw., 2007

2001

Java Specification Extension for Automated Test Development.

Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov

Proceedings of the Perspectives of System Informatics, 2001