9 papers:
CHI-2015-KaoDPS #named- NailO: Fingernails as an Input Surface (HLCK, AD, JAP, CS), pp. 3015–3018.
OSDI-2014-BangertZ #generative #named #parsing- Nail: A Practical Tool for Parsing and Generating Data Formats (JB, NZ), pp. 615–628.
- CHI-2013-SuCWLCC #named #visual notation
- NailDisplay: bringing an always available visual display to fingertips (CHS, LWC, CTW, RHL, KYC, BYC), pp. 1461–1464.
DRR-2004-BerknerSM #named- SmartNails: display- and image-dependent thumbnails (KB, ELS, CM), pp. 54–65.
SIGMOD-1993-DerrMP #database #design #implementation- Design and Implementation of the Glue-Nail Database System (MAD, SM, GP), pp. 147–156.
- SIGMOD-1991-PhippsDR #database #deduction #named
- Glue-Nail: A Deductive Database System (GP, MAD, KAR), pp. 308–317.
PODS-1988-Morris #algorithm #exclamation- An Algorithm for Ordering Subgoals in NAIL! (KAM), pp. 82–88.
ICLP-1986-MorrisUG86 #bibliography #design #exclamation- Design Overview of the NAIL! System (KAM, JDU, AVG), pp. 554–568.
DAC-1977-Somaia #automation #logic #testing- An automated simultaneous probing system for testing complex logic assemblies “the bed of nails system” (RHS), pp. 64–67.
