Concepedia

A. A. Letichevsky

AA

Statistics

Publications

9

Citations

316

H-Index

9

Active since

1990

Affiliations

V.M. Glushkov Institute of Cybernetics(Current)

National Academy of Sciences of Ukraine

Motorola (United States)

Kherson State University

A. A. Letichevsky is an author at V.M. Glushkov Institute of Cybernetics specializing in computer science, computing, and formal methods.

Publications per year

1990–2017

9

Publications

9

Basic protocols, message sequence charts, and the verification of requirements specifications

J. V. Kapitonova, A. A. Letichevsky, V. A. Volkov et al. · Computer Networks · 2005 · 76 citations

Engineering, Computer Engineering, Computer Science +15

Cyber-Physical Systems

A. A. Letichevsky, Oleksandr Letychevskyi, V. G. Skobelev et al. · Cybernetics and Systems Analysis · 2017 · 68 citations

Engineering, Systems Engineering, Cyber-physical Systems +9

Computations in APS

A. A. Letichevsky, J. V. Kapitonova, S. V. Konozenko · Theoretical Computer Science · 1993 · 44 citations

A general theory of action languages

A. A. Letichevsky, David Gilbert · Cybernetics and Systems Analysis · 1998 · 35 citations

Computing, Computer Science, Knowledge Representation +7

Systems Specification by Basic Protocols

A. A. Letichevsky, Yu. V. Kapitonova, V. A. Volkov et al. · Cybernetics and Systems Analysis · 2005 · 29 citations

Computing, Computer Science, Systems Engineering +14

1–5 of 9