Alexander Degtyarev

Probabilistic qualities of nonlinear stochastic rolling

Vadim Belenky, Alexander Degtyarev, Alexander V. Boukhanovsky · Ocean Engineering · 1998 · 26 citations

Stochastic System, Stochastic Dynamical System, Probability Theory +2

Simultaneous rigid E-unification and related algorithmic problems

Alexander Degtyarev, Yuri Matiyasevich · 2002 · 22 citations

Mathematical Programming, Automated Theorem, Computational Logic +14

Decidability problems for the prenex fragment of intuitionistic logic

Alexander Degtyarev · 2002 · 21 citations

Intuitionistic Logic, Non-classical Logic, Engineering +12

Towards the implementation of first-order temporal resolution: the expanding domain case

Boris Konev, Clare Dixon, Alexander Degtyarev et al. · 2004 · 18 citations · Full text

Artificial Intelligence, Engineering, Higher-order Logic +19

Virtual private supercomputer: Design and evaluation

Ivan Gankevich, Vladimir Gaiduchok, Dmitry Gushchanskiy et al. · 2013 · 17 citations

Cluster Computing, Engineering, Computer Architecture +18