Ayrat Khalimov
From MaRDI portal
Person:2164232
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 |
|---|---|---|
| A generic solution to register-bounded synthesis with an application to discrete orders | 2024-06-24 | Paper |
| Church synthesis on register automata over linearly ordered data domains Formal Methods in System Design | 2024-03-11 | Paper |
| Bounded synthesis of register transducers Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
| scientific article; zbMATH DE number 7649933 (Why is no real title available?) | 2023-02-03 | Paper |
| Bounded synthesis for Streett, Rabin, and \(\mathrm{CTL}^*\) | 2022-08-12 | Paper |
| Tight cutoffs for guarded protocols with fairness Lecture Notes in Computer Science | 2016-03-23 | Paper |
| Parameterized Model Checking of Token-Passing Systems Lecture Notes in Computer Science | 2015-01-13 | Paper |
| Towards efficient parameterized synthesis Lecture Notes in Computer Science | 2014-11-03 | Paper |
Research outcomes over time
This page was built for person: Ayrat Khalimov
