Andrey Novikov
Orcid: 0000-0003-1034-8951
According to our database1,
Andrey Novikov
authored at least 9 papers
between 2005 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Commun. Stat. Simul. Comput., August, 2025
2020
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020
2019
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019
2010
2009
Kybernetika, 2009
2005
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005