Victoriya Kuznietcova

According to our database, Victoriya Kuznietcova authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

Development of a Syntax for Representing Regular Constraints on the Behavior of Distributed Systems with Output.

Grygoriy Zholtkevych, Pavlo Kovalev, Victoriya Kuznietcova, Anastasiia Morozova

Proceedings of the 3rd International Workshop of IT-professionals on Artificial Intelligence, 2023

2022

Studying Mixed Normalization Strategies of Lambda Terms.

Vladyslav Shramenko, Victoriya Kuznietcova, Grygoriy Zholtkevych

Proceedings of the 2nd International Workshop of IT-professionals on Artificial Intelligence (ProfIT AI 2022) 2022, 2022