6 papers:
ICDAR-2013-LvHWL #online #realtime #recognition #segmentation- Learning-Based Candidate Segmentation Scoring for Real-Time Recognition of Online Overlaid Chinese Handwriting (YFL, LLH, DHW, CLL), pp. 74–78.
ESOP-2013-EneaSS #composition #invariant- Compositional Invariant Checking for Overlaid and Nested Linked Lists (CE, VS, MS), pp. 129–148.
SAS-2013-DragoiES #analysis #data type- Local Shape Analysis for Overlaid Data Structures (CD, CE, MS), pp. 150–171.
CAV-2011-LeeYP #data type #program analysis- Program Analysis for Overlaid Data Structures (OL, HY, RP), pp. 592–608.
HPCA-2008-ChangCKNRST #multi- CMP network-on-chip overlaid with multi-band RF-interconnect (MFC, JC, AK, MN, GR, ES, SWT), pp. 191–202.
ICDAR-2003-ShimodairaSNS #online #recognition- On-line Overlaid-Handwriting Recognition Based on Substroke HMMs (HS, TS, MN, SS), pp. 1043–1047.