Stem rope$ (all stems)
3 papers:
- CASE-2013-ChoJKMKC
- Caterpillar-based cable climbing robot for inspection of suspension bridge hanger rope (KHC, YHJ, HMK, HM, JK, HRC), pp. 1059–1062.
- CASE-2011-CaoPW #scheduling
- A drum-buffer-rope based scheduling method for semiconductor manufacturing system (ZC, YP, YW), pp. 120–125.
- ICALP-v2-2009-Boldo #case study #float #verification
- Floats and Ropes: A Case Study for Formal Numerical Program Verification (SB), pp. 91–102.