Andrey Mokhov

MaRDI QIDQ520238zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7650250 (Why is no real title available?) (available as arXiv preprint)	2023-02-03	Paper
Build systems à la carte: theory and practice Journal of Functional Programming	2020-05-26	Paper
On the complexity of hazard-free circuits Journal of the ACM	2020-02-11	Paper
On the complexity of hazard-free circuits Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing	2019-08-22	Paper
Compact and efficiently verifiable models for concurrent systems Formal Methods in System Design	2018-11-15	Paper
Conditional Partial Order Graphs: Model, Synthesis, and Application IEEE Transactions on Computers	2017-07-27	Paper
Mixed Radix Reed-Muller Expansions IEEE Transactions on Computers	2017-07-12	Paper
Synthesis of Processor Instruction Sets from High-Level ISA Specifications IEEE Transactions on Computers	2017-06-20	Paper
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems Formal Aspects of Computing	2017-04-03	Paper
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems Formal Aspects of Computing	2017-04-03	Paper
Flat arbiters Fundamenta Informaticae	2012-07-04	Paper
An algorithm for direct construction of complete merged processes Applications and Theory of Petri Nets	2011-06-29	Paper

Research outcomes over time

This page was built for person: Andrey Mokhov