brand

Semenov


News

02 August, 2019 OS DAY-2019. Cooperation among operating platform developers and the security of Russian software
10 April, 2019 Ivannikov Memorial Workshop has been supported by IEEE
14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

Vitaly A. Semenov

Doctor of Physics and Mathematics, Professor

Vitaly Semenov ORCID: orcid.org/0000-0002-8766-8454
Scopus Author ID: 55419364200
Researcher ID: H-3484-2016

Position

Leading Researcher of the Institute for System Programming of Russian Academy of Sciences.
Head of department "System integration and multi-disciplinary collaborative environments"

Contacts

E-mail: vital@ispras.ru
Adress: 25 Alexander Solzjenitsin str., Moscow, Russia, 109004



Research Areas

  • Information Modeling of Data and Processes;
  • Semantic Data Management;
  • Integration of Data and Software Applications;
  • Model-Driven Software Engineering Technologies;
  • Visual Methods and Tools for Collaboration;
  • Emerging Concurrent Engineering Environments.

Projects

  • Object-Oriented Constraint Programming: Prospects, Problems, Applications. Project of the RAS Presidium, 2014. Registration number 01201281674, № 214082050011.
  • Research and Development of Methods of Access to Multidimensional Data for Visual Simulation of Large Dynamic Scenes. RFBR project 13-07-00294, 2013 -2015. Registration number 01201355217.
  • Development System for Building Traffic Planning Systems in a Complex Three-Dimensional Environment. RFBR project 16-07-00606, 2016-2018.

Сonferences

  • European Conference on Product and Process Modelling (ECPPM 2016, 2014, 2012, 2010, ...)
  • International Conference on Construction Applications of Virtual Reality (CONVR)
  • ISPE International Conference on Concurrent Engineering (CE)
  • International Conference on Computing in Civil and Building Engineering (ICCCBE)
  • International Conference on Computer Graphics and Vision (GraphiCon)
  • Baikal Russian Conference "Informational and Mathematical Technologies in Science and Management» (IMT)
  • International Conference “Information Technology in Science, Education and Management (IT + S & E)

Teaching

Lectures "Scientific visualization" for MPTI students;

Scientific adviser of the following PhD thesis

  1. Zolotov V.A. 2015 "Emerging methods for indexing spatial-temporal data";
  2. Tarlapan O.A. 1998 "Mathematical object-oriented software of linear algebra";
  3. Morozov S.V. 1998 "Object-oriented framework for numerical simulation applciations".

Dissertations

  • Vitaly A. Semenov. Doctor thesis: Object-Oriented Methodology for Evolutional Development of Mathematical Software, 1998.
  • Vitaly A. Semenov. PhD thesis: Mathematical Software for Static Simulation of Large-Scale Electronic Circuits, 1989.

Publications

2015

  1. V.A. Semenov, K.A. Kazakov, V.A. Zolotov. Effective spatial reasoning in complex 4D modeling environments. eWork and eBusiness in Architecture, Engineering and Construction, eds. A.Mahdavi, B. Martens, R. Scherer, CRC Press, Taylor & Francis Group, London, UK, 2015, pp. 181-186.
  2. V.A. Semenov, V.I. Gonahchan, S.V Morozov & O.A. Tarlapan. Ontology model for intelligent catalogues of building elements. eWork and eBusiness in Architecture, Engineering and Construction, eds. A.Mahdavi, B. Martens, R. Scherer, CRC Press, Taylor & Francis Group,London, UK, 2015, pp. 527-534.
  3. S.V. Morozov, D.V. Ilyin, V.A. Semenov, O.A. Tarlapan. A Constraint Library for Specification of Industrial Data Models. Proceedings of the Institute for System Programming Volume 27 (Issue 4). 2015 y. pp. 69-110.

2014

  1. Vitaly Semenov, Anton Anichkin, Sergey Morozov, Oleg Tarlapan, Vladislav Zolotov Effective project scheduling under workspace congestion and workflow disturbance factors.` Australasian Journal of Construction Economics and Building - Conference Series, Volume: 2. Number: 1. Publisher: University of Technology Sydney ePress, 2014. Pp. 35-50.
  2. V.A. Zolotov, K.A. Kazakov, V.A. Semenov Effective spatial reasoning in complex 4D modeling environments. eWork and eBusiness in Architecture, Engineering and Construction, ECPPM 2014 Proceedings. Publisher: CRC Press, Taylor & Francis Group, 2014. Pp. 181-186.
  3. Kazakov K.A., Semenov V.A. Global path planning in complex dynamic scenes. Proceedings of XIX Baikal Conference "Information and Mathematical Technologies in Science and Management". Vol 2. Publisher: ISEM SB RAS, 2014. Pp. 40-46.
  4. Petrishchev K.S., Zolotov V.A., Semenov V.A. Nearest-neighbor search in complex 3D scenes. Proceedings of XIX Baikal Conference "Information and Mathematical Technologies in Science and Management". Vol 3. Publisher: ISEM SB RAS, 2014. Pp. 56-62.
  5. V.A. Semenov, V.I. Gonahchan, S.V Morozov & O.A. Tarlapan Ontology model for intelligent catalogues of building elements. eWork and eBusiness in Architecture, Engineering and Construction, ECPPM 2014 Proceedings. Publisher: CRC Press, Taylor & Francis Group, 2014. Pp. 527-534.
  6. V. A. Semenov, A. S. Anichkin, S. V. Morozov, O. A. Tarlapan, V. A. Zolotov. Effective Method For Scheduling Complex Industrial Programs Under Spatio-Temporal Constraints. Proceedings of the Institute for System Programming Volume 26 (Issue 1). 2014 . pp. 457-482.
  7. V.A. Semenov, S.V. Morozov, D.V. Ilyin. A combined method for verification of large-scale data models. Proceedings of the Institute for System Programming Volume 26 (Issue 2). 2014 . pp. 197-230.

2013

  1. Vitaly Semenov, Anton Anichkin, Sergey Morozov, Oleg Tarlapan, Vladislav Zolotov Effective project scheduling under workspace congestion and workflow disturbance factors. CONVR'2013: Proceedings of the 13th International Conference on Construction Applications of Virtual Reality, 30-31 October, 2013, London, UK. Publisher: Teesside University Press, 2013. Pp. 239-252.
  2. Vitaly Semenov, Anton Anichkin, Sergey Morozov, Oleg Tarlapan and Vladislav Zolotov Visual Planning and Scheduling of Industrial Projects with Spatial Factors. Proceedings of 20th ISPE International Conference on Concurrent Engineering. Publisher: IOS Press, 2013. Pp. 343-352.
  3. V.A. Zolotov, V.A. Semenov. Advanced indexing methods for large multidimensional data in complex dynamic scenes. Proceedings of the Institute for System Programming Volume 24. 2013 . pp. 381-416.
  4. Zolotov V.A., Semenov V.A. On application of spatial decomposition method for large data sets indexing. Proceedings of the Institute for System Programming Volume 25. 2013 . pp. 131-166.

2012

  1. Vitaly Semenov, Konstantine Kazakov, Vladislav Zolotov Advanced spatio-temporal validation of construction schedules.Computing in Civil and Building Engineering, Proceedings of the 14th International Conference, 27-29 June, Moscow, Russia. Publisher: Moscow State University of Civil Engineering, 2012. Pp. 184-185 (full paper 8 p.p. published on CD).
  2. V.A. Semenov, K.A. Kazakov & V.A. Zolotov Global path planning in 4D environments using topological mapping. eWork and eBusiness in Architecture, Engineering and Construction, ECPPM 2012 Proceedings. Publisher: CRC Press, Taylor & Francis Group, 2012. Pp. 263-269.
  3. Vitaly Semenov, Konstantine Kazakov, Vladislav Zolotov Spatio-temporal validation of construction projects against path conflicts. CONVR'2012: Proceedings of the 12th International Conference on Construction Applications of Virtual Reality, Taipei, Taiwan. Publisher: National Taiwan University Press, 2012. Pp. 542-551.
  4. Ilyin D.V., Morozov S.V., Semenov V.A. Verification of object-oriented data models. Proceedings of XVII Baikal Conference "Information and Mathematical Technologies in Science and Management". Vol 2. Publisher: ISEM SB RAS, 2012. Pp. 123-130.

2011

  1. Vitaly Semenov, Sergey Morozov, Oleg Tarlapan and Vladislav Zolotov Concurrent Planning Using Semantics-driven Reconciliation. Improving Complex Systems Today. Advanced Concurrent Engineering. Publisher: Springer London, 2011. Pp. 191-198.
  2. Vitaly Semenov, Oleg Tarlapan, Sergey Morozov, Konstantine Kazakov, Vladislav Zolotov Global Path Planning in Complex Environments using Metric and Topological Schemes. Proceedings of the CIB W78-W102 2011: International Conference – Sophia Antipolis, France, 26-28 October. Publisher: Office for Official Publications of the European Communities, 2011. Pp. 87-95.
  3. Ilyin D.I., Morozov S.V., Semenov V.A. On a cardinality problem in object-oriented models. Proceedings of XVI Baikal Conference "Information and Mathematical Technologies in Science and Management". Vol 3. Publisher: ISEM SB RAS, 2011. Pp. 158-163.
  4. Konstantine Kazakov, Vitaly Semenov, Vladislav Zolotov Topological Mapping Complex 3D Environments Using Occupancy Octrees. GraphiCon'2011: The 21st International Conference on Computer Graphics and Vision, September 26-30, 2011, Moscow, Russia: Conference Proceedings. Publisher: МАКС Пресс, 2011. Pp. 111-114.
  5. Konstantine Kazakov, Vladislav Zolotov, Vitaly Semenov, Tom Dengenis Virtual Construction: 4D Planning and Validation.CONVR'2011: Proceedings of the 11th International Conference on Construction Applications of Virtual Reality, 3-4 November, 2011, Bauhaus-Universität Weimar, Germany. Publisher: Bauhaus-Universität Weimar, 2011. Pp. 295-308.

2010

  1. V.A. Semenov, K.A. Kazakov, S.V. Morozov, O.A. Tarlapan, V.A. Zolotov, T. Dengenis 4D modeling of large industrial projects using spatio-temporal decomposition. eWork and eBusiness in Architecture, Engineering and Construction, ECPPM 2010 Proceedings. Publisher: CRC Press, Taylor & Francis Group, 2010. Pp. 69-78.
  2. Vitaly Semenov & Konstantine Kazakov & Vladislav Zolotov & Huw Jones & Stephan Jones Combined strategy for efficient collision detection in 4D planning applications. Computing in Civil and Building Engineering, Proceedings of the International Conference, 30 June-2 July, Nottingham, UK. Publisher: Nottingham University Press, 2010. Pp. 31 (full paper 6 p.p. published on CD).
  3. V.A. Semenov, K.V. Dragalov, D.V. Ilyin, S.V. Morozov, and O.V. Sidyaka On Complementary Principles of Object-Oriented Constraint Programming. Programming and Computer Software. Volume: 36. Number: 5. Publisher: MAIK Nauka/Interperiodica, 2010. Pp. 264-275.
  4. V.A. Semenov, O.V. Sidyaka. Theoretical and practical complexity estimates for local propagation methods in constraint-based programming applications. Proceedings of the Institute for System Programming Volume 19. 2010 . pp. 117-138.
  5. V.A. Semenov, D.V. Ilyin, S.V. Morozov, O.V. Sidyaka. Object-oriented constraint-based programming: a new paradigm using declarative data modeling languages. Proceedings of the Institute for System Programming Volume 19. 2010 . pp. 95-116.

2008

  1. Vitaly Semenov, Sergey Morozov, Huw Jones, Anna Semenova Achieving Schedule Concurrency & Consistency in Major Collaborative Projects. Proceedings of 12th International Conference on Computing in Civil and Building Engineering & 2008 International Conference on Information Technology in Construction, October 16-18, Beijing, China. Publisher: Tsinghua University Press, 2008. Pp. 179 (full paper 6 p.p. published on CD).
  2. V.A. Semenov, S.V. Morozov, O.A. Tarlapan, H. Jones, A.V. Semenova Consistent Reconciliation of Divergent Project Schedules Under Semantic & Functional Constraints. eWork and eBusiness in Architecture, Engineering and Construction, ECPPM 2008 Proceedings. Publisher: CRC Press, Taylor & Francis Group, 2008. Pp. 307-316.

2007

  1. Vitaly Semenov Collaborative Software Engineering Using Metamodel-Driven Approach Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007). Publisher: IEEE Computer Society Conference Publishing Services, 2007. Pp. 178-179.
  2. Vitaly Semenov Semantics-based Reconciliation of Divergent Replicas in Advanced Concurrent Engineering Environments.Complex Systems Concurrent Engineering: Collaboration, Technology Innovation and Sustainability. Publisher: Springer-Verlag, 2007. Pp. 557-564.

2006

  1. V.A. Semenov, A.A.Karaulov Semantic-Based Decomposition of Long-Lived Transactions in Advanced Collaborative Environments.eWork and eBusiness in Architecture, Engineering and Construction, ECPPM 2006 Proceedings. Publisher: Taylor & Francis Group, 2006. Pp. 223-231.

2005

  1. V.A. Semenov, A.A. Bazhan, S.V. Morozov & O.A. Tarlapan Efficient Verification of Product Model Data: an Approach and an Analysis. CIB-W78 22nd Conference on Information Technology in Construction, Dresden, Germany, July 19-21, 2005. Publisher: Institute for Construction Informatics, Technische Universität Dresden, 2005. Pp. 261-268.

2004

  1. V. Semenov, A. Bazhan, S. Morozov Distributed STEP-compliant Platform for Multi-modal Collaboration in Architecture, Engineering and Construction. Proceedings of X International Conference on Computing in Civil and Building Engineering, ICCCBE, 2004.06.02-04, Weimar, Germany. Publisher: Bauhaus-Universität, VDG Weimar, 2004. Pp. 318-319 (full paper 12 p.p. published online and on CD).
  2. Vitaly Semenov, Elena Alekseeva, Sergey Morozov, Oleg Tarlapan STEP-Compliant Application Framework for Virtual Prototyping.Proceedings of GraphiCon 2004. Publisher: Dialog-MSU, 2004. Pp. 192-195.
  3. V. Semenov, E. Alekseeva, O.Tarlapan Virtual Construction Using Map-Based Approach. Proceedings of X International Conference on Computing in Civil and Building Engineering, ICCCBE, 2004.06.02-04, Weimar, Germany. Publisher: Bauhaus-Universität, VDG Weimar, 2004. Pp. 254-255 (full paper 12 p.p. published online and on CD).

2002

  1. S.V. Morozov, V.A. Semenov, O.A. Tarlapan Virtual Reality Modeling Using Mapping Declarations. Computer Graphics and Artificial Intelligence, 5th International Conference 3IA’2002, Limoges, France, 14-15 May, 2002. Publisher: Clermont-Ferrand, 2002. Pp. 129-135.

2000

  1. V.A. Semenov, P.B. Krylov, S.V. Morozov, and O.A. Tarlapan An Object-Oriented Architecture for Applications of Scientific Visualization and Mathematical Modeling. Programming and Computer Software. Volume: 26. Number: 2. Publisher: MAIK Nauka/Interperiodica, 2000. Pp. 74-83.
  2. Vitaly Semenov, Sergei Morozov, Oleg Tarlapan, Thomas Jung An object-oriented architecture for integrated CAD systems.Tagungsband CAD 2000, Kommunikation, Kooperation, Koordination, Berlin, März 2000. Publisher: GI Gesellschaft für Informatik e.V., 2000. Pp. 195-217.

1999

  1. Victor Ivannikov, Sergei Morozov, Vitaly Semenov, Oleg Tarlapan, Reinhard Rasche, Thomas Jung Parallel object-oriented modeling and visualization in OpenMV environment. Proceedings of GraphiCon'99. Publisher: Dialog-MSU, 1999. Pp. 206-213.
  2. Stanislav Klimenko, Igor Nikitin, Valery Burkin, Vitaly Semenov, Oleg Tarlapan, Hans Hagen Visualization in string theory.Proceedings of GraphiCon'99. Publisher: Dialog-MSU, 1999. Pp. 301-308.

1978-1997

  1. V.A. Semenov Object Systematization and Paradigms of Computational Mathematics. Programming and Computer Software. Volume: 23. Number: 4. Publisher: MAIK Nauka/Interperiodica, 1997. Pp. 189-197.