Browsing publications by Ivan Poliakov

Newcastle Authors	Title	Year
Arseniy Alekseyev Ivan Poliakov Dr Victor Khomenko Professor Alex Yakovlev	Optimisation of Balsa control path using STG resynthesis	2009
Ivan Poliakov Dr Victor Khomenko Professor Alex Yakovlev	WORKCRAFT - A Framework for Interpreted Graph Models	2009
Dr Danil Sokolov Ivan Poliakov Professor Alex Yakovlev	Analysis of Static Data Flow Structures	2008
Ivan Poliakov Dr Andrey Mokhov Ashur Rafiev Dr Danil Sokolov Professor Alex Yakovlev et al.	Automated Verification of Asynchronous Circuits Using Circuit Petri Nets	2008
Professor Alex Yakovlev Dr Danil Sokolov Ivan Poliakov	Self-timed Circuit Design: Stepping from Control to Data Path	2008
Dr Danil Sokolov Ivan Poliakov Professor Alex Yakovlev	Asynchronous Data Path Models	2007
Ivan Poliakov Dr Danil Sokolov Dr Andrey Mokhov	Workcraft: A static data flow structure editing, visualisation and analysis tool	2007
Ivan Poliakov Dr Danil Sokolov Dr Andrey Mokhov	Workcraft: A static data flow structure editing, visualisation and analysis tool	2007