Algebraic K-theory of finitely projective modules on   $\mathbb{E}_{\infty}$-rings
  In this paper, we study the K-theory on higher modules in spectral algebraic geometry. We relate the K-theory of an $\infty$-category of finitely generated projective modules on certain $\mathbb{E}_{\infty}$-rings with the K-theory of an ordinary category of finitely generated projective modules on ordinary rings. 
Mariko Ohara
math.KT