Ayrat Khalimov
发表
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2019,
ArXiv.
Roderick Bloem,
Swen Jacobs,
Ayrat Khalimov,
2013,
CAV.
Roderick Bloem,
Swen Jacobs,
Ayrat Khalimov,
2014,
SYNT.
Benjamin Aminof,
Sasha Rubin,
Swen Jacobs,
2013,
VMCAI.
Ayrat Khalimov,
A. Khalimov,
2018,
ArXiv.
Roderick Bloem,
Shiri Moran,
Patrick Klampfl,
2017,
ArXiv.
Roderick Bloem,
Ayrat Khalimov,
2017,
CAV.
L'eo Exibard,
Emmanuel Filiot,
Ayrat Khalimov,
2020,
ArXiv.
Roderick Bloem,
Swen Jacobs,
Ayrat Khalimov,
2013,
VMCAI.
Farhan Ahmad,
Kerrache Chaker Abdelaziz,
Ayrat Khalimov,
2019,
UCC.
Roderick Bloem,
Ayrat Khalimov,
Benedikt Maderbacher,
2018,
ATVA.
Roderick Bloem,
Ayrat Khalimov,
R. Bloem,
2017
.
L'eo Exibard,
Emmanuel Filiot,
Ayrat Khalimov,
2020
.
Sven Schewe,
Roderick Bloem,
Ayrat Khalimov,
2017,
SYNT@CAV.
Ayrat Khalimov,
A. Khalimov,
2016,
SYNT.
Helmut Veith,
Sasha Rubin,
Igor Konnov,
2015,
Synthesis Lectures on Distributed Computing Theory.
Swen Jacobs,
Ayrat Khalimov,
Simon Außerlechner,
2015,
VMCAI.
L'eo Exibard,
Emmanuel Filiot,
Ayrat Khalimov,
2021
.
L'eo Exibard,
Emmanuel Filiot,
Ayrat Khalimov,
2021,
STACS.
L'eo Exibard,
Emmanuel Filiot,
Ayrat Khalimov,
2021,
ArXiv.