A. Gabrielian
From MaRDI portal
Person:2553948
Available identifiers
zbMath Open gabrielian.armenMaRDI QIDQ2553948
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Verifying properties of HMS machine specifications of real-time systems | 2024-04-29 | Paper |
| The Qualified Function Approach to Analysis of Program Behavior and Performance | 1985-01-01 | Paper |
| Pure grammars and pure languages† | 1981-01-01 | Paper |
| Grammar Schemata | 1974-01-01 | Paper |
| Structured Storage AFA | 1973-01-01 | Paper |
| Classification of noncounting events | 1971-01-01 | Paper |
| The theory of interacting local automata | 1970-01-01 | Paper |
Research outcomes over time
This page was built for person: A. Gabrielian