On exact infinity-categories and the Theorem of the Heart
  We introduce a notion of exact quasicategory, and we prove an analogue of Amnon Neeman's Theorem of the Heart for Waldhausen K-theory. 
C. Barwick
math.KT math.CT