Skip to content

Ayrat Khalimov

    • 2PublicationsNumber of items in Ayrat's My Publications folder on Mendeley.
    • 1Followers

    Research interests

    Recent publications

    • PARTY Parameterized Synthesis of Token Rings

      • Khalimov A
      • Jacobs S
      • Bloem R
      N/AReaders
      N/ACitations
    • Towards Efficient Parameterized Synthesis

      • Khalimov A
      • Jacobs S
      • Bloem R
      N/AReaders
      N/ACitations

    Education

    Technische Universitaet Graz - Technical University of Graz

    January 2012 - October 2012(9 months)

    Master

    Moscow Institute of Physics and Technology (MIPT)

    September 2003 - June 2009(6 years)

    Groups

    Followers (1)

    • Stefan Bucur

      Stefan BucurEcole Polytechnique Fédérale de Lausanne (EPFL)

    Following (1)

    • Stefan Bucur

      Stefan BucurEcole Polytechnique Fédérale de Lausanne (EPFL)