A Lower Bound on the Complexity of Approximate Nearest-Neighbor Searching on the Hamming Cube. - Amit Chakrabarti; Bernard Chazelle; Benjamin Gum; Alexey Lvov (STOC, 1999)

The Discrepancy of Boxes in Higher Dimension. - Bernard Chazelle; Alexey Lvov (Discret. Comput. Geom., 2001)

A Trace Bound for the Hereditary Discrepancy. - Bernard Chazelle; Alexey Lvov (Discret. Comput. Geom., 2001)

A graph based simplex method for the integer minimum perturbation problem with sum and difference constraints. - Alexey Lvov; Fook-Luen Heng (ACM Great Lakes Symposium on VLSI, 2004)

Novel algorithms for placement of rectangular covers for mask inspection in advanced lithography and other VLSI design applications. - Kanad Chakraborty; Alexey Lvov; Maharaj Mukherjee (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Exact basic geometric operations on arbitrary angle polygons using only fixed size integer coordinates. - Alexey Lvov; Ulrich Finkler (ICCAD, 2008)

Floorplanning challenges in early chip planning. - Jeonghee Shin; John A. Darringer; Guojie Luo; Merav Aharoni; Alexey Lvov; Gi-Joon Nam; Michael B. Healy (SoCC, 2011)

Formal verification of error correcting circuits using computational algebraic geometry. - Alexey Lvov; Luis Alfonso Lastras-Montaño; Viresh Paruthi; Robert Shadowen; Ali El-Zein (FMCAD, 2012)

ScaffCC: a framework for compilation and analysis of quantum computing programs. - Ali JavadiAbhari; Shruti Patil; Daniel Kudrow; Jeff Heckey; Alexey Lvov; Frederic T. Chong; Margaret Martonosi (Conf. Computing Frontiers, 2014)

Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. - Alexey Lvov; Luis Alfonso Lastras-Montaño; Barry M. Trager; Viresh Paruthi; Robert Shadowen; Ali El-Zein (Formal Methods Syst. Des., 2014)

ScaffCC: Scalable compilation and analysis of quantum programs. - Ali JavadiAbhari; Shruti Patil; Daniel Kudrow; Jeff Heckey; Alexey Lvov; Frederic T. Chong; Margaret Martonosi (Parallel Comput., 2015)

On Coloring and Colorability Analysis of Integrated Circuits with Triple and Quadruple Patterning Techniques. - Alexey Lvov; Gustavo E. Téllez; Gi-Joon Nam (ISPD, 2018)

FlowTuner: A Multi-Stage EDA Flow Tuner Exploiting Parameter Knowledge Transfer. - Rongjian Liang; Jinwook Jung; Hua Xiang 001; Lakshmi N. Reddy; Alexey Lvov; Jiang Hu; Gi-Joon Nam (ICCAD, 2021)