Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Khalimov, Ayrat
Eine Person hinzufügen mit dem Namen Khalimov, Ayrat
 

Weitere Publikationen von Autoren mit dem selben Namen

Parameterized Model Checking of Token-Passing Systems., , , und . VMCAI, Volume 8318 von Lecture Notes in Computer Science, Seite 262-281. Springer, (2014)Towards Efficient Parameterized Synthesis., , und . VMCAI, Volume 7737 von Lecture Notes in Computer Science, Seite 108-127. Springer, (2013)OpenSEA: Semi-Formal Methods for Soft Error Analysis., , , , , und . CoRR, (2017)Reactive Synthesis: Branching Logics and Parameterized Systems.. CoRR, (2018)The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results., , , , , , , , , und 6 andere Autor(en). SYNT@CAV, Volume 229 von EPTCS, Seite 149-177. (2016)CTL* synthesis via LTL synthesis., , und . SYNT@CAV, Volume 260 von EPTCS, Seite 4-22. (2017)Bounded Synthesis for Streett, Rabin, and CTL^*., und . CAV (2), Volume 10427 von Lecture Notes in Computer Science, Seite 333-352. Springer, (2017)Parameterized Model Checking of Token-Passing Systems., , , und . CoRR, (2013)Register-Bounded Synthesis., und . CONCUR, Volume 140 von LIPIcs, Seite 25:1-25:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Decidability in Parameterized Verification., , , , , , und . SIGACT News, 47 (2): 53-64 (2016)