Igor L. Markov Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Güneysu, Igor L. Markov, André Weimerskirch: Securely Sealing Multi-FPGA Systems. ARC 2012: 276-289
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Hong-Zu Chou, Igor L. Markov: RTL analysis and modifications for improving at-speed test. DATE 2012: 400-405
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMyung-Chul Kim, Natarajan Viswanathan, Charles J. Alpert, Igor L. Markov, Shyam Ramji: MAPLE: multilevel adaptive placement for mixed-size designs. ISPD 2012: 193-200
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHadi Katebi, Karem A. Sakallah, Igor L. Markov: Conflict Anticipation in the Search for Graph Automorphisms. LPAR 2012: 243-257
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov, Mehdi Saeedi: Constant-Optimized Quantum Circuits for Modular Multiplication and Exponentiation CoRR abs/1202.6614: (2012)
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMyung-Chul Kim, Dongjin Lee, Igor L. Markov: SimPL: An Effective Placement Algorithm. IEEE Trans. on CAD of Integrated Circuits and Systems 31(1): 50-60 (2012)
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongjin Lee, Igor L. Markov: Obstacle-Aware Clock-Tree Shaping During Placement. IEEE Trans. on CAD of Integrated Circuits and Systems 31(2): 205-216 (2012)
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann Knechtel, Igor L. Markov, Jens Lienig: Assembling 2-D Blocks Into 3-D Chips. IEEE Trans. on CAD of Integrated Circuits and Systems 31(2): 228-241 (2012)
2011
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu: VLSI Physical Design - From Graph Partitioning to Timing Closure. Springer 2011: I-XI, 1-310
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov, Dongjin Lee: Algorithmic tuning of clock trees and derived non-tree structures. ICCAD 2011: 279-282
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongjin Lee, Igor L. Markov: Multilevel tree fusion for robust clock networks. ICCAD 2011: 632-639
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMyung-Chul Kim, Jin Hu, Dongjin Lee, Igor L. Markov: A SimPLR method for routability-driven placement. ICCAD 2011: 67-73
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongjin Lee, Igor L. Markov: Obstacle-aware clock-tree shaping during placement. ISPD 2011: 123-130
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann Knechtel, Igor L. Markov, Jens Lienig: Assembling 2D blocks into 3D chips. ISPD 2011: 81-88
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov, Yaoyun Shi: Constant-Degree Graph Expansions that Preserve Treewidth. Algorithmica 59(4): 461-470 (2011)
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Igor L. Markov, Arathi Ramani, Karem A. Sakallah: Breaking Instance-Independent Symmetries In Exact Graph Coloring CoRR abs/1109.2347: (2011)
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Saeedi, Igor L. Markov: Synthesis and Optimization of Reversible Circuits - A Survey CoRR abs/1110.2574: (2011)
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov: 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)]. IEEE Design & Test of Computers 28(1): 78-79 (2011)
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov: Getting Your Bits in Order. IEEE Design & Test of Computers 28(4): 98-101 (2011)
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Papa, Charles J. Alpert, Cliff C. N. Sze, Zhuo Li, Natarajan Viswanathan, Gi-Joon Nam, Igor L. Markov: Physical Synthesis with Clock-Network Optimization for Large Systems on Chips. IEEE Micro 31(4): 51-62 (2011)
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongjin Lee, Igor L. Markov: CONTANGO: Integrated Optimization of SoC Clock Networks. VLSI Design 2011: (2011)
2010
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaj R. Nadakuditi, Igor L. Markov: On the costs and benefits of stochasticity in stream processing. DAC 2010: 320-325
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongjin Lee, Igor L. Markov: Contango: Integrated optimization of SoC clock networks. DATE 2010: 1468-1473
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHéctor J. Garcia, Igor L. Markov: Spinto: High-performance energy minimization in spin glasses. DATE 2010: 160-165
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHadi Katebi, Igor L. Markov: Large-scale Boolean matching. DATE 2010: 771-776
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Papa, Smita Krishnaswamy, Igor L. Markov: SPIRE: A retiming-based physical-synthesis transformation system. ICCAD 2010: 373-380
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongjin Lee, Myung-Chul Kim, Igor L. Markov: Low-power clock trees for CPUs. ICCAD 2010: 444-451
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMyung-Chul Kim, Dongjin Lee, Igor L. Markov: SimPL: An effective placement algorithm. ICCAD 2010: 649-656
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Hu, Jarrod A. Roy, Igor L. Markov: Completing high-quality global routes. ISPD 2010: 35-41
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHadi Katebi, Karem A. Sakallah, Igor L. Markov: Symmetry and Satisfiability: An Update. SAT 2010: 113-127
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Valeria Bertacco, Igor L. Markov, Alan Mishchenko: Logic synthesis and circuit customization using extensive external don't-cares. ACM Trans. Design Autom. Electr. Syst. 15(3): (2010)
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, Farinaz Koushanfar, Igor L. Markov: Ending Piracy of Integrated Circuits. IEEE Computer 43(10): 30-38 (2010)
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov: Master numerical tasks with ease. IEEE Design & Test of Computers 27(1): 93-95 (2010)
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov: Chips in 3D. IEEE Design & Test of Computers 27(4): 68-69 (2010)
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Papa, Michael D. Moffitt, Charles J. Alpert, Igor L. Markov: Speeding Up Physical Synthesis with Transactional Timing Analysis. IEEE Design & Test of Computers 27(5): 14-25 (2010)
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShigeru Yamashita, Igor L. Markov: Fast equivalence - checking for quantum circuits. Quantum Information & Computation 10(9&10): 721-734 (2010)
2009
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Igor L. Markov, Valeria Bertacco: Functional Design Errors in Digital Circuits - Diagnosis, Correction and Repair Springer 2009: 3-185
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge F. Viamontes, Igor L. Markov, John P. Hayes: Quantum Circuit Simulation. Springer 2009: I-X, 1-190
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSmita Krishnaswamy, Igor L. Markov, John P. Hayes: Improving testability and soft-error resilience through retiming. DAC 2009: 508-513
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Valeria Bertacco, Igor L. Markov: Customizing IP cores for system-on-chip designs using extensive external don't-cares. DATE 2009: 582-585
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, Natarajan Viswanathan, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov: CRISP: Congestion reduction by iterated spreading during placement. ICCAD 2009: 357-362
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Dynamic symmetry-breaking for Boolean satisfiability. Ann. Math. Artif. Intell. 57(1): 59-73 (2009)
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, David A. Papa, Igor L. Markov, Valeria Bertacco: Incremental Verification with Error Detection, Diagnosis, and Visualization. IEEE Design & Test of Computers 26(2): 34-43 (2009)
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov: Book Review: A physical-design picture book. IEEE Design & Test of Computers 26(4): 100-101 (2009)
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSmita Krishnaswamy, Stephen Plaza, Igor L. Markov, John P. Hayes: Signature-Based SER Analysis and Design of Logic Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 28(1): 74-86 (2009)
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, Aaron N. Ng, Rajat Aggarwal, Venky Ramachandran, Igor L. Markov: Solving modern mixed-size placement instances. Integration 42(2): 262-275 (2009)
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek V. Shende, Igor L. Markov: On the CNOT-cost of TOFFOLI gates. Quantum Information & Computation 9(5): 461-486 (2009)
2008
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul T. Darga, Karem A. Sakallah, Igor L. Markov: Faster symmetry discovery using sparsity of symmetries. DAC 2008: 149-154
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, Farinaz Koushanfar, Igor L. Markov: Protecting bus-based hardware IP by secret sharing. DAC 2008: 846-851
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSmita Krishnaswamy, Igor L. Markov, John P. Hayes: On the role of timing masking in reliable logic circuit design. DAC 2008: 924-929
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, Farinaz Koushanfar, Igor L. Markov: EPIC: Ending Piracy of Integrated Circuits. DATE 2008: 1069-1074
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Plaza, Igor L. Markov, Valeria Bertacco: Random Stimulus Generation using Entropy and XOR Constraints. DATE 2008: 664-669
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, Farinaz Koushanfar, Igor L. Markov: Circuit CAD Tools as a Security Threat. HOST 2008: 65-66
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJae-sun Seo, Igor L. Markov, Dennis Sylvester, David Blaauw: On the decreasing significance of large standard cells in technology mapping. ICCAD 2008: 116-121
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Igor L. Markov, Valeria Bertacco: Reap what you sow: spare cells for post-silicon metal fix. ISPD 2008: 103-110
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael D. Moffitt, Jarrod A. Roy, Igor L. Markov: The coming of age of (academic) global routing. ISPD 2008: 148-155
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Papa, Tao Luo, Michael D. Moffitt, Chin-Ngai Sze, Zhuo Li, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov: RUMBLE: an incremental, timing-driven, physical-synthesis optimization algorithm. ISPD 2008: 2-9
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Plaza, Igor L. Markov, Valeria Bertacco: Optimizing non-monotonic interconnect using functional simulation and logic restructuring. ISPD 2008: 95-102
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Hu, Jarrod A. Roy, Igor L. Markov: Sidewinder: a scalable ILP-based router. SLIP 2008: 73-80
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew A. Kennings, Igor L. Markov: Circuit Placement. Encyclopedia of Algorithms 2008
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSmita Krishnaswamy, George F. Viamontes, Igor L. Markov, John P. Hayes: Probabilistic transfer matrices in symbolic reliability analysis of logic circuits. ACM Trans. Design Autom. Electr. Syst. 13(1): (2008)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael D. Moffitt, Jarrod A. Roy, Igor L. Markov, Martha E. Pollack: Constraint-driven floorplan repair. ACM Trans. Design Autom. Electr. Syst. 13(4): (2008)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Igor L. Markov, Valeria Bertacco: Automating Postsilicon Debugging and Repair. IEEE Computer 41(7): 47-54 (2008)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Igor L. Markov, Valeria Bertacco: Fixing Design Errors With Counterexamples and Resynthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 27(1): 184-188 (2008)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Plaza, Igor L. Markov, Valeria Bertacco: Optimizing Nonmonotonic Interconnect Using Functional Simulation and Logic Restructuring. IEEE Trans. on CAD of Integrated Circuits and Systems 27(12): 2107-2119 (2008)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Papa, Tao Luo, Michael D. Moffitt, Chin-Ngai Sze, Zhuo Li, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov: RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm. IEEE Trans. on CAD of Integrated Circuits and Systems 27(12): 2156-2168 (2008)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, Igor L. Markov: High-Performance Routing at the Nanometer Scale. IEEE Trans. on CAD of Integrated Circuits and Systems 27(6): 1066-1077 (2008)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Igor L. Markov, Valeria Bertacco: SafeResynth: A new technique for physical synthesis. Integration 41(4): 544-556 (2008)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKetan N. Patel, Igor L. Markov, John P. Hayes: Optimal synthesis of linear reversible circuits. Quantum Information & Computation 8(3): 282-294 (2008)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov, Yaoyun Shi: Simulating Quantum Computation by Contracting Tensor Networks. SIAM J. Comput. 38(3): 963-981 (2008)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, David A. Papa, Igor L. Markov: Fine Control of Local Whitespace in Placement. VLSI Design 2008: (2008)
2007
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, Igor L. Markov: ECO-system: Embracing the Change in Placement. ASP-DAC 2007: 147-152
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Plaza, Kai-Hui Chang, Igor L. Markov, Valeria Bertacco: Node Mergers in the Presence of Don't Cares. ASP-DAC 2007: 414-419
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Igor L. Markov, Valeria Bertacco: Safe Delay Optimization for Physical Synthesis. ASP-DAC 2007: 628-633
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Igor L. Markov, Valeria Bertacco: Fixing Design Errors with Counterexamples and Resynthesis. ASP-DAC 2007: 944-949
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSmita Krishnaswamy, Stephen Plaza, Igor L. Markov, John P. Hayes: Enhancing design robustness with reliability-aware resynthesis and logic simulation. ICCAD 2007: 149-154
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, Igor L. Markov: High-performance routing at the nanometer scale. ICCAD 2007: 496-502
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge F. Viamontes, Igor L. Markov, John P. Hayes: Checking equivalence of quantum circuits and states. ICCAD 2007: 69-74
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Igor L. Markov, Valeria Bertacco: Automating post-silicon debugging and repair. ICCAD 2007: 91-98
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, David A. Papa, Igor L. Markov, Valeria Bertacco: InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization. ISQED 2007: 487-494
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Symmetry breaking for pseudo-Boolean formulas. ACM Journal of Experimental Algorithmics 12: (2007)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Igor L. Markov, Valeria Bertacco: Postplacement rewiring by exhaustive search for functional symmetries. ACM Trans. Design Autom. Electr. Syst. 12(3): (2007)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov, Yaoyun Shi: Constant-degree graph expansions that preserve the treewidth CoRR abs/0707.3622: (2007)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSmita Krishnaswamy, Igor L. Markov, John P. Hayes: Tracking Uncertainty with Probabilistic Logic Circuit Testing. IEEE Design & Test of Computers 24(4): 312-321 (2007)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov: Solution and Optimization of Systems of Pseudo-Boolean Constraints. IEEE Trans. Computers 56(10): 1415-1424 (2007)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Valeria Bertacco, Igor L. Markov: Simulation-Based Bug Trace Minimization With BMC-Based Refinement. IEEE Trans. on CAD of Integrated Circuits and Systems 26(1): 152-165 (2007)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, Igor L. Markov: ECO-System: Embracing the Change in Placement. IEEE Trans. on CAD of Integrated Circuits and Systems 26(12): 2173-2185 (2007)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, Igor L. Markov: Seeing the Forest and the Trees: Steiner Wirelength Optimization in Placement. IEEE Trans. on CAD of Integrated Circuits and Systems 26(4): 632-644 (2007)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov, Louis Scheffer, Dirk Stroobandt: Special issue on System-Level Interconnect Prediction. Integration 40(4): 381 (2007)
2006
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Papa, Igor L. Markov, Philip Chong: Utility of the OpenAccess database in academic research. ASP-DAC 2006: 440-441
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael D. Moffitt, Aaron N. Ng, Igor L. Markov, Martha E. Pollack: Constraint-driven floorplan repair. DAC 2006: 1103-1108
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamashis Das, Igor L. Markov, John P. Hayes: On-Chip Test Generation Using Linear Subspaces. European Test Symposium 2006: 111-116
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron N. Ng, Igor L. Markov, Rajat Aggarwal, Venky Ramachandran: Solving hard instances of floorplacement. ISPD 2006: 170-177
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, David A. Papa, Aaron N. Ng, Igor L. Markov: Satisfying whitespace requirements in top-down placement. ISPD 2006: 206-208
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, James F. Lu, Igor L. Markov: Seeing the forest and the trees: Steiner wirelength optimization in placemen. ISPD 2006: 78-85
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrysta Marie Svore, Alfred V. Aho, Andrew W. Cross, Isaac L. Chuang, Igor L. Markov: A Layered Software Architecture for Quantum Computing Design Tools. IEEE Computer 39(1): 74-83 (2006)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Karem A. Sakallah, Igor L. Markov: Efficient Symmetry Breaking for Boolean Satisfiability. IEEE Trans. Computers 55(5): 549-558 (2006)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek V. Shende, Stephen S. Bullock, Igor L. Markov: Synthesis of quantum-logic circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 25(6): 1000-1010 (2006)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, Saurabh N. Adya, David A. Papa, Igor L. Markov: Min-cut floorplacement. IEEE Trans. on CAD of Integrated Circuits and Systems 25(7): 1313-1326 (2006)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaurabh N. Adya, Igor L. Markov, Paul G. Villarrubia: On whitespace and stability in physical synthesis. Integration 39(4): 340-362 (2006)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul: Breaking Instance-Independent Symmetries In Exact Graph Coloring. J. Artif. Intell. Res. (JAIR) 26: 289-322 (2006)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAditya K. Prasad, Vivek V. Shende, Igor L. Markov, John P. Hayes, Ketan N. Patel: Data structures and algorithms for simplifying reversible circuits. JETC 2(4): 277-293 (2006)
2005
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov, Mike Hutton: The Seventh International Workshop on System-Level Interconnect Prediction (SLIP 2005), San Francisco, CA, USA, April 2-3, 2005, Proceedings ACM 2005
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek V. Shende, Stephen S. Bullock, Igor L. Markov: Synthesis of quantum logic circuits. ASP-DAC 2005: 272-275
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Dynamic symmetry-breaking for improved Boolean optimization. ASP-DAC 2005: 445-450
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSmita Krishnaswamy, George F. Viamontes, Igor L. Markov, John P. Hayes: Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices. DATE 2005: 282-287
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgor L. Markov, Dmitri Maslov: Uniformly-Switching Logic for Cryptographic Hardware. DATE 2005: 432-433
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Valeria Bertacco, Igor L. Markov: Simulation-based bug trace minimization with BMC-based refinement. ICCAD 2005: 1045-1051
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Hui Chang, Igor L. Markov, Valeria Bertacco: Post-placement rewiring and rebuffering by exhaustive search for functional symmetries. ICCAD 2005: 56-63
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHayward H. Chan, Saurabh N. Adya, Igor L. Markov: Are floorplan representations important in digital design? ISPD 2005: 129-136
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarrod A. Roy, David A. Papa, Saurabh N. Adya, Hayward H. Chan, Aaron N. Ng, James F. Lu, Igor L. Markov: Capo: robust and scalable open-source min-cut floorplacer. ISPD 2005: 224-226
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Xiu, David A. Papa, Philip Chong, Christoph Albrecht, Andreas Kuehlmann, Rob A. Rutenbar, Igor L. Markov: Early research experience with OpenAccess gear: an open source development environment for physical design. ISPD 2005: 94-100
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron N. Ng, Igor L. Markov: Toward Quality EDA Tools and Tool Flows Through High-Performance Computing. ISQED 2005: 22-27
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaurabh N. Adya, Igor L. Markov: Combinatorial techniques for mixed-size placement. ACM Trans. Design Autom. Electr. Syst. 10(1): 58-90 (2005)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoRon B. Motter, Jarrod A. Roy, Igor L. Markov: Resolution cannot polynomially simulate compressed-BFS. Ann. Math. Artif. Intell. 44(1-2): 121-156 (2005)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek V. Shende, Igor L. Markov: Quantum circuits for incompletely specified two-qubit operators. Quantum Information & Computation 5(1): 49-57 (2005)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge F. Viamontes, Igor L. Markov, John P. Hayes: Graph-based simulation of quantum computation in the density matrix representation. Quantum Information & Computation 5(2): 113-130 (2005)
2004
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouis Scheffer, Igor L. Markov: The Sixth International Workshop on System-Level Interconnect Prediction (SLIP 2004), Paris, France, February 14-15, 2004, Proceedings ACM 2004
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Papa, Saurabh N. Adya, Igor L. Markov: Constructive benchmarking for placement. ACM Great Lakes Symposium on VLSI 2004: 113-118
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew B. Kahng, Igor L. Markov, Sherief Reda: On legalization of row-based placements. ACM Great Lakes Symposium on VLSI 2004: 214-219
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHayward H. Chan, Igor L. Markov: Practical slicing and non-slicing block-packing without simulated annealing. ACM Great Lakes Symposium on VLSI 2004: 282-287
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: ShatterPB: symmetry-breaking for pseudo-Boolean formulas. ASP-DAC 2004: 883-886
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArathi Ramani, Igor L. Markov: Automatically Exploiting Symmetries in Constraint Programming. CSCLP 2004: 98-112
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov: AMUSE: a minimally-unsatisfiable subformula extractor. DAC 2004: 518-523
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov: Exploiting structure in symmetry detection for CNF. DAC 2004: 530-534
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew B. Kahng, Igor L. Markov, Sherief Reda: Boosting: Min-Cut Placement with Improved Signal Delay. DATE 2004: 1098-1103
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge F. Viamontes, Igor L. Markov, John P. Hayes: High-Performance QuIDD-Based Simulation of Quantum Circuits. DATE 2004: 1354-1355
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Breaking Instance-Independent Symmetries in Exact Graph Coloring. DATE 2004: 324-331
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek V. Shende, Igor L. Markov, Stephen S. Bullock: Smaller Two-Qubit Circuits for Quantum Communication and Computation. DATE 2004: 980-987
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaurabh N. Adya, S. Chaturvedi, Jarrod A. Roy, David A. Papa, Igor L. Markov: Unification of partitioning, placement and floorplanning. ICCAD 2004: 550-557
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKetan N. Patel, Igor L. Markov: Error-correction and crosstalk avoidance in DSM busses. IEEE Trans. VLSI Syst. 12(10): 1076-1080 (2004)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaurabh N. Adya, Mehmet Can Yildiz, Igor L. Markov, Paul Villarrubia, Phiroze N. Parakh, Patrick H. Madden: Benchmarking for large-scale placement and beyond. IEEE Trans. on CAD of Integrated Circuits and Systems 23(4): 472-487 (2004)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKetan N. Patel, John P. Hayes, Igor L. Markov: Fault testing for reversible circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 23(8): 1220-1230 (2004)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Igor L. Markov, Karem A. Sakallah: MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. J. UCS 10(12): 1562-1596 (2004)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen S. Bullock, Igor L. Markov: Asymptotically optimal circuits for arbitrary n-qubit diagonal comutations. Quantum Information & Computation 4(1): 27-47 (2004)
2003
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Igor L. Markov, Karem A. Sakallah: FORCE: a fast and easy-to-implement variable-ordering heuristic. ACM Great Lakes Symposium on VLSI 2003: 116-119
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen S. Bullock, Igor L. Markov: An arbitrary twoqubit computation In 23 elementary gates or less. DAC 2003: 324-329
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Shatter: efficient symmetry-breaking for boolean satisfiability. DAC 2003: 836-839
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaurabh N. Adya, Igor L. Markov, Paul Villarrubia: On Whitespace and Stability in Mixed-Size Placement and Physical Synthesis. ICCAD 2003: 311-319
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArathi Ramani, Igor L. Markov: Combining Two Local Search Approaches to Hypergraph Partitioning. IJCAI 2003: 1546-
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Karem A. Sakallah, Igor L. Markov: Efficient Symmetry Breaking for Boolean Satisfiability. IJCAI 2003: 271-276
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaurabh N. Adya, Mehmet Can Yildiz, Igor L. Markov, Paul Villarrubia, Phiroze N. Parakh, Patrick H. Madden: Benchmarking for large-scale placement and beyond. ISPD 2003: 95-103
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew B. Kahng, Igor L. Markov: Impact of Interoperability on CAD-IP Reuse: An Academic Viewpoint. ISQED 2003: 208-213
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKetan N. Patel, Igor L. Markov: Error-correction and crosstalk avoidance in DSM busses. SLIP 2003: 9-14
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKetan N. Patel, John P. Hayes, Igor L. Markov: Fault Testing for Reversible Circuits. VTS 2003: 410-416
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Cao, Chenming Hu, Xuejue Huang, Andrew B. Kahng, Igor L. Markov, Michael Oliver, Dirk Stroobandt, Dennis Sylvester: Improved a priori interconnect predictions and technology extrapolation in the GTX system. IEEE Trans. VLSI Syst. 11(1): 3-14 (2003)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaurabh N. Adya, Igor L. Markov: Fixed-outline floorplanning: enabling hierarchical design. IEEE Trans. VLSI Syst. 11(6): 1120-1135 (2003)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Andrew B. Kahng, Igor L. Markov: Hierarchical whitespace allocation in top-down placement. IEEE Trans. on CAD of Integrated Circuits and Systems 22(11): 1550-1556 (2003)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek V. Shende, Aditya K. Prasad, Igor L. Markov, John P. Hayes: Synthesis of reversible logic circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 22(6): 710-722 (2003)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Solving difficult instances of Boolean satisfiability in the presence of symmetry. IEEE Trans. on CAD of Integrated Circuits and Systems 22(9): 1117-1137 (2003)
2002
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoRon B. Motter, Igor L. Markov: A Compressed Breadth-First Search for Satisfiability. ALENEX 2002: 29-42
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Solving difficult SAT instances in the presence of symmetry. DAC 2002: 731-736
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek V. Shende, Aditya K. Prasad, Igor L. Markov, John P. Hayes: Reversible logic circuit synthesis. ICCAD 2002: 353-360
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Generic ILP versus specialized 0-1 ILP: an update. ICCAD 2002: 450-457
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering. ICCD 2002: 64-69
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaurabh N. Adya, Igor L. Markov: Consistent placement of macro-blocks using floorplanning and standard-cell placement. ISPD 2002: 12-17
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew B. Kahng, Stefanus Mantik, Igor L. Markov: Min-max placement for large-scale timing optimization. ISPD 2002: 143-148
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek V. Shende, Aditya K. Prasad, Igor L. Markov, John P. Hayes: Reversible Logic Circuit Synthesis. IWLS 2002: 125-130
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Efficient Gate and Input Ordering for Circuit-to-BDD Conversion. IWLS 2002: 137-142
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoRon B. Motter, Igor L. Markov: Overcoming Resolution-Based Lower Bounds for SAT Solvers. IWLS 2002: 373-378
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Igor L. Markov: Toward CAD-IP Reuse: A Web Bookshelf of Fundamental Algorithms. IEEE Design & Test of Computers 19(3): 72-81 (2002)
2001
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Faster SAT and Smaller BDDs via Common Function Structure. ICCAD 2001: 443-448
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaurabh N. Adya, Igor L. Markov: Fixed-outline Floorplanning through Better Local Search. ICCD 2001: 328-334
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew B. Kahng, John Lach, William H. Mangione-Smith, Stefanus Mantik, Igor L. Markov, Miodrag Potkonjak, Paul Tucker, Huijuan Wang, Gregory Wolfe: Constraint-based watermarking techniques for design IP protection. IEEE Trans. on CAD of Integrated Circuits and Systems 20(10): 1236-1252 (2001)
2000
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew A. Kennings, Igor L. Markov: Analytical minimization of half-perimeter wirelength. ASP-DAC 2000: 179-184
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Andrew B. Kahng, Igor L. Markov: Improved algorithms for hypergraph bipartitioning. ASP-DAC 2000: 661-666
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Andrew B. Kahng, Igor L. Markov: Can recursive bisection alone produce routable placements? DAC 2000: 477-482
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Yu Cao, Andrew B. Kahng, Farinaz Koushanfar, Hua Lu, Igor L. Markov, Michael Oliver, Dirk Stroobandt, Dennis Sylvester: GTX: the MARCO GSRC technology extrapolation system. DAC 2000: 693-698
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich: Web-based frameworks to enable CAD RD (abstract). DAC 2000: 711
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Andrew B. Kahng, Igor L. Markov: Design and Implementation of Move-Based Heuristics for VLSI Hypergraph Partitioning. ACM Journal of Experimental Algorithmics 5: 5 (2000)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Andrew B. Kahng, Igor L. Markov: Optimal partitioners and end-case placers for standard-cell layout. IEEE Trans. on CAD of Integrated Circuits and Systems 19(11): 1304-1313 (2000)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles J. Alpert, Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov: Hypergraph partitioning with fixed vertices [VLSI CAD]. IEEE Trans. on CAD of Integrated Circuits and Systems 19(2): 267-272 (2000)
1999
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Andrew B. Kahng, Igor L. Markov: Design and Implementation of the Fiduccia-Mattheyses Heuristic for VLSI Netlist Partitioning. ALENEX 1999: 177-193
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss Baldick, Andrew B. Kahng, Andrew A. Kennings, Igor L. Markov: Function Smoothing with Applications to VLSI Layout. ASP-DAC 1999: 225-
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Andrew B. Kahng, Andrew A. Kennings, Igor L. Markov: Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting. DAC 1999: 349-354
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Andrew B. Kahng, Igor L. Markov: Hypergraph Partitioning with Fixed Vertices. DAC 1999: 355-359
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles J. Alpert, Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov: Partitioning with terminals: a "new" problem and new benchmarks. ISPD 1999: 151-157
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Andrew B. Kahng, Igor L. Markov: Optimal partitioners and end-case placers for standard-cell layout. ISPD 1999: 90-96
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Andrew B. Kahng, Stefanus Mantik, Igor L. Markov, Alexander Zelikovsky: On wirelength estimations for row-based placement. IEEE Trans. on CAD of Integrated Circuits and Systems 18(9): 1265-1278 (1999)
1998
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew B. Kahng, John Lach, William H. Mangione-Smith, Stefanus Mantik, Igor L. Markov, Miodrag Potkonjak, Paul Tucker, Huijuan Wang, Gregory Wolfe: Watermarking Techniques for Intellectual Property Protection. DAC 1998: 776-781
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew B. Kahng, Stefanus Mantik, Igor L. Markov, Miodrag Potkonjak, Paul Tucker, Huijuan Wang, Gregory Wolfe: Robust IP Watermarking Methodologies for Physical Design. DAC 1998: 782-787
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew E. Caldwell, Andrew B. Kahng, Stefanus Mantik, Igor L. Markov, Alexander Zelikovsky: On wirelength estimations for row-based placement. ISPD 1998: 4-11
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles J. Alpert, Tony F. Chan, Andrew B. Kahng, Igor L. Markov, Pep Mulet: Faster minimization of linear wirelength for global placement. IEEE Trans. on CAD of Integrated Circuits and Systems 17(1): 3-13 (1998)
1997
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles J. Alpert, Tony F. Chan, Dennis J.-H. Huang, Igor L. Markov, Kenneth Yan: Quadratic Placement Revisited. DAC 1997: 752-757
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles J. Alpert, Tony F. Chan, Dennis J.-H. Huang, Andrew B. Kahng, Igor L. Markov, Pep Mulet, Kenneth Yan: Faster minimization of linear wirelength for global placement. ISPD 1997: 4-11

Coauthor Index

1Saurabh N. Adya [23] [30] [39] [44] [47] [54] [56] [67] [72] [75] [76] [86] [87]
2Rajat Aggarwal [93] [140]
3Alfred V. Aho [90]
4Christoph Albrecht [74]
5Fadi A. Aloul [24] [27] [31] [32] [34] [36] [45] [48] [50] [52] [58] [64] [81] [85] [89] [101] [105] [144] [170]
6Charles J. Alpert [1] [2] [3] [9] [14] [120] [129] [145] [151] [166] [183]
7Zaher S. Andraus [62]
8Ross Baldick [12]
9Valeria Bertacco [77] [78] [100] [104] [106] [107] [111] [112] [113] [118] [121] [122] [123] [128] [131] [134] [143] [146] [149] [155]
10David Blaauw (David T. Blaauw) [132]
11Stephen S. Bullock [49] [51] [57] [82] [88]
12Andrew E. Caldwell [4] [7] [8] [9] [10] [11] [13] [14] [15] [16] [18] [19] [20] [25] [38]
13Yu Cao [18] [40]
14Hayward H. Chan [65] [75] [76]
15Tony F. Chan [1] [2] [3]
16Kai-Hui Chang [77] [78] [100] [104] [106] [107] [111] [112] [113] [118] [122] [123] [131] [143] [146] [149] [155] [184]
17S. Chaturvedi [56]
18Philip Chong [74] [96]
19Hong-Zu Chou [184]
20Isaac L. Chuang [90]
21Olivier Coudert [17]
22Andrew W. Cross [90]
23Paul T. Darga [61] [138]
24Ramashis Das [94]
25Héctor J. Garcia [162]
26Tim Güneysu [185]
27John P. Hayes [28] [33] [37] [41] [53] [59] [69] [80] [84] [94] [102] [108] [110] [117] [125] [136] [141] [147] [148]
28Chenming Hu [40]
29Jin Hu [127] [157] [174] [177]
30Dennis J.-H. Huang (Jen-Hsin Huang) [1] [2]
31Xuejue Huang [40]
32Michael Hutton (Michael D. Hutton, Mike Hutton) [83]
33Andrew B. Kahng [1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [22] [29] [38] [40] [43] [60] [66] [177]
34Hadi Katebi [156] [161] [182]
35Andrew A. Kennings [11] [12] [21] [126]
36Myung-Chul Kim [158] [159] [174] [180] [183]
37Johann Knechtel [172] [178]
38Farinaz Koushanfar [18] [133] [135] [137] [154]
39Smita Krishnaswamy [80] [102] [110] [125] [136] [141] [147] [160]
40Andreas Kuehlmann [74]
41John Lach [6] [22]
42Dongjin Lee [158] [159] [163] [165] [173] [174] [175] [176] [179] [180]
43Zhuo Li [120] [129] [166]
44Jens Lienig [172] [177] [178]
45Mark H. Liffiton [61]
46James F. Lu [75] [91]
47Hua Lu [18]
48Tao Luo [120] [129]
49Patrick H. Madden [44] [54]
50William H. Mangione-Smith [6] [22]
51Stefanus Mantik [4] [5] [6] [7] [22] [29]
52Dmitri Maslov [79]
53Christoph Meinel [17]
54Alan Mishchenko [155]
55Maher N. Mneimneh [62]
56Michael D. Moffitt [95] [120] [124] [129] [130] [151]
57DoRon B. Motter [26] [35] [71]
58Pep Mulet [1] [3]
59Raj R. Nadakuditi [164]
60Gi-Joon Nam [120] [129] [145] [166]
61Aaron N. Ng [73] [75] [92] [93] [95] [140]
62Yoonna Oh [62]
63Michael Oliver [18] [40]
64David A. Papa [56] [67] [74] [75] [87] [92] [96] [106] [115] [120] [129] [143] [151] [160] [166]
65Phiroze N. Parakh [44] [54]
66Ketan N. Patel [41] [42] [53] [55] [84] [117]
67Stephen M. Plaza (Stephen Plaza) [110] [113] [121] [128] [134] [141]
68Martha E. Pollack [95] [124]
69Miodrag Potkonjak [5] [6] [22]
70Aditya K. Prasad [28] [33] [37] [84]
71Venky Ramachandran [93] [140]
72Arathi Ramani [32] [34] [36] [46] [58] [63] [64] [81] [85] [101] [105] [144] [170]
73Shyam Ramji [183]
74Sherief Reda [60] [66]
75Jarrod A. Roy [56] [71] [75] [87] [91] [92] [98] [99] [109] [114] [115] [119] [124] [127] [130] [133] [135] [137] [140] [145] [154] [157]
76Rob A. Rutenbar [74]
77Mehdi Saeedi [169] [181]
78Karem A. Sakallah [24] [27] [31] [32] [34] [36] [45] [48] [50] [52] [58] [61] [62] [64] [81] [85] [89] [101] [105] [138] [144] [156] [170] [182]
79Louis Scheffer [68] [97]
80Ellen Sentovich (Ellen M. Sentovich) [17]
81Jae-sun Seo [132]
82Vivek V. Shende [28] [33] [37] [57] [70] [82] [84] [88] [139]
83Yaoyun Shi [103] [116] [171]
84Dirk Stroobandt [18] [40] [97]
85Krysta Marie Svore [90]
86Dennis Sylvester [18] [40] [132]
87Chin-Ngai Sze [120] [129]
88Cliff C. N. Sze (Chin Ngai Sze, Cliff N. Sze) [166]
89Paul Tucker [5] [6] [22]
90George F. Viamontes [59] [69] [80] [108] [125] [148]
91Paul G. Villarrubia (Paul Villarrubia) [44] [47] [54] [86]
92Natarajan Viswanathan [145] [166] [183]
93Huijuan Wang [5] [6] [22]
94André Weimerskirch [185]
95Gregory Wolfe [5] [6] [22]
96Zhong Xiu [74]
97Shigeru Yamashita [150]
98Kenneth Yan [1] [2]
99Mehmet Can Yildiz [44] [54]
100Alexander Zelikovsky [4] [7]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page