Ending piracy of integrated circuits JA Roy, F Koushanfar, IL Markov IEEE Computer 10 (43), 30-38, 2010 | 1136* | 2010 |
Synthesis of quantum logic circuits VV Shende, SS Bullock, IL Markov IEEE Transactions on Computer Aided Design 25, 1000-1010, 2006 | 858 | 2006 |
Synthesis of Reversible Logic Circuits VV Shende, AK Prasad, L Markov, Igor, JP Hayes IEEE Transaction on computer-aided design of integrated circuits and systems …, 2003 | 670 | 2003 |
Limits on fundamental limits to computation IL Markov Nature 512 (7513), 147-154, 2014 | 534 | 2014 |
VLSI physical design: from graph partitioning to timing closure AB Kahng, J Lienig, IL Markov, J Hu Springer, 2011 | 516 | 2011 |
Can recursive bisection alone produce routable placements? AE Caldwell, AB Kahng, IL Markov Design Automation Conference, 477-482, 2000 | 500 | 2000 |
Probabilistic transfer matrices in symbolic reliability analysis of logic circuits S Krishnaswamy, GF Viamontes, IL Markov, JP Hayes ACM Transactions on Design Automation of Electronic Systems (TODAES) 13 (1), 8, 2008 | 489* | 2008 |
Fixed-outline floorplanning: Enabling hierarchical design SN Adya, IL Markov Very Large Scale Integration (VLSI) Systems, IEEE Transactions on 11 (6 …, 2003 | 487 | 2003 |
Simulating quantum computation by contracting tensor networks IL Markov, Y Shi SIAM Journal on Computing 38 (3), 963-981, 2008 | 476 | 2008 |
Synthesis and optimization of reversible circuits—a survey M Saeedi, IL Markov ACM Computing Surveys (CSUR) 45 (2), 1-34, 2013 | 352 | 2013 |
Solving difficult instances of boolean satisfiability in the presence of symmetry FA Aloul, A Ramani, IL Markov, KA Sakallah IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2003 | 332* | 2003 |
Watermarking techniques for intellectual property protection AB Kahng, J Lach, WH Mangione-Smith, S Mantik, IL Markov, ... Proceedings of the 35th annual Design Automation Conference, 776-781, 1998 | 328 | 1998 |
Minimal universal two-qubit controlled-NOT-based circuits VV Shende, IL Markov, SS Bullock Physical Review A—Atomic, Molecular, and Optical Physics 69 (6), 062321, 2004 | 322* | 2004 |
Electronic Design Automation for Integrated Circuits Handbook: EDA for IC system design, verification, and testing L Lavagno, GE Martin, L Scheffer, IL Markov CRC/Taylor & Francis, 2006 | 315* | 2006 |
Energy-efficient abundant-data computing: The N3XT 1,000 x MMS Aly, M Gao, G Hills, CS Lee, G Pitner, MM Shulaker, TF Wu, ... Computer 48 (12), 24-33, 2015 | 282 | 2015 |
Shatter: Efficient symmetry-breaking for boolean satisfiability FA Aloul, IL Markov, KA Sakallah Proc. 40th IEEE/ACM Design Automation Conference (DAC), 836-839, 2003 | 266* | 2003 |
Generic ILP versus specialized 0-1 ILP: an update FA Aloul, A Ramani, IL Markov, KA Sakallah Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002 | 266 | 2002 |
On the CNOT-cost of TOFFOLI gates VV Shende, IL Markov Quantum Information and Computation 9 (5-6), 461-486, 2009 | 262 | 2009 |
SimPL: An effective placement algorithm MC Kim, DJ Lee, IL Markov Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2012 | 254 | 2012 |
Constraint-based watermarking techniques for design IP protection AB Kahng, J Lach, WH Mangione-Smith, S Mantik, IL Markov, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2001 | 254 | 2001 |