Zachary Lee

Reducing the Costs of Proof Assistant Based Formal Verification or : Conviction without the Burden of Proof Author:

Zachary Lee, 2014 .

Towards Phase Balancing using Energy Storage pdf

Ana Busic, Lucas Pereira, Daniel Kofman, 2020, ArXiv.

Chapter 2. Computer-Integrated Design and Manufacture of Integrated Circuits

Donald E. Troxel, Duane S. Boning, Dimitri A. Antoniadis, 1995 .

Isolated silicon platforms for high current power management integrated circuit applications

Alexey Heiman, Zachary Lee, Sharon Levin, 2011, 2011 IEEE International Conference on Microwaves, Communications, Antennas and Electronic Systems (COMCAS 2011).

Experimental Results of an Electrostatic Injector

Mike Benson, Zachary Lee, Matthew Ryan, 2014 .

ACN-Sim: An Open-Source Simulator for Data-Driven Electric Vehicle Charging Research

Steven H. Low, Daniel Johansson, Zachary J. Lee, 2019, 2019 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm).

Mixed-integer model predictive control of variable-speed heat pumps

K. Max Zhang, Kevin J. Kircher, Zachary Lee, 2019, Energy and Buildings.

A Comparison of Shadowgraphy and X-Ray Computed Tomography in Liquid Spray Analysis

Rebecca Fahrig, John K. Eaton, Bret Van Poppel, 2014 .