Ayrat Khalimov

Available identifiers

zbMath Open khalimov.ayratMaRDI QIDQ2164232

List of research outcomes

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	2024-03-11	Paper
Bounded synthesis of register transducers	2023-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q5875386	2023-02-03	Paper
Bounded synthesis for Streett, Rabin, and \(\mathrm{CTL}^*\)	2022-08-12	Paper
Tight Cutoffs for Guarded Protocols with Fairness	2016-03-23	Paper
Parameterized Model Checking of Token-Passing Systems	2015-01-13	Paper
Towards Efficient Parameterized Synthesis	2014-11-03	Paper

Research outcomes over time

This page was built for person: Ayrat Khalimov