Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Huu Hai Nguyen
Multiple Pre/Post Specifications for Heap-Manipulating Methods
Related publications
Automatic Numeric Abstractions for Heap-Manipulating Programs
Model and Proof Generation for Heap-Manipulating Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pre- And Post-Synaptic Effects of Manipulating Surface Charge With Divalent Cations at the Photoreceptor Synapse
Neuroscience
Neuroscience
Data Analysis Methods for Assessing Palliative Care Interventions in One-Group Pre–post Studies
SAGE Open Medicine
Medicine
Pre- And Post-Equalization and Frequency Diversity Combining Methods for Block Transmission With Cyclic Prefix
IEICE Transactions on Communications
Computer Networks
Electronic Engineering
Software
Electrical
Communications
Therapeutic Management for Pre and Post Phonosurgery.
Japan Journal of Logopedics and Phoniatrics
LPN
LVN
Speech
Hearing
Multiple Methods for Wechat Identification
Awards for Manipulating Technologies
Nature Materials
Mechanics of Materials
Materials Science
Chemistry
Condensed Matter Physics
Mechanical Engineering
Detailed Heap Profiling
ACM SIGPLAN Notices
Computer Science
