Higher arithmetic K-theory, by Yuichiro Takeda: In this paper a new definition of K-theory in Arakelov geometry is given. It is a higher extension of the arithmetic K_0 group of an arithmetic variety defined by Gillet and Soule. Products and direct images in this K-theory are discussed.
arXiv: Experimental full text search
AAG (Arithmetic algebraic geometry)
Arithmetic
Several things by Takeda, see arXiv maybe.
nLab page on Arithmetic K-theory