Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alan J. Hu
Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems
Interface Focus
Biochemistry
Biophysics
Biomaterials
Bioengineering
Biotechnology
Biomedical Engineering
Preface
International Journal on Software Tools for Technology Transfer
Information Systems
Software
VNF Chain Allocation and Management at Data Center Scale
High-Level vs. RTL Combinational Equivalence: An Introduction
2006 International Conference on Computer Design
Model-Checking a Secure Group Communication Protocol: A Case Study
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
BackSpace: Formal Analysis for Post-Silicon Debug
