The Theory of Interacting Local Automata - Armen Gabrielian (Inf. Control., 1970)

Classification of Noncounting Events. - Janusz A. Brzozowski; Karel Culík II; Armen Gabrielian (J. Comput. Syst. Sci., 1971)

Structured-Storage AFA (Abstract). - Armen Gabrielian; Seymour Ginsburg (Formal Aspects of Cognitive Processes, 1972)

Structured Storage AFA. - Armen Gabrielian; Seymour Ginsburg (IEEE Trans. Computers, 1973)

Grammar Schemata. - Armen Gabrielian; Seymour Ginsburg (J. ACM, 1974)

Formal systems of numerals. - Armen Gabrielian (IEEE Symposium on Computer Arithmetic, 1975)

Representation and modeling of distributed computer systems. - Armen Gabrielian (WSC, 1983)

Optimal Object Allocation in Distributed Computer Systems. - Armen Gabrielian; Douglas B. Tyler (ICDCS, 1984)

The Qualified Function Approach to Analysis of Program Behavior and Performance. - Armen Gabrielian; Lawrence McNamee; David J. Trawick (IEEE Trans. Software Eng., 1985)

State-Based Specification of Complex Real-Time Systems. - Armen Gabrielian; Matthew K. Franklin (RTSS, 1988)

A Transformational Method for Verifying Safety Properties in Real-Time Systems. - Matthew K. Franklin; Armen Gabrielian (RTSS, 1989)

Multi-Level Specification and Verification of Real-Time Software. - Armen Gabrielian; Matthew K. Franklin (ICSE, 1990)

Verifying Properties of HMS Machine Specifications of Real-Time Systems. - Armen Gabrielian; R. Iyer (CAV, 1991)

Multilevel Specification of Real Time Systems. - Armen Gabrielian; Matthew K. Franklin (Commun. ACM, 1991)