The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexander A. Letichevsky: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov
    Tools for Solving Problems in the Scope of Algebraic Programming. [Citation Graph (0, 0)][DBLP]
    AISMC, 1994, pp:30-47 [Conf]
  2. Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov
    Requirement Capturing and 3CR Approac. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:279-283 [Conf]
  3. Alexander A. Letichevsky
    On finding invariant relations of programs. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:304-314 [Conf]
  4. Alexander A. Letichevsky
    Algebras with Approximation and Excursive Data Structures. [Citation Graph (0, 0)][DBLP]
    FCT, 1987, pp:284-287 [Conf]
  5. Y. V. Kapitonova, Alexander A. Letichevsky
    Design Problems of Software Special Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1971, pp:335-338 [Conf]
  6. Alexander A. Letichevsky
    Algebra of Algorithms, Data Structures and Parallel Computation. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:859-864 [Conf]
  7. Vladimir S. Mikhalevich, Julia V. Kapitonova, Alexander A. Letichevsky
    On Model of Macroconveyor Computations. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:975-980 [Conf]
  8. Alexander V. Lyaletski, Alexander A. Letichevsky, Oleksandr Kalinovskyy
    Literal Trees and Resolution Technique. [Citation Graph (0, 0)][DBLP]
    Intelligent Information Systems, 2005, pp:97-106 [Conf]
  9. Alexander A. Letichevsky, Julia V. Kapitonova
    Algebraic Programming in the APS System. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1990, pp:68-75 [Conf]
  10. Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko
    Algebraic Programs Optimization. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1991, pp:370-376 [Conf]
  11. Alexander A. Letichevsky
    Development of Rewriting Strategies. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:378-390 [Conf]
  12. Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert
    Semantics of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2005, pp:117-132 [Conf]
  13. Alexander A. Letichevsky, David Gilbert
    A Model for Interaction of Agents and Environments. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:311-328 [Conf]
  14. Alexander A. Letichevsky, M. S. Lvov
    Discovery of Invariant Equalities in Programs over Data Fields. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 1993, v:4, n:, pp:269-286 [Journal]
  15. Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert
    Basic protocols, message sequence charts, and the verification of requirements specifications. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2005, v:49, n:5, pp:661-675 [Journal]
  16. Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert
    The development of interactive algorithms for the Mathematical Environment. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
  17. Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko
    Computations in APS. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:145-171 [Journal]
  18. Alexander A. Letichevsky
    Basic Protocols: Specification Language for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:21-25 [Conf]

  19. The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002