Vitaly A. Semenov

18 papers C 1Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2024 J jnl
Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language.
Program. Comput. Softw.
Vitaly A. Semenov, Sergey V. Morozov, Semyon V. Arishin, Olga N. Kuzina, Vladimir I. Rimshin, Elena V. Makisha
2022 J jnl
Formal Rules to Produce Object Notation for EXPRESS Schema-Driven Data.
Program. Comput. Softw.
Vitaly A. Semenov, Semyon V. Arishin, Georgii V. Semenov
2020 J jnl
Visualization of Large Scenes with Deterministic Dynamics.
Program. Comput. Softw.
Vitaly A. Semenov, Vassili N. Shutkin, Vladislav A. Zolotov, Sergey V. Morozov, Vyatcheslav I. Gonakhchyan
2019 J jnl
Effective consistency management for large-scale product data.
J. Ind. Inf. Integr.
Vitaly A. Semenov, Denis V. Ilyin, Sergey Morozov, Oleg A. Tarlapan
2019 — conf
Visualization of Complex Industrial Products and Processes Using Hierarchical Dynamic LODs.
TE
Vitaly A. Semenov, Vassili N. Shutkin, Vladislav A. Zolotov
2018 J jnl
Erratum to: Methods of Spatial Indexing of Dynamic Scenes Based on Regular Octrees.
Program. Comput. Softw.
Vladislav A. Zolotov, Konstantin S. Petrishchev, Vitaly A. Semenov
2018 — conf
Holistic Framework for Spatial-Temporal Analysis of Production Schedules.
TE
Vitaly A. Semenov, Semyon V. Arishin, Konstantin S. Petrishchev, Vladislav A. Zolotov
2018 — conf
Management of Complex Product Data Using Incremental Semantic Validation.
TE
Denis V. Ilyin, Sergey Morozov, Vitaly A. Semenov, Oleg A. Tarlapan
2017 — conf
Indexing of Hierarchically Organized Spatial-Temporal Data Using Dynamic Regular Octrees.
Ershov Informatics Conference
Sergey Morozov, Vitaly A. Semenov, Oleg A. Tarlapan, Vladislav A. Zolotov
2017 — conf
Product Data Management with Solid Transactional Guarantees.
TE
Vitaly A. Semenov
2016 J jnl
Methods of spatial indexing of dynamic scenes based on regular octrees.
Program. Comput. Softw.
Vladislav A. Zolotov, Konstantin S. Petrishchev, Vitaly A. Semenov
2013 — conf
Visual Planning and Scheduling of Industrial Projects with Spatial Factors.
CE
Vitaly A. Semenov, Anton Anichkin, Sergei V. Morozov, Oleg A. Tarlapan, Vladislav A. Zolotov
2011 — conf
Concurrent Planning Using Semantics-driven Reconciliation.
CE
Vitaly A. Semenov, Sergei V. Morozov, Oleg A. Tarlapan, Vladislav A. Zolotov
2010 J jnl
On complementary principles of object-oriented constraint programming.
Program. Comput. Softw.
Vitaly A. Semenov, K. V. Dragalov, Denis V. Ilyin, Sergei V. Morozov, O. V. Sidyaka
2007 C conf
Collaborative Software Engineering Using Metamodel-Driven Approach.
WETICE
Vitaly A. Semenov
2000 — conf
An Object-Oriented Architecture for Integrated CAD Systems.
CAD
Vitaly A. Semenov, Sergei V. Morozov, Oleg A. Tarlapan, Thomas Jung
2000 J jnl
An object-oriented architecture for applications of scientific visualization and mathematical modeling.
Program. Comput. Softw.
Vitaly A. Semenov, P. B. Krylov, Sergey V. Morozov, Oleg A. Tarlapan
2000 J jnl
Visualization in string theory.
Comput. Graph.
Stanislav V. Klimenko, Igor N. Nikitin, Valery V. Burkin, Vitaly A. Semenov, Oleg A. Tarlapan, Hans Hagen