A. Khalimov
发表
E. Filiot,
Léo Exibard,
A. Khalimov,
2022,
2205.01952.
Thibaud Michaud,
B. Finkbeiner,
V. Bruyère,
2022,
International Journal on Software Tools for Technology Transfer.
E. Filiot,
Léo Exibard,
A. Khalimov,
2021,
ICALP.
R. Bloem,
A. Khalimov,
Benedikt Maderbacher,
2018
.
A. Khalimov,
Swen Jacobs,
Simon Auerlechner,
2015
.
L'eo Exibard,
Emmanuel Filiot,
Ayrat Khalimov,
2020,
ArXiv.
Ayrat Khalimov,
A. Khalimov,
2018,
ArXiv.
Swen Jacobs,
Ayrat Khalimov,
Simon Außerlechner,
2015,
VMCAI.
Helmut Veith,
Sasha Rubin,
Igor Konnov,
2015,
Synthesis Lectures on Distributed Computing Theory.
Benjamin Aminof,
Sasha Rubin,
Swen Jacobs,
2013,
VMCAI.
Roderick Bloem,
Swen Jacobs,
Ayrat Khalimov,
2013,
VMCAI.
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2019,
ArXiv.
Jennifer L. Welch,
I. Konnov,
H. Veith,
2016,
SIGA.
A. Khalimov,
2018,
ArXiv.
L'eo Exibard,
Emmanuel Filiot,
Ayrat Khalimov,
2021,
STACS.
Roderick Bloem,
Shiri Moran,
Patrick Klampfl,
2017,
ArXiv.
Sven Schewe,
Roderick Bloem,
Ayrat Khalimov,
2017,
SYNT@CAV.
Ayrat Khalimov,
A. Khalimov,
2016,
SYNT.
Roderick Bloem,
Swen Jacobs,
Ayrat Khalimov,
2014,
SYNT.
Roderick Bloem,
Swen Jacobs,
Ayrat Khalimov,
2013,
CAV.
Roderick Bloem,
Ayrat Khalimov,
R. Bloem,
2017
.
R. Bloem,
Robert Könighofer,
Nina Narodytska,
2016,
SYNT@CAV.
Farhan Ahmad,
Kerrache Chaker Abdelaziz,
Ayrat Khalimov,
2019,
UCC.
A. Khalimov,
Rudiger Ehlers,
2024,
ArXiv.