Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tin Thien Nguyen
A Novel Strategy for Formal Verication of Asynchronous Circuit Design in PAiD Tool
ECTI Transactions on Computer and Information Technology
Electronic Engineering
Information Systems
Computer Networks
Communications
Management
Electrical
Related publications
Formal Design and Verification of an Asynchronous SRAM Controller
DecisionWeb: A Tool for Asynchronous Meeting Support
A Circuit Representation Technique for Automated Circuit Design
IEEE Transactions on Evolutionary Computation
Theoretical Computer Science
Computational Theory
Software
Mathematics
A Novel Signal-Processing Strategy for Hearing-Aid Design: Neurocompensation
Signal Processing
Control
Systems Engineering
Pattern Recognition
Electronic Engineering
Computer Vision
Electrical
Signal Processing
Software
CATE: A Circuit Analysis Tool for Education
The Optimal Design of Receiving Circuit in Acoustic Logging While Drilling Tool
A Novel Scheme for Deviation Detection in Asynchronous Distributed Pricing
International Journal of Network Security & Its Applications
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
Asynchronous Design for Parallel Processing Architectures.
