A. Gabrielian
From MaRDI portal
Person:2553948
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 IEEE Transactions on Software Engineering | 1985-01-01 | Paper |
| Pure grammars and pure languages† International Journal of Computer Mathematics | 1981-01-01 | Paper |
| Grammar Schemata Journal of the ACM | 1974-01-01 | Paper |
| Structured Storage AFA IEEE Transactions on Computers | 1973-01-01 | Paper |
| Classification of noncounting events Journal of Computer and System Sciences | 1971-01-01 | Paper |
| The theory of interacting local automata Information and Control | 1970-01-01 | Paper |
Research outcomes over time
This page was built for person: A. Gabrielian
