Alexander A. Letichevsky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
8
Active years
1987–2017
Best venue rank
National
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | RE | An Algebraic Approach for Analyzing of Legal Requirements. | Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko, Maxsim Poltorackij |
| 2015 | ICTERI | An Interleaving Reduction for Reachability Checking in Symbolic Modeling. | Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko |
| 2013 | ICTERI | General Theory of Interaction and Cognitive Architectures. | Alexander A. Letichevsky |
| 2013 | ICTERI | Theory of Interaction, Insertion Modeling, and Cognitive Architectures. | Alexander A. Letichevsky |
| 2012 | ICTERI | Efficient Algorithm for Reachability Checking in Modeling. | Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko |
| 2012 | ICTERI | About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation. | Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko |
| 2011 | ICTERI | Insertion Modeling and its Applications. | Alexander A. Letichevsky |
| 2011 | ICTERI | Insertion Modeling System and Constraint Programming. | Alexander A. Letichevsky, Vladimir S. Peschanenko, Alexander Letichevsky Jr., Igor Ol. Blinov, Dmitriy M. Klionov |
| 2010 | CADE | Formal Requirements Capturing using VRS system. | Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert |
| 2010 | LATA | The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape. | Alexander A. Letichevsky, Arsen S. Shoukourian, Samvel K. Shoukourian |
| 2002 | COMPSAC | Requirement Capturing and 3CR Approac. | Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov |
| 1994 | AISC | Tools for Solving Problems in the Scope of Algebraic Programming. | Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov |
| 1991 | ISSAC | Algebraic Programs Optimization. | Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko |
| 1990 | ISSAC | Algebraic Programming in the APS System. | Alexander A. Letichevsky, Julia V. Kapitonova |
| 1987 | FCT | Algebras with Approximation and Excursive Data Structures. | Alexander A. Letichevsky |