Quadratic Placement Revisited. - Charles J. Alpert; Tony F. Chan; Dennis J.-H. Huang; Igor L. Markov; Kenneth Yan (DAC, 1997)

Faster minimization of linear wirelength for global placement. - Charles J. Alpert; Tony F. Chan; Dennis J.-H. Huang; Andrew B. Kahng; Igor L. Markov; Pep Mulet; Kenneth Yan (ISPD, 1997)

Watermarking Techniques for Intellectual Property Protection. - Andrew B. Kahng; John C. Lach; William H. Mangione-Smith; Stefanus Mantik; Igor L. Markov; Miodrag Potkonjak; Paul Tucker; Huijuan Wang; Gregory Wolfe (DAC, 1998)

Robust IP Watermarking Methodologies for Physical Design. - Andrew B. Kahng; Stefanus Mantik; Igor L. Markov; Miodrag Potkonjak; Paul Tucker; Huijuan Wang; Gregory Wolfe (DAC, 1998)

Faster minimization of linear wirelength for global placement. - Charles J. Alpert; Tony F. Chan; Andrew B. Kahng; Igor L. Markov; Pep Mulet (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

Design and Implementation of the Fiduccia-Mattheyses Heuristic for VLSI Netlist Partitioning. - Andrew E. Caldwell; Andrew B. Kahng; Igor L. Markov (ALENEX, 1999)

Function Smoothing with Applications to VLSI Layout. - Ross Baldick; Andrew B. Kahng; Andrew A. Kennings; Igor L. Markov (ASP-DAC, 1999)

Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting. - Andrew E. Caldwell; Andrew B. Kahng; Andrew A. Kennings; Igor L. Markov (DAC, 1999)

Hypergraph Partitioning with Fixed Vertices. - Andrew E. Caldwell; Andrew B. Kahng; Igor L. Markov (DAC, 1999)

Partitioning with terminals: a "new" problem and new benchmarks. - Charles J. Alpert; Andrew E. Caldwell; Andrew B. Kahng; Igor L. Markov (ISPD, 1999)

On wirelength estimations for row-based placement. - Andrew E. Caldwell; Andrew B. Kahng; Stefanus Mantik; Igor L. Markov; Alexander Zelikovsky (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Analytical Engines are Unnecessary in Top-down Partitioning-based Placement. - Charles J. Alpert; Andrew E. Caldwell; Tony F. Chan; Dennis J.-H. Huang; Andrew B. Kahng; Igor L. Markov; M. S. Moroz (VLSI Design, 1999)

Improved algorithms for hypergraph bipartitioning. - Andrew E. Caldwell; Andrew B. Kahng; Igor L. Markov (ASP-DAC, 2000)

Analytical minimization of half-perimeter wirelength. - Andrew A. Kennings; Igor L. Markov (ASP-DAC, 2000)

GTX: the MARCO GSRC technology extrapolation system. - Andrew E. Caldwell; Yu Cao 001; Andrew B. Kahng; Farinaz Koushanfar; Hua Lu 004; Igor L. Markov; Michael Oliver; Dirk Stroobandt; Dennis Sylvester (DAC, 2000)

Can recursive bisection alone produce routable placements? - Andrew E. Caldwell; Andrew B. Kahng; Igor L. Markov (DAC, 2000)

Web-based frameworks to enable CAD RD (abstract). - Olivier Coudert; Igor L. Markov; Christoph Meinel; Ellen Sentovich (DAC, 2000)

Design and Implementation of Move-Based Heuristics for VLSI Hypergraph Partitioning. - Andrew E. Caldwell; Andrew B. Kahng; Igor L. Markov (ACM J. Exp. Algorithmics, 2000)

Hypergraph partitioning with fixed vertices [VLSI CAD]. - Charles J. Alpert; Andrew E. Caldwell; Andrew B. Kahng; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000)

Optimal partitioners and end-case placers for standard-cell layout. - Andrew E. Caldwell; Andrew B. Kahng; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000)

Iterative Partitioning with Varying Node Weights. - Andrew E. Caldwell; Andrew B. Kahng; Igor L. Markov (VLSI Design, 2000)

Faster SAT and Smaller BDDs via Common Function Structure. - Fadi A. Aloul; Igor L. Markov; Karem A. Sakallah (ICCAD, 2001)

Fixed-outline Floorplanning through Better Local Search. - Saurabh N. Adya; Igor L. Markov (ICCD, 2001)

Constraint-based watermarking techniques for design IP protection. - Andrew B. Kahng; John C. Lach; William H. Mangione-Smith; Stefanus Mantik; Igor L. Markov; Miodrag Potkonjak; Paul Tucker; Huijuan Wang; Gregory Wolfe (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001)

A Compressed Breadth-First Search for Satisfiability. - DoRon B. Motter; Igor L. Markov (ALENEX, 2002)

Solving difficult SAT instances in the presence of symmetry. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (DAC, 2002)

Generic ILP versus specialized 0-1 ILP: an update. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (ICCAD, 2002)

Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering. - Fadi A. Aloul; Igor L. Markov; Karem A. Sakallah (ICCD, 2002)

Consistent placement of macro-blocks using floorplanning and standard-cell placement. - Saurabh N. Adya; Igor L. Markov (ISPD, 2002)

Min-max placement for large-scale timing optimization. - Andrew B. Kahng; Stefanus Mantik; Igor L. Markov (ISPD, 2002)

Efficient Gate and Input Ordering for Circuit-to-BDD Conversion. - Fadi A. Aloul; Igor L. Markov; Karem A. Sakallah (IWLS, 2002)

Overcoming Resolution-Based Lower Bounds for SAT Solvers. - DoRon B. Motter; Igor L. Markov (IWLS, 2002)

Reversible Logic Circuit Synthesis. - Vivek V. Shende; Aditya K. Prasad; Igor L. Markov; John P. Hayes (IWLS, 2002)

Toward CAD-IP Reuse: A Web Bookshelf of Fundamental Algorithms. - Andrew E. Caldwell; Igor L. Markov (IEEE Des. Test Comput., 2002)

Gate-level simulation of quantum circuits. - George F. Viamontes; Manoj Rajagopalan; Igor L. Markov; John P. Hayes (ASP-DAC, 2003)

Shatter: efficient symmetry-breaking for boolean satisfiability. - Fadi A. Aloul; Igor L. Markov; Karem A. Sakallah (DAC, 2003)

An arbitrary twoqubit computation In 23 elementary gates or less. - Stephen S. Bullock; Igor L. Markov (DAC, 2003)

FORCE: a fast and easy-to-implement variable-ordering heuristic. - Fadi A. Aloul; Igor L. Markov; Karem A. Sakallah (ACM Great Lakes Symposium on VLSI, 2003)

On Whitespace and Stability in Mixed-Size Placement and Physical Synthesis. - Saurabh N. Adya; Igor L. Markov; Paul Villarrubia (ICCAD, 2003)

Combining Two Local Search Approaches to Hypergraph Partitioning. - Arathi Ramani; Igor L. Markov (IJCAI, 2003)

Impact of Interoperability on CAD-IP Reuse: An Academic Viewpoint. - Andrew B. Kahng; Igor L. Markov (ISQED, 2003)

Improving Gate-Level Simulation of Quantum Circuits. - George F. Viamontes; Igor L. Markov; John P. Hayes (Quantum Inf. Process., 2003)

Solving difficult instances of Boolean satisfiability in the presence of symmetry. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

Hierarchical whitespace allocation in top-down placement. - Andrew E. Caldwell; Andrew B. Kahng; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

Synthesis of reversible logic circuits. - Vivek V. Shende; Aditya K. Prasad; Igor L. Markov; John P. Hayes (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

Fixed-outline floorplanning: enabling hierarchical design. - Saurabh N. Adya; Igor L. Markov (IEEE Trans. Very Large Scale Integr. Syst., 2003)

Improved a priori interconnect predictions and technology extrapolation in the GTX system. - Yu Cao 001; Chenming Hu; Xuejue Huang; Andrew B. Kahng; Igor L. Markov; Michael Oliver; Dirk Stroobandt; Dennis Sylvester (IEEE Trans. Very Large Scale Integr. Syst., 2003)

ShatterPB: symmetry-breaking for pseudo-Boolean formulas. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (ASP-DAC, 2004)

Automatically Exploiting Symmetries in Constraint Programming. - Arathi Ramani; Igor L. Markov (CSCLP, 2004)

Exploiting structure in symmetry detection for CNF. - Paul T. Darga; Mark H. Liffiton; Karem A. Sakallah; Igor L. Markov (DAC, 2004)

AMUSE: a minimally-unsatisfiable subformula extractor. - Yoonna Oh; Maher N. Mneimneh; Zaher S. Andraus; Karem A. Sakallah; Igor L. Markov (DAC, 2004)

Boosting: Min-Cut Placement with Improved Signal Delay. - Andrew B. Kahng; Igor L. Markov; Sherief Reda (DATE, 2004)

Smaller Two-Qubit Circuits for Quantum Communication and Computation. - Vivek V. Shende; Igor L. Markov; Stephen S. Bullock (DATE, 2004)

High-Performance QuIDD-Based Simulation of Quantum Circuits. - George F. Viamontes; Igor L. Markov; John P. Hayes (DATE, 2004)

Practical slicing and non-slicing block-packing without simulated annealing. - Hayward H. Chan; Igor L. Markov (ACM Great Lakes Symposium on VLSI, 2004)

On legalization of row-based placements. - Andrew B. Kahng; Igor L. Markov; Sherief Reda (ACM Great Lakes Symposium on VLSI, 2004)

Constructive benchmarking for placement. - David A. Papa; Saurabh N. Adya; Igor L. Markov (ACM Great Lakes Symposium on VLSI, 2004)

Unification of partitioning, placement and floorplanning. - Saurabh N. Adya; S. Chaturvedi; Jarrod A. Roy; David A. Papa; Igor L. Markov (ICCAD, 2004)

MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. - Fadi A. Aloul; Igor L. Markov; Karem A. Sakallah (J. Univers. Comput. Sci., 2004)

Asymptotically optimal circuits for arbitrary n-qubit diagonal comutations. - Stephen S. Bullock; Igor L. Markov (Quantum Inf. Comput., 2004)

Benchmarking for large-scale placement and beyond. - Saurabh N. Adya; Mehmet Can Yildiz; Igor L. Markov; Paul Villarrubia; Phiroze N. Parakh; Patrick H. Madden (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004)

Fault testing for reversible circuits. - Ketan N. Patel; John P. Hayes; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004)

Error-correction and crosstalk avoidance in DSM busses. - Ketan N. Patel; Igor L. Markov (IEEE Trans. Very Large Scale Integr. Syst., 2004)

Dynamic symmetry-breaking for improved Boolean optimization. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (ASP-DAC, 2005)

Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices. - Smita Krishnaswamy; George F. Viamontes; Igor L. Markov; John P. Hayes (DATE, 2005)

Uniformly-Switching Logic for Cryptographic Hardware. - Igor L. Markov; Dmitri Maslov (DATE, 2005)

Logic circuit testing for transient faults. - Smita Krishnaswamy; Igor L. Markov; John P. Hayes (ETS, 2005)

Post-placement rewiring and rebuffering by exhaustive search for functional symmetries. - Kai-Hui Chang; Igor L. Markov; Valeria Bertacco (ICCAD, 2005)

Are floorplan representations important in digital design? - Hayward H. Chan; Saurabh N. Adya; Igor L. Markov (ISPD, 2005)

Capo: robust and scalable open-source min-cut floorplacer. - Jarrod A. Roy; David A. Papa; Saurabh N. Adya; Hayward H. Chan; Aaron N. Ng; James F. Lu; Igor L. Markov (ISPD, 2005)

Early research experience with OpenAccess gear: an open source development environment for physical design. - Zhong Xiu; David A. Papa; Philip Chong; Christoph Albrecht; Andreas Kuehlmann; Rob A. Rutenbar; Igor L. Markov (ISPD, 2005)

Toward Quality EDA Tools and Tool Flows Through High-Performance Computing. - Aaron N. Ng; Igor L. Markov (ISQED, 2005)

Resolution cannot polynomially simulate compressed-BFS. - DoRon B. Motter; Jarrod A. Roy; Igor L. Markov (Ann. Math. Artif. Intell., 2005)

Is quantum search practical? - George F. Viamontes; Igor L. Markov; John P. Hayes (Comput. Sci. Eng., 2005)

Quantum circuits for incompletely specified two-qubit operators. - Vivek V. Shende; Igor L. Markov (Quantum Inf. Comput., 2005)

Graph-based simulation of quantum computation in the density matrix representation. - George F. Viamontes; Igor L. Markov; John P. Hayes (Quantum Inf. Comput., 2005)

Combinatorial techniques for mixed-size placement. - Saurabh N. Adya; Igor L. Markov (ACM Trans. Design Autom. Electr. Syst., 2005)

Utility of the OpenAccess database in academic research. - David A. Papa; Igor L. Markov; Philip Chong (ASP-DAC, 2006)

Constraint-driven floorplan repair. - Michael D. Moffitt; Aaron N. Ng; Igor L. Markov; Martha E. Pollack (DAC, 2006)

On-Chip Test Generation Using Linear Subspaces. - Ramashis Das; Igor L. Markov; John P. Hayes (ETS, 2006)

Solving hard instances of floorplacement. - Aaron N. Ng; Igor L. Markov; Rajat Aggarwal; Venky Ramachandran (ISPD, 2006)

Seeing the forest and the trees: Steiner wirelength optimization in placemen. - Jarrod A. Roy; James F. Lu; Igor L. Markov (ISPD, 2006)

Satisfying whitespace requirements in top-down placement. - Jarrod A. Roy; David A. Papa; Aaron N. Ng; Igor L. Markov (ISPD, 2006)

A Layered Software Architecture for Quantum Computing Design Tools. - Krysta M. Svore; Alfred V. Aho; Andrew W. Cross; Isaac L. Chuang; Igor L. Markov (Computer, 2006)

On whitespace and stability in physical synthesis. - Saurabh N. Adya; Igor L. Markov; Paul G. Villarrubia (Integr., 2006)

Breaking Instance-Independent Symmetries In Exact Graph Coloring. - Arathi Ramani; Igor L. Markov; Karem A. Sakallah; Fadi A. Aloul (J. Artif. Intell. Res., 2006)

Data structures and algorithms for simplifying reversible circuits. - Aditya K. Prasad; Vivek V. Shende; Igor L. Markov; John P. Hayes; Ketan N. Patel (ACM J. Emerg. Technol. Comput. Syst., 2006)

Efficient Symmetry Breaking for Boolean Satisfiability. - Fadi A. Aloul; Karem A. Sakallah; Igor L. Markov (IEEE Trans. Computers, 2006)

Min-cut floorplacement. - Jarrod A. Roy; Saurabh N. Adya; David A. Papa; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Synthesis of quantum-logic circuits. - Vivek V. Shende; Stephen S. Bullock; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Capo: Congestion-Driven Placement for Standard-cell and RTL Netlists with Incremental Capability. - Jarrod A. Roy; David A. Papa; Igor L. Markov (Modern Circuit Placement, 2007)

Safe Delay Optimization for Physical Synthesis. - Kai-Hui Chang; Igor L. Markov; Valeria Bertacco (ASP-DAC, 2007)

Node Mergers in the Presence of Don't Cares. - Stephen Plaza; Kai-Hui Chang; Igor L. Markov; Valeria Bertacco (ASP-DAC, 2007)

Automatic error diagnosis and correction for RTL designs. - Kai-Hui Chang; Ilya Wagner; Valeria Bertacco; Igor L. Markov (HLDVT, 2007)

Automating post-silicon debugging and repair. - Kai-Hui Chang; Igor L. Markov; Valeria Bertacco (ICCAD, 2007)

Enhancing design robustness with reliability-aware resynthesis and logic simulation. - Smita Krishnaswamy; Stephen Plaza; Igor L. Markov; John P. Hayes (ICCAD, 2007)

Checking equivalence of quantum circuits and states. - George F. Viamontes; Igor L. Markov; John P. Hayes (ICCAD, 2007)

InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization. - Kai-Hui Chang; David A. Papa; Igor L. Markov; Valeria Bertacco (ISQED, 2007)

Tracking Uncertainty with Probabilistic Logic Circuit Testing. - Smita Krishnaswamy; Igor L. Markov; John P. Hayes (IEEE Des. Test Comput., 2007)

Special issue on System-Level Interconnect Prediction. - Igor L. Markov; Louis Scheffer; Dirk Stroobandt (Integr., 2007)

Symmetry breaking for pseudo-Boolean formulas. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (ACM J. Exp. Algorithmics, 2007)

Solution and Optimization of Systems of Pseudo-Boolean Constraints. - Fadi A. Aloul; Arathi Ramani; Karem A. Sakallah; Igor L. Markov (IEEE Trans. Computers, 2007)

Simulation-Based Bug Trace Minimization With BMC-Based Refinement. - Kai-Hui Chang; Valeria Bertacco; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)

Seeing the Forest and the Trees: Steiner Wirelength Optimization in Placement. - Jarrod A. Roy; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)

ECO-System: Embracing the Change in Placement. - Jarrod A. Roy; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)

Postplacement rewiring by exhaustive search for functional symmetries. - Kai-Hui Chang; Igor L. Markov; Valeria Bertacco (ACM Trans. Design Autom. Electr. Syst., 2007)

Hypergraph Partitioning and Clustering. - David A. Papa; Igor L. Markov (Handbook of Approximation Algorithms and Metaheuristics, 2007)

Faster symmetry discovery using sparsity of symmetries. - Paul T. Darga; Karem A. Sakallah; Igor L. Markov (DAC, 2008)

On the role of timing masking in reliable logic circuit design. - Smita Krishnaswamy; Igor L. Markov; John P. Hayes (DAC, 2008)

Protecting bus-based hardware IP by secret sharing. - Jarrod A. Roy; Farinaz Koushanfar; Igor L. Markov (DAC, 2008)

Random Stimulus Generation using Entropy and XOR Constraints. - Stephen Plaza; Igor L. Markov; Valeria Bertacco (DATE, 2008)

EPIC: Ending Piracy of Integrated Circuits. - Jarrod A. Roy; Farinaz Koushanfar; Igor L. Markov (DATE, 2008)

Circuit CAD Tools as a Security Threat. - Jarrod A. Roy; Farinaz Koushanfar; Igor L. Markov (HOST, 2008)

On the decreasing significance of large standard cells in technology mapping. - Jae-sun Seo; Igor L. Markov; Dennis Sylvester; David T. Blaauw (ICCAD, 2008)

Reap what you sow: spare cells for post-silicon metal fix. - Kai-Hui Chang; Igor L. Markov; Valeria Bertacco (ISPD, 2008)

The coming of age of (academic) global routing. - Michael D. Moffitt; Jarrod A. Roy; Igor L. Markov (ISPD, 2008)

Optimizing non-monotonic interconnect using functional simulation and logic restructuring. - Stephen Plaza; Igor L. Markov; Valeria Bertacco (ISPD, 2008)

Sidewinder: a scalable ILP-based router. - Jin Hu; Jarrod A. Roy; Igor L. Markov (SLIP, 2008)

Automating Postsilicon Debugging and Repair. - Kai-Hui Chang; Igor L. Markov; Valeria Bertacco (Computer, 2008)

SafeResynth: A new technique for physical synthesis. - Kai-Hui Chang; Igor L. Markov; Valeria Bertacco (Integr., 2008)

Optimal synthesis of linear reversible circuits. - Ketan N. Patel; Igor L. Markov; John P. Hayes (Quantum Inf. Comput., 2008)

Simulating Quantum Computation by Contracting Tensor Networks. - Igor L. Markov; Yaoyun Shi (SIAM J. Comput., 2008)

Fixing Design Errors With Counterexamples and Resynthesis. - Kai-Hui Chang; Igor L. Markov; Valeria Bertacco (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm. - David A. Papa; Tao Luo 002; Michael D. Moffitt; Chin Ngai Sze; Zhuo Li 001; Gi-Joon Nam; Charles J. Alpert; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Optimizing Nonmonotonic Interconnect Using Functional Simulation and Logic Restructuring. - Stephen Plaza; Igor L. Markov; Valeria Bertacco (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

High-Performance Routing at the Nanometer Scale. - Jarrod A. Roy; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Probabilistic transfer matrices in symbolic reliability analysis of logic circuits. - Smita Krishnaswamy; George F. Viamontes; Igor L. Markov; John P. Hayes (ACM Trans. Design Autom. Electr. Syst., 2008)

Constraint-driven floorplan repair. - Michael D. Moffitt; Jarrod A. Roy; Igor L. Markov; Martha E. Pollack (ACM Trans. Design Autom. Electr. Syst., 2008)

Fine Control of Local Whitespace in Placement. - Jarrod A. Roy; David A. Papa; Igor L. Markov (VLSI Design, 2008)

Circuit Placement. - Andrew A. Kennings; Igor L. Markov (Encyclopedia of Algorithms, 2008)

Partitioning-Based Methods. - Jarrod A. Roy; Igor L. Markov (Handbook of Algorithms for Physical Design Automation, 2008)

Quantum Circuit Simulation. - George F. Viamontes; Igor L. Markov; John P. Hayes (Springer, 2009)

Improving testability and soft-error resilience through retiming. - Smita Krishnaswamy; Igor L. Markov; John P. Hayes (DAC, 2009)

Customizing IP cores for system-on-chip designs using extensive external don't-cares. - Kai-Hui Chang; Valeria Bertacco; Igor L. Markov (DATE, 2009)

CRISP: Congestion reduction by iterated spreading during placement. - Jarrod A. Roy; Natarajan Viswanathan; Gi-Joon Nam; Charles J. Alpert; Igor L. Markov (ICCAD, 2009)

Dynamic symmetry-breaking for Boolean satisfiability. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (Ann. Math. Artif. Intell., 2009)

High-performance Energy Minimization with Applications to Adiabatic Quantum Computing. - Héctor J. García; Igor L. Markov (CoRR, 2009)

Incremental Verification with Error Detection, Diagnosis, and Visualization. - Kai-Hui Chang; David A. Papa; Igor L. Markov; Valeria Bertacco (IEEE Des. Test Comput., 2009)

Book Review: A physical-design picture book. - Igor L. Markov (IEEE Des. Test Comput., 2009)

Solving modern mixed-size placement instances. - Jarrod A. Roy; Aaron N. Ng; Rajat Aggarwal; Venky Ramachandran; Igor L. Markov (Integr., 2009)

On the CNOT-cost of TOFFOLI gates. - Vivek V. Shende; Igor L. Markov (Quantum Inf. Comput., 2009)

Signature-Based SER Analysis and Design of Logic Circuits. - Smita Krishnaswamy; Stephen Plaza; Igor L. Markov; John P. Hayes (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)

Functional Design Errors in Digital Circuits - Diagnosis, Correction and Repair - Kai-Hui Chang; Igor L. Markov; Valeria Bertacco (Springer, 2009)

On the costs and benefits of stochasticity in stream processing. - Raj R. Nadakuditi; Igor L. Markov (DAC, 2010)

Spinto: High-performance energy minimization in spin glasses. - Héctor J. García; Igor L. Markov (DATE, 2010)

Large-scale Boolean matching. - Hadi Katebi; Igor L. Markov (DATE, 2010)

Low-power clock trees for CPUs. - Dongjin Lee; Myung-Chul Kim; Igor L. Markov (ICCAD, 2010)

SPIRE: A retiming-based physical-synthesis transformation system. - David A. Papa; Smita Krishnaswamy; Igor L. Markov (ICCAD, 2010)

Completing high-quality global routes. - Jin Hu; Jarrod A. Roy; Igor L. Markov (ISPD, 2010)

Symmetry and Satisfiability: An Update. - Hadi Katebi; Karem A. Sakallah; Igor L. Markov (SAT, 2010)

Ending Piracy of Integrated Circuits. - Jarrod A. Roy; Farinaz Koushanfar; Igor L. Markov (Computer, 2010)

Master numerical tasks with ease. - Igor L. Markov (IEEE Des. Test Comput., 2010)

Chips in 3D. - Igor L. Markov (IEEE Des. Test Comput., 2010)

Speeding Up Physical Synthesis with Transactional Timing Analysis. - David A. Papa; Michael D. Moffitt; Charles J. Alpert; Igor L. Markov (IEEE Des. Test Comput., 2010)

Fast equivalence - checking for quantum circuits. - Shigeru Yamashita; Igor L. Markov (Quantum Inf. Comput., 2010)

Logic synthesis and circuit customization using extensive external don't-cares. - Kai-Hui Chang; Valeria Bertacco; Igor L. Markov; Alan Mishchenko (ACM Trans. Design Autom. Electr. Syst., 2010)

VLSI Physical Design - From Graph Partitioning to Timing Closure. - Andrew B. Kahng; Jens Lienig; Igor L. Markov; Jin Hu (Springer, 2011)

A SimPLR method for routability-driven placement. - Myung-Chul Kim; Jin Hu; Dongjin Lee; Igor L. Markov (ICCAD, 2011)

Multilevel tree fusion for robust clock networks. - Dongjin Lee; Igor L. Markov (ICCAD, 2011)

Algorithmic tuning of clock trees and derived non-tree structures. - Igor L. Markov; Dongjin Lee (ICCAD, 2011)

Assembling 2D blocks into 3D chips. - Johann Knechtel; Igor L. Markov; Jens Lienig (ISPD, 2011)

Constant-Degree Graph Expansions that Preserve Treewidth. - Igor L. Markov; Yaoyun Shi (Algorithmica, 2011)

EDA: Synergy or sum of the parts? [review of "Electronic Design Automation: Synthesis, Verification and Test (Systems on Silicon" (Wang, L.-T., Eds., et al; 2009)]. - Igor L. Markov (IEEE Des. Test Comput., 2011)

Getting Your Bits in Order. - Igor L. Markov (IEEE Des. Test Comput., 2011)

Physical Synthesis with Clock-Network Optimization for Large Systems on Chips. - David A. Papa; Charles J. Alpert; Cliff C. N. Sze; Zhuo Li 001; Natarajan Viswanathan; Gi-Joon Nam; Igor L. Markov (IEEE Micro, 2011)

CONTANGO: Integrated Optimization of SoC Clock Networks. - Dongjin Lee; Igor L. Markov (VLSI Design, 2011)

Securely Sealing Multi-FPGA Systems. - Tim Güneysu; Igor L. Markov; André Weimerskirch (ARC, 2012)

Graph Symmetry Detection and Canonical Labeling: Differences and Synergies. - Hadi Katebi; Karem A. Sakallah; Igor L. Markov (Turing-100, 2012)

ComPLx: A Competitive Primal-dual Lagrange Optimization for Global Placement. - Myung-Chul Kim; Igor L. Markov (DAC, 2012)

RTL analysis and modifications for improving at-speed test. - Kai-Hui Chang; Hong-Zu Chou; Igor L. Markov (DATE, 2012)

Sensitivity-guided metaheuristics for accurate discrete gate sizing. - Jin Hu; Andrew B. Kahng; Seokhyeong Kang; Myung-Chul Kim; Igor L. Markov (ICCAD, 2012)

Multiobjective optimization of deadspace, a critical resource for 3D-IC integration. - Johann Knechtel; Igor L. Markov; Jens Lienig; Matthias Thiele (ICCAD, 2012)

MAPLE: multilevel adaptive placement for mixed-size designs. - Myung-Chul Kim; Natarajan Viswanathan; Charles J. Alpert; Igor L. Markov; Shyam Ramji (ISPD, 2012)

Conflict Anticipation in the Search for Graph Automorphisms. - Hadi Katebi; Karem A. Sakallah; Igor L. Markov (LPAR, 2012)

Efficient Inner-product Algorithm for Stabilizer States - Héctor J. García; Igor L. Markov; Andrew W. Cross (CoRR, 2012)

Constant-optimized quantum circuits for modular multiplication and exponentiation. - Igor L. Markov; Mehdi Saeedi (Quantum Inf. Comput., 2012)

SimPL: An Effective Placement Algorithm. - Myung-Chul Kim; Dongjin Lee; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Assembling 2-D Blocks Into 3-D Chips. - Johann Knechtel; Igor L. Markov; Jens Lienig (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Obstacle-Aware Clock-Tree Shaping During Placement. - Dongjin Lee; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

The nature of optimization problem challenges in physical synthesis. - Ismail Bustany; Igor L. Markov; Martin D. F. Wong (ACC, 2013)

Taming the complexity of coordinated place and route. - Jin Hu; Myung-Chul Kim; Igor L. Markov (DAC, 2013)

ClockPUF: physical unclonable functions based on clock networks. - Yida Yao; MyungBo Kim; Jianmin Li; Igor L. Markov; Farinaz Koushanfar (DATE, 2013)

High-performance gate sizing with a signoff timer. - Andrew B. Kahng; Seokhyeong Kang; Hyein Lee 001; Igor L. Markov; Pankit Thapar (ICCAD, 2013)

Generalized Boolean symmetries through nested partition refinement. - Hadi Katebi; Karem A. Sakallah; Igor L. Markov (ICCAD, 2013)

Quipu: High-performance simulation of quantum circuits using stabilizer frames. - Héctor J. García; Igor L. Markov (ICCD, 2013)

Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms. - Paolo Codenotti; Hadi Katebi; Karem A. Sakallah; Igor L. Markov (ICTAI, 2013)

"Scaling" the impact of EDA education Preliminary findings from the CCC workshop series on extreme scale design automation. - R. Iris Bahar; Alex K. Jones; Srinivas Katkoori; Patrick H. Madden; Diana Marculescu; Igor L. Markov (MSE, 2013)

SimPL: an algorithm for placing VLSI circuits. - Myung-Chul Kim; Dongjin Lee; Igor L. Markov (Commun. ACM, 2013)

Faster Quantum Number Factoring via Circuit Synthesis - Igor L. Markov; Mehdi Saeedi (CoRR, 2013)

Quantum Circuits for GCD Computation with $O(n log n)$ Depth and O(n) Ancillae - Mehdi Saeedi; Igor L. Markov (CoRR, 2013)

Synthesis and optimization of reversible circuits - a survey. - Mehdi Saeedi; Igor L. Markov (ACM Comput. Surv., 2013)

On bottleneck analysis in stochastic stream processing. - Raj Rao Nadakuditi; Igor L. Markov (ACM Trans. Design Autom. Electr. Syst., 2013)

Design, Analysis and Test of Logic Circuits Under Uncertainty - Smita Krishnaswamy; Igor L. Markov; John P. Hayes (Springer, 2013)

Multi-Objective Optimization in Physical Synthesis of Integrated Circuits - David A. Papa; Igor L. Markov (Springer, 2013)

Protecting integrated circuits from piracy with test-aware logic locking. - Stephen M. Plaza; Igor L. Markov (ICCAD, 2014)

SuperPUF: integrating heterogeneous physically unclonable functions. - Michael Wang; Andrew Yates; Igor L. Markov (ICCAD, 2014)

A review of "Memcomputing NP-complete problems in polynomial time using polynomial resources" (arXiv: 1411.4798). - Igor L. Markov (CoRR, 2014)

Limits on fundamental limits to computation. - Igor L. Markov (Nat., 2014)

On the geometry of stabilizer states. - Héctor J. García; Igor L. Markov; Andrew W. Cross (Quantum Inf. Comput., 2014)

Energy-Efficient Abundant-Data Computing: The N3XT 1, 000x. - Mohamed M. Sabry; Mingyu Gao 001; Gage Hills; Chi-Shuen Lee; Greg Pitner; Max M. Shulaker; Tony F. Wu; Mehdi Asheghi; Jeffrey Bokor; Franz Franchetti; Kenneth E. Goodson; Christos Kozyrakis; et al. (Computer, 2015)

Progress and Challenges in VLSI Placement Research. - Igor L. Markov; Jin Hu; Myung-Chul Kim (Proc. IEEE, 2015)

Simulation of Quantum Circuits via Stabilizer Frames. - Héctor J. García; Igor L. Markov (IEEE Trans. Computers, 2015)

Solving the Third-Shift Problem in IC Piracy With Test-Aware Logic Locking. - Stephen M. Plaza; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Impact of Future Technologies on Architecture. - Trevor N. Mudge; Frederic T. Chong; Igor L. Markov; Resit Sendag; Joshua J. Yi; Derek Chiou (IEEE Micro, 2016)

Circuit Placement. - Andrew A. Kennings; Igor L. Markov (Encyclopedia of Algorithms, 2016)

Optimal die placement for interposer-based 3D ICs. - Sergii Osmolovskyi; Johann Knechtel; Igor L. Markov; Jens Lienig (ASP-DAC, 2018)

Quantum Supremacy Is Both Closer and Farther than It Appears. - Igor L. Markov; Aneeqa Fatima; Sergei V. Isakov; Sergio Boixo (CoRR, 2018)

The N3XT Approach to Energy-Efficient Abundant-Data Computing. - Mohamed M. Sabry Aly; Tony F. Wu; Andrew Bartolo; Yash H. Malviya; William Hwang; Gage Hills; Igor L. Markov; Mary Wootters; Max M. Shulaker; H.-S. Philip Wong; Subhasish Mitra (Proc. IEEE, 2019)

Approximation of Quantum States Using Decision Diagrams. - Alwin Zulehner; Stefan Hillmich; Igor L. Markov; Robert Wille (ASP-DAC, 2020)

Just Like the Real Thing: Fast Weak Simulation of Quantum Computation. - Stefan Hillmich; Igor L. Markov; Robert Wille (DAC, 2020)

Massively Parallel Approximate Simulation of Hard Quantum Circuits. - Igor L. Markov; Aneeqa Fatima; Sergei V. Isakov; Sergio Boixo (DAC, 2020)

Workshops on Extreme Scale Design Automation (ESDA) Challenges and Opportunities for 2025 and Beyond. - R. Iris Bahar; Alex K. Jones; Srinivas Katkoori; Patrick H. Madden; Diana Marculescu; Igor L. Markov (CoRR, 2020)

Prioritizing Original News on Facebook. - Xiuyan Ni; Shujian Bu; Lucas Adams; Igor L. Markov (CIKM, 2021)

As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation. - Stefan Hillmich; Richard Kueng; Igor L. Markov; Robert Wille (DATE, 2021)

Faster Schrödinger-style simulation of quantum circuits. - Aneeqa Fatima; Igor L. Markov (HPCA, 2021)

Text Ranking and Classification using Data Compression. - Nitya Kasturi; Igor L. Markov (ICBINB@NeurIPS, 2021)

Personalization for Web-based Services using Offline Reinforcement Learning. - Pavlos Athanasios Apostolopoulos; Zehui Wang; Hanson Wang; Chad Zhou; Kittipat Virochsiri; Norm Zhou; Igor L. Markov (CoRR, 2021)

Prioritizing Original News on Facebook. - Xiuyan Ni; Shujian Bu; Igor L. Markov (CoRR, 2021)

Regular Expressions for Fast-response COVID-19 Text Classification. - Igor L. Markov; Jacqueline Liu; Adam Vagner (CoRR, 2021)

Bit-efficient Numerical Aggregation and Stronger Privacy for Trust in Federated Analytics. - Graham Cormode; Igor L. Markov (CoRR, 2021)

Picasso: Model-free Feature Visualization. - Binh Vu; Igor L. Markov (CoRR, 2021)

Detecting Qubit-coupling Faults in Ion-trap Quantum Computers. - Andrii Maksymov; Jason Nguyen; Vandiver Chaplin; Yun Seong Nam; Igor L. Markov (HPCA, 2022)

Looper: An End-to-End ML Platform for Product Decisions. - Igor L. Markov; Hanson Wang; Nitya S. Kasturi; Shaun Singh; Mia R. Garrard; Yin Huang; Sze Wai Celeste Yuen; Sarah Tran; Zehui Wang; Igor Glotov; Tanvi Gupta; Peng Chen; et al. (KDD, 2022)

Data-Driven Mitigation of Adversarial Text Perturbation. - Rasika Bhalerao; Mohammad Al-Rubaie; Anand Bhaskar; Igor L. Markov (CoRR, 2022)

Ever more optimized simulations of fermionic systems on a quantum computer. - Qingfeng Wang; Ze-Pei Cian; Ming Li; Igor L. Markov; Yunseong Nam (DAC, 2023)

Enhancing quantum computer performance via symmetrization. - Andrii Maksymov; Jason Nguyen; Yunseong Nam; Igor L. Markov (CoRR, 2023)

Practical Knowledge Distillation: Using DNNs to Beat DNNs. - Chung-Wei Lee; Pavlos Athanasios Apostolopulos; Igor L. Markov (CoRR, 2023)

Scalable End-to-End ML Platforms: from AutoML to Self-serve. - Igor L. Markov; Pavlos Athanasios Apostolopoulos; Mia Garrard; Tianyu Qie; Yin Huang; Tanvi Gupta; Anika Li; Cesar Cardoso; George Han; Ryan Maghsoudian; Norm Zhou (CoRR, 2023)

Efficient Multi-stage Inference on Tabular Data. - Daniel S. Johnson; Igor L. Markov (CoRR, 2023)

The False Dawn: Reevaluating Google's Reinforcement Learning for Chip Macro Placement. - Igor L. Markov (CoRR, 2023)

Federated Calibration and Evaluation of Binary Classifiers. - Graham Cormode; Igor L. Markov (Proc. VLDB Endow., 2023)

Guest Editor's Introduction: Machine Learning for VLSI Physical Design. - Igor L. Markov; Fan Yang 001; Li Shang; Hai Zhou 001 (ACM Trans. Design Autom. Electr. Syst., 2023)

Private and Efficient Federated Numerical Aggregation. - Graham Cormode; Igor L. Markov; Harish Srinivas (EDBT, 2024)

How to Build a Quantum Supercomputer: Scaling from Hundreds to Millions of Qubits. - Masoud Mohseni; Artur Scherer; K. Grace Johnson; Oded Wertheim; Matthew Otten; Navid Anjum Aadit; Yuri Alexeev; Kirk M. Bresniker; Kerem Yunus Çamsari; Barbara Chapman; Soumitra Chatterjee; Gebremedhin A. Dagnew; et al. (CoRR, 2024)

Personalization for web-based services using offline reinforcement learning. - Pavlos Athanasios Apostolopoulos; Zehui Wang; Hanson Wang; Tenghyu Xu; Chad Zhou; Kittipat Virochsiri; Norm Zhou; Igor L. Markov (Mach. Learn., 2024)

Reevaluating Google's Reinforcement Learning for IC Macro Placement. - Igor L. Markov (Commun. ACM, 2024)