Andrey Mokhov

Identifiers

• name variant Andrey Mokhov 0.60 · backfill

Papers (4)

1. Complexity of Linear Operators cs.CC · 2018 · author #3
2. Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers cs.PL · 2018 · author #1
3. An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems cs.SE · 2016 · author #2
4. On Formalisms for Dynamic Reconfiguration of Dependable Systems cs.SE · 2014 · author #2

Mentions

• 1405.0319 #2 · backfill · confidence 0.70 Andrey Mokhov

Frequent Coauthors

• Anirban Bhattacharyya 2 shared papers
• Ken Pierce 2 shared papers
• Alexander S. Kulikov 1 shared papers
• Georgy Lukyanov 1 shared papers
• Ivan Mikhailin 1 shared papers
• Jakob Lechner 1 shared papers
• Manuel Mazzara 1 shared papers
• Vladimir Podolskii 1 shared papers