×

zbMATH — the first resource for mathematics

Mokhov, Andrey

Compute Distance To:
Author ID: mokhov.andrey Recent zbMATH articles by "Mokhov, Andrey"
Published as: Mokhov, Andrey
Documents Indexed: 11 Publications since 2010

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 10 times in 8 Documents Cited by Year
An algorithm for direct construction of complete merged processes. Zbl 1330.68206
Khomenko, Victor; Mokhov, Andrey
5
2011
Conditional partial order graphs: model, synthesis, and application. Zbl 1368.68273
Mokhov, Andrey; Yakovlev, Alexandre
2
2010
On the complexity of hazard-free circuits. Zbl 1428.94117
Ikenmeyer, Christian; Komarath, Balagopal; Lenzen, Christoph; Lysikov, Vladimir; Mokhov, Andrey; Sreenivasaiah, Karteek
1
2018
Synthesis of processor instruction sets from high-level ISA specifications. Zbl 1364.68038
Mokhov, Andrey; Iliasov, Alexei; Sokolov, Danil; Rykunov, Maxim; Yakovlev, Alex; Romanovsky, Alexander
1
2014
Building bridges between sets of partial orders. Zbl 1451.68193
Ponce-de-León, Hernán; Mokhov, Andrey
1
2015
On the complexity of hazard-free circuits. Zbl 1428.94117
Ikenmeyer, Christian; Komarath, Balagopal; Lenzen, Christoph; Lysikov, Vladimir; Mokhov, Andrey; Sreenivasaiah, Karteek
1
2018
Building bridges between sets of partial orders. Zbl 1451.68193
Ponce-de-León, Hernán; Mokhov, Andrey
1
2015
Synthesis of processor instruction sets from high-level ISA specifications. Zbl 1364.68038
Mokhov, Andrey; Iliasov, Alexei; Sokolov, Danil; Rykunov, Maxim; Yakovlev, Alex; Romanovsky, Alexander
1
2014
An algorithm for direct construction of complete merged processes. Zbl 1330.68206
Khomenko, Victor; Mokhov, Andrey
5
2011
Conditional partial order graphs: model, synthesis, and application. Zbl 1368.68273
Mokhov, Andrey; Yakovlev, Alexandre
2
2010

Citations by Year