Oxygen Vacancy Formation in Charged HfO2: An Ab Initio Study | IEEE Conference Publication | IEEE Xplore