A. Mokhov
发表
Hernán C. Melgratti,
Ricardo J. Rodríguez,
J. Gabarró,
2011
.
C. Lenzen,
A. Mokhov,
Christian Ikenmeyer,
2017
.
S. PEYTON JONES,
A. Mokhov,
S. Marlow,
2018,
ACM SIGPLAN Notices.
J. Cortadella,
A. Mokhov,
Alessandro de Gennaro,
2017
.
Alexandre Yakovlev,
Fei Xia,
Alexander Romanovsky,
2014,
ES4CPS '14.
Alexandre Yakovlev,
Jonny Wray,
Andrey Mokhov,
2018,
FDL.
F. Xia,
A. Yakovlev,
A. Mokhov,
2017
.
A. Mokhov,
2014
.
Amol Bakshi,
Anastasios Gounaris,
Alexandru Jugravu,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
A. Mokhov,
Hernán Ponce de León,
2018,
Formal Methods in System Design.
A. Yakovlev,
A. Mokhov,
2008
.
F. Xia,
A. Yakovlev,
A. Mokhov,
2014
.
Danil Sokolov,
Alex Yakovlev,
Stanislavs Golubcovs,
2019,
2019 19th International Conference on Application of Concurrency to System Design (ACSD).
Lukasz Mikulski,
Andrey Mokhov,
Marcin Piatkowski,
2017,
2017 17th International Conference on Application of Concurrency to System Design (ACSD).
A. Benveniste,
B. Caillaud,
R. Passerone,
2014,
2014 IEEE Conference on e-Learning, e-Management and e-Services (IC3e).
Christoph Lenzen,
Karteek Sreenivasaiah,
Christian Ikenmeyer,
2017,
STOC.
Christoph Lenzen,
Karteek Sreenivasaiah,
Christian Ikenmeyer,
2019,
J. ACM.
Andrey Mokhov,
A. Mokhov,
2009
.
Alexei Iliasov,
Danil Sokolov,
Andrey Mokhov,
2014,
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Alexandre Yakovlev,
Albert Koelmans,
Danil Sokolov,
2013,
2013 IEEE 24th International Conference on Application-Specific Systems, Architectures and Processors.
Stanislavs Golubcovs,
Andrey Mokhov,
Arseniy Alekseyev,
2011
.
Alexandre Yakovlev,
Jonny Wray,
Andrey Mokhov,
2017,
2017 Forum on Specification and Design Languages (FDL).
Victor Khomenko,
Andrey Mokhov,
V. Khomenko,
2014,
Comput. J..
Victor Khomenko,
Andrey Mokhov,
V. Khomenko,
2011,
Petri Nets.
Danil Sokolov,
Alex Yakovlev,
Andrey Mokhov,
2014
.
Andrey Mokhov,
Ghaith Tarawneh,
A. Mokhov,
2018,
2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Simon L. Peyton Jones,
Simon Marlow,
Andrey Mokhov,
2016,
Haskell.
Josep Carmona,
Jonathan Beaumont,
Andrey Mokhov,
2016,
Trans. Petri Nets Other Model. Concurr..
Josep Carmona,
Andrey Mokhov,
J. Carmona,
2015,
ATAED@Petri Nets/ACSD.
Danil Sokolov,
Alex Yakovlev,
Andrey Mokhov,
2014,
2014 IEEE Faible Tension Faible Consommation.
Alexandre Yakovlev,
Andrey Mokhov,
A. Yakovlev,
2008,
2008 8th International Conference on Application of Concurrency to System Design.
Alexandre Yakovlev,
Andrey Mokhov,
A. Yakovlev,
2008,
2008 Design, Automation and Test in Europe.
Alex Yakovlev,
Albert Koelmans,
Andrey Mokhov,
2010
.
Yifan Chen,
Alexandre Yakovlev,
Fei Xia,
2012,
IET Comput. Digit. Tech..
Alexandre Yakovlev,
Reza Ramezani,
Andrey Mokhov,
2015,
Int. J. Circuit Theory Appl..
Alexandre Yakovlev,
Ivan Poliakov,
Danil Sokolov,
2008,
2008 14th IEEE International Symposium on Asynchronous Circuits and Systems.
David Chisnall,
Hernán C. Melgratti,
Ricardo J. Rodríguez,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Alexandre Yakovlev,
James J. Davis,
Fei Xia,
2017,
Computer.
Danil Sokolov,
Andrey Mokhov,
Alessandro de Gennaro,
2020,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Danil Sokolov,
Andrey Mokhov,
Alessandro de Gennaro,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Alexandre Yakovlev,
David B. Thomas,
Simon W. Moore,
2017,
2017 46th International Conference on Parallel Processing Workshops (ICPPW).
Andrey Mokhov,
A. Mokhov,
2015,
IET Comput. Digit. Tech..
Victor Khomenko,
Andrey Mokhov,
A. Yakovlev,
2012,
2012 12th International Conference on Application of Concurrency to System Design.
David B. Thomas,
Jeff Reeve,
Matthew Naylor,
2018,
PARCO.
Alexandre Yakovlev,
Fei Xia,
Alexander Romanovsky,
2014,
2014 14th International Conference on Application of Concurrency to System Design.
Simon L. Peyton Jones,
Andrey Mokhov,
Neil Mitchell,
2020,
Journal of Functional Programming.
Alexandre Yakovlev,
Andrey Mokhov,
Arseniy Alekseyev,
2011,
IET Comput. Digit. Tech..
Alexandre Yakovlev,
Victor Khomenko,
Danil Sokolov,
2015,
2015 21st IEEE International Symposium on Asynchronous Circuits and Systems.
Alexandre Yakovlev,
Victor Khomenko,
Andrey Mokhov,
2009,
2009 Ninth International Conference on Application of Concurrency to System Design.
Alexandre Yakovlev,
Fei Xia,
Delong Shang,
2013,
IEEE Transactions on Computers.
A. Mokhov,
K. Pierce,
Anirban Bhattacharyya,
2016,
Formal Aspects of Computing.
Jakob Lechner,
Andrey Mokhov,
Georgy Lukyanov,
2020,
ACM Trans. Embed. Comput. Syst..
Alexandre Yakovlev,
Alexander Romanovsky,
Alexei Iliasov,
2014,
IEEE Transactions on Computers.
Ivan Poliakov,
Danil Sokolov,
Andrey Mokhov,
2007,
ICATPN.
S. Furber,
Y. Cheung,
D. Sokolov,
2007
.