4 papers:
DATE-2013-ChenRSIFC #analysis #process- A SPICE-compatible model of graphene nano-ribbon field-effect transistors enabling circuit-level delay and power analysis under process variation (YYC, AR, AS, GI, GF, DC), pp. 1789–1794.
ESOP-2013-WickersonDP #logic #proving- Ribbon Proofs for Separation Logic (JW, MD, MJP), pp. 189–208.
OOPSLA-2011-HoffmanME #memory management #named #programming- Ribbons: a partially shared memory programming model (KJH, HM, PE), pp. 289–306.
ICPR-1996-ChangH #analysis- Ribbon-based motion analysis of human body movements (ICC, CLH), pp. 436–440.
