Sergey Morozov

Orcid: 0000-0002-0211-2300

Affiliations:
  • Russian Academy of Sciences, Ivannikov Institute for System Programming, Moscow, Russia
  • Moscow State University, Russia


According to our database1, Sergey Morozov authored at least 10 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language.
Program. Comput. Softw., October, 2024

2020
Visualization of Large Scenes with Deterministic Dynamics.
Program. Comput. Softw., 2020

2019
Effective consistency management for large-scale product data.
J. Ind. Inf. Integr., 2019

2018
Management of Complex Product Data Using Incremental Semantic Validation.
Proceedings of the Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0, 2018

2017
Indexing of Hierarchically Organized Spatial-Temporal Data Using Dynamic Regular Octrees.
Proceedings of the Perspectives of System Informatics, 2017

2013
Visual Planning and Scheduling of Industrial Projects with Spatial Factors.
Proceedings of the 20th ISPE International Conference on Concurrent Engineering, 2013

2011
Concurrent Planning Using Semantics-driven Reconciliation.
Proceedings of the Improving Complex Systems Today, 2011

2010
On complementary principles of object-oriented constraint programming.
Program. Comput. Softw., 2010

2000
An object-oriented architecture for applications of scientific visualization and mathematical modeling.
Program. Comput. Softw., 2000

An Object-Oriented Architecture for Integrated CAD Systems.
Proceedings of the CAD 2000: Kommunikation, 2000


  Loading...