4 papers:
CHI-2013-LopesB #feedback #mobile- Muscle-propelled force feedback: bringing force feedback to mobile devices (PL, PB), pp. 2577–2580.
STOC-2012-HeilmanJN- Solution of the propeller conjecture in R3 (SH, AJ, AN), pp. 269–276.
ICSE-2002-SmithACO #approach #named- PROPEL: an approach supporting property elucidation (RLS, GSA, LAC, LJO), pp. 11–21.
VLDB-2001-CareyKRLABFLOPQRSSUVWY #distributed #framework- The Propel Distributed Services Platform (MJC, SK, MR, BVdL, NA, MB, DF, DL, IO, RP, RQ, DR, JCS, BS, TU, BV, DW, KY), pp. 671–674.
