Vitaly A. Semenov

According to our database, Vitaly A. Semenov authored at least 18 papers between 2000 and 2024.

Collaborative distances:

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

2024

Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language.

Vitaly A. Semenov, Sergey V. Morozov, Semyon V. Arishin, Olga N. Kuzina, Vladimir I. Rimshin, Elena V. Makisha

Program. Comput. Softw., October, 2024

2022

Formal Rules to Produce Object Notation for EXPRESS Schema-Driven Data.

Vitaly A. Semenov, Semyon V. Arishin, Georgii V. Semenov

Program. Comput. Softw., 2022

2020

Visualization of Large Scenes with Deterministic Dynamics.

Vitaly A. Semenov, Vassili N. Shutkin, Vladislav A. Zolotov, Sergey V. Morozov, Vyatcheslav I. Gonakhchyan

Program. Comput. Softw., 2020

2019

Effective consistency management for large-scale product data.

Vitaly A. Semenov, Denis V. Ilyin, Sergey Morozov, Oleg A. Tarlapan

J. Ind. Inf. Integr., 2019

Visualization of Complex Industrial Products and Processes Using Hierarchical Dynamic LODs.

Vitaly A. Semenov, Vassili N. Shutkin, Vladislav A. Zolotov

Proceedings of the Transdisciplinary Engineering for Complex Socio-technical Systems, 2019

2018

Erratum to: Methods of Spatial Indexing of Dynamic Scenes Based on Regular Octrees.

Vladislav A. Zolotov, Konstantin S. Petrishchev, Vitaly A. Semenov

Program. Comput. Softw., 2018

Holistic Framework for Spatial-Temporal Analysis of Production Schedules.

Vitaly A. Semenov, Semyon V. Arishin, Konstantin S. Petrishchev, Vladislav A. Zolotov

Proceedings of the Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0, 2018

Management of Complex Product Data Using Incremental Semantic Validation.

Denis V. Ilyin, Sergey Morozov, Vitaly A. Semenov, Oleg A. Tarlapan

Proceedings of the Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0, 2018

2017

Product Data Management with Solid Transactional Guarantees.

Vitaly A. Semenov

Proceedings of the Transdisciplinary Engineering: A Paradigm Shift, 2017

Indexing of Hierarchically Organized Spatial-Temporal Data Using Dynamic Regular Octrees.

Sergey Morozov, Vitaly A. Semenov, Oleg A. Tarlapan, Vladislav A. Zolotov

Proceedings of the Perspectives of System Informatics, 2017

2016

Methods of spatial indexing of dynamic scenes based on regular octrees.

Vladislav A. Zolotov, Konstantin S. Petrishchev, Vitaly A. Semenov

Program. Comput. Softw., 2016

2013

Visual Planning and Scheduling of Industrial Projects with Spatial Factors.

Vitaly A. Semenov, Anton Anichkin, Sergei V. Morozov, Oleg A. Tarlapan, Vladislav A. Zolotov

Proceedings of the 20th ISPE International Conference on Concurrent Engineering, 2013

2011

Concurrent Planning Using Semantics-driven Reconciliation.

Vitaly A. Semenov, Sergei V. Morozov, Oleg A. Tarlapan, Vladislav A. Zolotov

Proceedings of the Improving Complex Systems Today, 2011

2010

On complementary principles of object-oriented constraint programming.

Vitaly A. Semenov, K. V. Dragalov, Denis V. Ilyin, Sergei V. Morozov, O. V. Sidyaka

Program. Comput. Softw., 2010

2007

Collaborative Software Engineering Using Metamodel-Driven Approach.

Vitaly A. Semenov

Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

2000

An object-oriented architecture for applications of scientific visualization and mathematical modeling.

Vitaly A. Semenov, P. B. Krylov, Sergey V. Morozov, Oleg A. Tarlapan

Program. Comput. Softw., 2000

Visualization in string theory.

Stanislav V. Klimenko, Igor N. Nikitin, Valery V. Burkin, Vitaly A. Semenov, Oleg A. Tarlapan, Hans Hagen

Comput. Graph., 2000

An Object-Oriented Architecture for Integrated CAD Systems.

Vitaly A. Semenov, Sergei V. Morozov, Oleg A. Tarlapan, Thomas Jung

Proceedings of the CAD 2000: Kommunikation, 2000