- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c18 |      | |
| c17 | | Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko: Efficient Algorithm for Reachability Checking in Modeling. ICTERI 2012: 71-81 |
| 2011 | ||
| c16 | | Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko: Insertion Modeling System. Ershov Memorial Conference 2011: 262-273 |
| 2010 | ||
| c15 | | Alexander A. Letichevsky, Arsen S. Shoukourian, Samvel K. Shoukourian: The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape. LATA 2010: 392-402 |
| 2006 | ||
| c14 | | Alexander A. Letichevsky: Basic Protocols: Specification Language for Distributed Systems. Ershov Memorial Conference 2006: 21-25 |
| 2005 | ||
| j4 | | 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. Computer Networks 49(5): 661-675 (2005) |
| c13 |  | Alexander V. Lyaletski, Alexander A. Letichevsky, Oleksandr Kalinovskyy: Literal Trees and Resolution Technique. Intelligent Information Systems 2005: 97-106 |
| c12 | | Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert: Semantics of Message Sequence Charts. SDL Forum 2005: 117-132 |
| 2002 | ||
| c11 | | Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov: Requirement Capturing and 3CR Approac. COMPSAC 2002: 279-283 |
| 1999 | ||
| j3 | | 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. Electr. Notes Theor. Comput. Sci. 23(3): 352-369 (1999) |
| c10 | | Alexander A. Letichevsky, David Gilbert: A Model for Interaction of Agents and Environments. WADT 1999: 311-328 |
| 1994 | ||
| c9 | | Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov: Tools for Solving Problems in the Scope of Algebraic Programming. AISMC 1994: 30-47 |
| 1993 | ||
| j2 | | Alexander A. Letichevsky, M. S. Lvov: Discovery of Invariant Equalities in Programs over Data Fields. Appl. Algebra Eng. Commun. Comput. 4: 269-286 (1993) |
| j1 | | Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko: Computations in APS. Theor. Comput. Sci. 119(1): 145-171 (1993) |
| c8 | | |
| 1991 | ||
| c7 | | Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko: Algebraic Programs Optimization. ISSAC 1991: 370-376 |
| 1990 | ||
| c6 | | Alexander A. Letichevsky, Julia V. Kapitonova: Algebraic Programming in the APS System. ISSAC 1990: 68-75 |
| 1987 | ||
| c5 | | Alexander A. Letichevsky: Algebras with Approximation and Excursive Data Structures. FCT 1987: 284-287 |
| 1986 | ||
| c4 | | Vladimir S. Mikhalevich, Julia V. Kapitonova, Alexander A. Letichevsky: On Model of Macroconveyor Computations. IFIP Congress 1986: 975-980 |
| 1983 | ||
| c3 | | Alexander A. Letichevsky: Algebra of Algorithms, Data Structures and Parallel Computation. IFIP Congress 1983: 859-864 |
| 1979 | ||
| c2 | | Alexander A. Letichevsky: On finding invariant relations of programs. Algorithms in Modern Mathematics and Computer Science 1979: 304-314 |
| 1971 | ||
| c1 | | Y. V. Kapitonova, Alexander A. Letichevsky: Design Problems of Software Special Systems. IFIP Congress (1) 1971: 335-338 |
Colors in the list of coauthors
Last update Wed May 22 15:09:26 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page