Mohamad Jaber

Latest

• From high-level modeling toward efficient and trustworthy circuits
• Reduction and Abstraction Techniques for BIP