Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Stanislav N. Vassilyev

Stanislav Nikolaevich Vassilyev – Васильев Станислав Николаевич

> Home > Persons

Person information

unicode name: Васильев Станислав Николаевич
affiliation: Siberian Branch of Russian Academy of Sciences, Institute for System Dynamics and Control Theory, Irkutsk, Russia

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1997
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/aei/ButyrinMMSV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aei/ButyrinMMSV97
Sergey A. Butyrin, V. P. Makarov, R. R. Mukumov, Yevgeny I. Somov, Stanislav N. Vassilyev:
An expert system for design of spacecraft attitude control systems. Artif. Intell. Eng. 11(1): 49-59 (1997)
1990
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Vassilyev90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Vassilyev90
Stanislav N. Vassilyev:
Machine Synthesis of Mathematical Theorems. J. Log. Program. 9(2&3): 235-266 (1990)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2013
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/mim/VassilyevNB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mim/VassilyevNB13
Stanislav N. Vassilyev, Dmitry A. Novikov, Natalia Bakhtadze:
Intelligent Control of Industrial Processes. MIM 2013: 49-57
2012
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sace/SomovKDSZVKD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sace/SomovKDSZVKD12
Yevgeny I. Somov, Lyudmila K. Kuzmina, Gennady Degtyarev, Talgat Sirazetdinov, Alexander Zemlyakov, Stanislav N. Vassilyev, Ravil Kozlov, Eduard Druzhynin:
Academician V.M. Matrosov: Research and Teaching on Stability, Nonlinear Dynamics and Control in Aerospace Systems. ACE 2012: 7-12
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sace/KurdyukovLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sace/KurdyukovLV12
Alexander P. Kurdyukov, Tatyana A. Letova, Stanislav N. Vassilyev:
A.M. Letov: Life, Scientific Research, International Activity and Teaching Operation. ACE 2012: 13-17
2009
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcca/Vassilyev09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcca/Vassilyev09
Stanislav N. Vassilyev:
Logic-based intelligent control. CCA/ISIC 2009
1999
[c7]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/CherkashinPVZ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/CherkashinPVZ99
Evgeny A. Cherkashin, A. Postoenko, Stanislav N. Vassilyev, A. Zherlov:
New Logics for Intelligent Control. FLAIRS 1999: 257-261
1998
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/Vassilyev98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/Vassilyev98
Stanislav N. Vassilyev:
Methods of proving, hypothesizing and time reasoning for real-time control of moving objects. SMC 1998: 1433-1438
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/CherkashinV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/CherkashinV98
Evgeny A. Cherkashin, Stanislav N. Vassilyev:
Telescope guidance via automatic theorem proving. SMC 1998: 1439-1444
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/Vassilyev98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/Vassilyev98a
Stanislav N. Vassilyev:
The method of synthesis of derivability conditions for Horn formulas and some other formulas. SMC 1998: 1451-1456
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/KuznetsovLV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/KuznetsovLV98
P. K. Kuznetsov, A. V. Lakeyev, Stanislav N. Vassilyev:
Logical Lyapunov functions for analysis of dynamic behavior of hybrid models of switching circuits. SMC 1998: 1457-1461
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/SivasundaramV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/SivasundaramV98
S. Sivasundaram, Stanislav N. Vassilyev:
Automata dynamics preserved under homomorphism: connectness, reachability, optimality. SMC 1998: 1462-1466
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/MoskalenkoMV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/MoskalenkoMV98
A. A. Moskalenko, A. I. Moskalenko, Stanislav N. Vassilyev:
Nonlinear classes of problems of environmental activity optimal control. SMC 1998: 1467-1472

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.