Alexander A. Letichevsky

	2012
21		Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko: Efficient Algorithm for Reachability Checking in Modeling. ICTERI 2012: 71-81
	2011
20		Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko: Insertion Modeling System. Ershov Memorial Conference 2011: 262-273
	2010
19		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
18		Alexander A. Letichevsky: Basic Protocols: Specification Language for Distributed Systems. Ershov Memorial Conference 2006: 21-25
	2005
17		Alexander V. Lyaletski, Alexander A. Letichevsky, Oleksandr Kalinovskyy: Literal Trees and Resolution Technique. Intelligent Information Systems 2005: 97-106
16		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
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. Computer Networks 49(5): 661-675 (2005)
	2002
14		Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov: Requirement Capturing and 3CR Approac. COMPSAC 2002: 279-283
	1999
13		Alexander A. Letichevsky, David Gilbert: A Model for Interaction of Agents and Environments. WADT 1999: 311-328
12		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)
	1994
11		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
10		Alexander A. Letichevsky: Development of Rewriting Strategies. PLILP 1993: 378-390
9		Alexander A. Letichevsky, M. S. Lvov: Discovery of Invariant Equalities in Programs over Data Fields. Appl. Algebra Eng. Commun. Comput. 4: 269-286 (1993)
8		Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko: Computations in APS. Theor. Comput. Sci. 119(1): 145-171 (1993)
	1991
7		Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko: Algebraic Programs Optimization. ISSAC 1991: 370-376
	1990
6		Alexander A. Letichevsky, Julia V. Kapitonova: Algebraic Programming in the APS System. ISSAC 1990: 68-75
	1987
5		Alexander A. Letichevsky: Algebras with Approximation and Excursive Data Structures. FCT 1987: 284-287
	1986
4		Vladimir S. Mikhalevich, Julia V. Kapitonova, Alexander A. Letichevsky: On Model of Macroconveyor Computations. IFIP Congress 1986: 975-980
	1983
3		Alexander A. Letichevsky: Algebra of Algorithms, Data Structures and Parallel Computation. IFIP Congress 1983: 859-864
	1979
2		Alexander A. Letichevsky: On finding invariant relations of programs. Algorithms in Modern Mathematics and Computer Science 1979: 304-314
	1971
1		Y. V. Kapitonova, Alexander A. Letichevsky: Design Problems of Software Special Systems. IFIP Congress (1) 1971: 335-338

Coauthor Index

1	Sergey Baranov	[14] [15]
2	A. Chugayenko	[12]
3	David Gilbert (David R. Gilbert)	[12] [13]
4	Oleksandr Kalinovskyy	[17]
5	Julia V. Kapitonova	[4] [6] [7] [8] [12] [14] [15] [16]
6	Y. V. Kapitonova	[1] [11]
7	Victor Khomenko	[12]
8	S. V. Konozenko	[7] [8]
9	Vsevolod Kotlyarov	[14] [16]
10	A. A. Letichevsky Jr.	[15] [16]
11	Olexander A. Letychevskyi	[20] [21]
12	M. S. Lvov	[9] [11]
13	Alexander V. Lyaletski	[17]
14	Vladimir S. Mikhalevich	[4]
15	Vladimir S. Peschanenko	[20] [21]
16	Arsen S. Shoukourian	[19]
17	Samvel K. Shoukourian	[19]
18	Vladislav A. Volkov	[11] [12] [14] [15] [16]
19	Thomas Weigert	[15] [16]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page