Graph explorer

Ayrat Khalimov

Ayrat Khalimov contributes to research discovery and scholarly infrastructure.

7 nodes6 linksoverview mapAyrat Khalimov
7 nodes6 links
Ayrat Khalimov7 visible / 7 total nodes / 6 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAAyrat KhalimovResearcherWSpecification Format fo...preprint / 2016WA Generic Solution to R...preprint / 2022WParameterized Model Che...preprint / 2013WTight Cutoffs for Guard...preprint / 2015WParameterized Synthesis...preprint / 2015WThe 3rd Reactive Synthe...preprint / 2016
PersonSignal 106 links

Ayrat Khalimov

Researcher

Open