Andrey Mokhov

From MaRDI portal
Person:520238

Available identifiers

zbMath Open mokhov.andreyMaRDI QIDQ520238

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58755782023-02-03Paper
Build systems à la carte: Theory and practice2020-05-26Paper
On the Complexity of Hazard-free Circuits2020-02-11Paper
On the complexity of hazard-free circuits2019-08-22Paper
Compact and efficiently verifiable models for concurrent systems2018-11-15Paper
Conditional Partial Order Graphs: Model, Synthesis, and Application2017-07-27Paper
Mixed Radix Reed-Muller Expansions2017-07-12Paper
Synthesis of Processor Instruction Sets from High-Level ISA Specifications2017-06-20Paper
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems2017-04-03Paper
Flat arbiters2012-07-04Paper
An Algorithm for Direct Construction of Complete Merged Processes2011-06-29Paper

Research outcomes over time

This page was built for person: Andrey Mokhov

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:520238&oldid=7660209"
Powered by MediaWiki