* CIS*1200 (Lange)
  * CIS*1250 (Chaturvedi)
  * CIS*1300 (Chaturvedi)
  * CIS*1500 (Kemp)
  * CIS*1910 (Matsakis)
  * CIS*2030 (Debowski)
  * CIS*2430 (McCuaig)
  * CIS*2520 (Obimbo)
  * CIS*2750 (Nikitenko)
  * CIS*3050 (Nikitenko)
  * CIS*3090 (Nikitenko)
  * CIS*3130 (Wineberg)
  * CIS*3150 (Sawada)
  * CIS*3210 (Klotz)
  * CIS*3250 (Scott)
  * CIS*3260 (Wineberg)
  * CIS*3530 (Wang)
  * CIS*3750 (Gillis)
  * CIS*3760 (Klotz)
  * CIS*4150 (Chadha)
  * CIS*4300 (Flatla)
  * CIS*4510 (Khan)
  * CIS*4900
  * CIS*4910