1. Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools;2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2018-05
2. Elastic Bundles: Modelling and Synthesis of Asynchronous Circuits with Granular Rigidity;2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2017-05
3. Proposed Solution;Embedded Systems;2010-09-23
4. Elastic Circuits;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2009-10
5. ARM996HS: The First Licensable, Clockless 32-Bit Processor Core;IEEE Micro;2007-03