References in zbMATH (referenced in 31 articles , 1 standard article )

Showing results 1 to 20 of 31.
Sorted by year (citations)

1 2 next

  1. Lvov, M. S.; Peschanenko, V. S.: Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling (2012)
  2. Andon, P. I.; Doroshenko, A. Yu.; Zhereb, K. A.: Programming high-performance parallel computations: formal models and graphics processing units (2011) ioport
  3. Kolchin, A. V.: An automatic method for the dynamic construction of abstractions of states of a formal model (2010)
  4. Letichevsky, A. A.; German, V. N.; Morokhovets, M. K.; Shchogoleva, N. N.: Parallel inference search in logical calculus based on the algebraic programming system (2010)
  5. Goncharov, S. V.; Rudich, A. Ye.: Translation of algebraic programs into executable codes (2005)
  6. Letichevsky, A. Ad.; Kapitonova, Yu. V.; Volkov, V. A.; Letichevsky, A. A.; Baranov, S. N.; Kotlyarov, V. P.; Weigert, T.: Systems specification by basic protocols (2005)
  7. Letichevsky, A.; Kapitonova, J.; Letichevsky, A. jun.; Volkov, V.; Baranov, S.; Weigert, T.: Basic protocols, message sequence charts, and the verification of requirements specifications (2005)
  8. Letichevskij, A. A.; Khomenko, V. V.: A rewriting machine and optimization of strategies of term rewriting (2002)
  9. Tseitlin, G. E.; Amons, A. A.; Golovin, O. V.; Zubtsov, A. Yu.: Integrated tools for design and synthesis of classes of algorithms and programs (2000)
  10. Degtyarev, A. I.; Kapitonova, Yu. V.; Letichevskii, A. A.; Lyaletski, A. V.; Morokhovets, M. K.: The evidence algorithm and problems of representation and processing of mathematical computer knowledge (1999)
  11. Letichevsky, A. A.; Kapitonova, J. V.; Volkov, V. A.; Chugayenko, A.; Khomenko, V.; Gilbert, D. R.: The development of interactive algorithms for the mathematical environment (1999)
  12. Matveeva, L. E.; Chugaenko, A. V.: Tools for simulation of parallel computations in a system of algebraic programming (1999)
  13. Vinnichuk, I. P.: Algebra of algorithmics and design of systems for synthesis of multimedia applications in the windows environment (1999)
  14. Kapitonova, Yu. V.; Letichevskij, A. A.: Theorem proving in a mathematical information environment (1998)
  15. Letichevskij, A. A.: The development of a partial evaluator for extended lambda calculus (1997)
  16. Letichevskij, A. A.; Denisenko, P. N.; Bilenko, V. I.; Volkov, V. A.: Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations (1997)
  17. Letichevskij, A. A.; Marinchenko, V. G.: Objects in algebraic programming system (1997)
  18. Godlevskij, A. B.: Parallel dynamic semantics of sequential programs with speculative and incremental computation (1996)
  19. Val’kevich, T. A.; Kapitonova, Yu. V.; Letichevskij, A. A.; Mishchenko, N. M.: Paradigm of software component dictionaries for software development (1996)
  20. Grebnev, V. A.; Kapitonova, Yu. V.; Letichevskij, A. A.: Hardware simulation in distributed computing systems: Methods and tools (1995)

1 2 next