Semen Bochkov

According to our database, Semen Bochkov authored at least 9 papers between 2020 and 2021.

Collaborative distances:

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

2021

Design Workflows Graph Schemes Correctness Proof in Computer Aided Design Activity.

Nikolay N. Voit, Semen I. Bochkov

Proceedings of the Information and Software Technologies - 27th International Conference, 2021

Method to Interpret Algorithms and Design Workflows in the Complex Computer-Aided Design Development.

Nikolay Voit, Semen Bochkov

Proceedings of the Informatics and Intelligent Applications, 2021

Design Workflows and Algorithm Diagrams Interpretation Method in Software Development.

Nikolay Nikolaevich Voit, Semen Igorevich Bochkov, Sergey Yuryevich Kirillov, Maria Ukhanova

Proceedings of the ICCTA 2021: 7th International Conference on Computer Technology Applications, Vienna, Austria, July 13, 2021

Method to Convert UML State Chart Diagram to the Virtual Object Mock-Up.

Nikolay Voit, Semen Bochkov

Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

Formal Method to Analyze Design Workflows in Software Development.

Nikolay Voit, Semen Bochkov

Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

2020

Denotative and Significative Semantics Analysis and Control Methods in Diagrams.

Nikolay N. Voit, Semen Bochkov

Proceedings of the Supplementary Proceedings of the XXII International Conference on Data Analytics and Management in Data Intensive Domains, 2020

Analytical Model of Design Workflows Organization in the Automated Design of Complex Technical Products.

Nikolay Voit, Sergey Yuryevich Kirillov, Semen Bochkov, Irina Ionova

Proceedings of the Information and Software Technologies - 26th International Conference, 2020

Ontology-Based Organizational and Technical Components Semantic Model Development.

Alexander Afanasyev, Nikolay Voit, Maria Ukhanova, Sergey Yuryevich Kirillov, Semen Bochkov

Proceedings of the ICGDA 2020: 3rd International Conference on Geoinformatics and Data Analysis, 2020

Converting Diagram to a Timeline Ontology.

Nikolay Voit, Sergey Yuryevich Kirillov, Semen Bochkov

Proceedings of the ICCTA 2020: 6th International Conference on Computer and Technology Applications, 2020