Igor L. Markov
According to our database^{1},
Igor L. Markov
authored at least 211 papers
between 1997 and 2020.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 2013, "For contributions to optimization methods in electronic design automation".
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2020
CoRR, 2020
Workshops on Extreme Scale Design Automation (ESDA) Challenges and Opportunities for 2025 and Beyond.
CoRR, 2020
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020
2019
Proceedings of the IEEE, 2019
2018
CoRR, 2018
Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018
2016
Encyclopedia of Algorithms, 2016
IEEE Micro, 2016
2015
IEEE Trans. on CAD of Integrated Circuits and Systems, 2015
IEEE Trans. Computers, 2015
Proceedings of the IEEE, 2015
Computer, 2015
2014
Quantum Inf. Comput., 2014
Nat., 2014
A review of "Memcomputing NPcomplete problems in polynomial time using polynomial resources" (arXiv: 1411.4798).
CoRR, 2014
Proceedings of the IEEE/ACM International Conference on ComputerAided Design, 2014
Proceedings of the IEEE/ACM International Conference on ComputerAided Design, 2014
2013
Lecture Notes in Electrical Engineering 166, Springer, ISBN: 9781461413554, 2013
Lecture Notes in Electrical Engineering 115, Springer, ISBN: 9789048196432, 2013
ACM Trans. Design Autom. Electr. Syst., 2013
ACM Comput. Surv., 2013
CoRR, 2013
CoRR, 2013
Commun. ACM, 2013
"Scaling" the impact of EDA education Preliminary findings from the CCC workshop series on extreme scale design automation.
Proceedings of the 2013 IEEE International Conference on Microelectronic Systems Education, 2013
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013
Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013
Proceedings of the IEEE/ACM International Conference on ComputerAided Design, 2013
Proceedings of the IEEE/ACM International Conference on ComputerAided Design, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Proceedings of the American Control Conference, 2013
2012
IEEE Trans. on CAD of Integrated Circuits and Systems, 2012
IEEE Trans. on CAD of Integrated Circuits and Systems, 2012
IEEE Trans. on CAD of Integrated Circuits and Systems, 2012
Constantoptimized quantum circuits for modular multiplication and exponentiation.
Quantum Inf. Comput., 2012
CoRR, 2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the International Symposium on Physical Design, 2012
Multiobjective optimization of deadspace, a critical resource for 3DIC integration.
Proceedings of the 2012 IEEE/ACM International Conference on ComputerAided Design, 2012
Proceedings of the 2012 IEEE/ACM International Conference on ComputerAided Design, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 49th Annual Design Automation Conference 2012, 2012
Proceedings of the Turing100, 2012
Proceedings of the Reconfigurable Computing: Architectures, Tools and Applications, 2012
2011
VLSI Design, 2011
IEEE Micro, 2011
IEEE Des. Test Comput., 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)].
IEEE Des. Test Comput., 2011
Algorithmica, 2011
Proceedings of the 2011 International Symposium on Physical Design, 2011
Proceedings of the 2011 IEEE/ACM International Conference on ComputerAided Design, 2011
Proceedings of the 2011 IEEE/ACM International Conference on ComputerAided Design, 2011
Proceedings of the 2011 IEEE/ACM International Conference on ComputerAided Design, 2011
Springer, ISBN: 9789048195909, 2011
2010
ACM Trans. Design Autom. Electr. Syst., 2010
Quantum Inf. Comput., 2010
IEEE Des. Test Comput., 2010
IEEE Des. Test Comput., 2010
IEEE Des. Test Comput., 2010
Computer, 2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of the 2010 International Symposium on Physical Design, 2010
Proceedings of the 2010 International Conference on ComputerAided Design, 2010
Proceedings of the 2010 International Conference on ComputerAided Design, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the 47th Design Automation Conference, 2010
2009
Lecture Notes in Electrical Engineering 32, Springer, ISBN: 9781402093647, 2009
IEEE Trans. on CAD of Integrated Circuits and Systems, 2009
Quantum Inf. Comput., 2009
Integr., 2009
IEEE Des. Test Comput., 2009
IEEE Des. Test Comput., 2009
Highperformance Energy Minimization with Applications to Adiabatic Quantum Computing.
CoRR, 2009
Ann. Math. Artif. Intell., 2009
Proceedings of the 2009 International Conference on ComputerAided Design, 2009
Customizing IP cores for systemonchip designs using extensive external don'tcares.
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the 46th Design Automation Conference, 2009
Springer, ISBN: 9789048130641, 2009
2008
Proceedings of the Handbook of Algorithms for Physical Design Automation., 2008
Proceedings of the Encyclopedia of Algorithms  2008 Edition, 2008
VLSI Design, 2008
ACM Trans. Design Autom. Electr. Syst., 2008
Probabilistic transfer matrices in symbolic reliability analysis of logic circuits.
ACM Trans. Design Autom. Electr. Syst., 2008
IEEE Trans. on CAD of Integrated Circuits and Systems, 2008
Optimizing Nonmonotonic Interconnect Using Functional Simulation and Logic Restructuring.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2008
IEEE Trans. on CAD of Integrated Circuits and Systems, 2008
IEEE Trans. on CAD of Integrated Circuits and Systems, 2008
SIAM J. Comput., 2008
Quantum Inf. Comput., 2008
Integr., 2008
Computer, 2008
Proceedings of the Tenth International Workshop on SystemLevel Interconnect Prediction (SLIP 2008), 2008
Optimizing nonmonotonic interconnect using functional simulation and logic restructuring.
Proceedings of the 2008 International Symposium on Physical Design, 2008
Proceedings of the 2008 International Symposium on Physical Design, 2008
Proceedings of the 2008 International Symposium on Physical Design, 2008
Proceedings of the 2008 International Conference on ComputerAided Design, 2008
Proceedings of the IEEE International Workshop on HardwareOriented Security and Trust, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
Proceedings of the 45th Design Automation Conference, 2008
Proceedings of the 45th Design Automation Conference, 2008
Proceedings of the 45th Design Automation Conference, 2008
2007
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007
ACM Trans. Design Autom. Electr. Syst., 2007
IEEE Trans. on CAD of Integrated Circuits and Systems, 2007
IEEE Trans. on CAD of Integrated Circuits and Systems, 2007
IEEE Trans. on CAD of Integrated Circuits and Systems, 2007
IEEE Trans. Computers, 2007
ACM J. Exp. Algorithmics, 2007
Integr., 2007
IEEE Des. Test Comput., 2007
InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization.
Proceedings of the 8th International Symposium on Quality of Electronic Design (ISQED 2007), 2007
Proceedings of the 2007 International Conference on ComputerAided Design, 2007
Enhancing design robustness with reliabilityaware resynthesis and logic simulation.
Proceedings of the 2007 International Conference on ComputerAided Design, 2007
Proceedings of the 2007 International Conference on ComputerAided Design, 2007
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007
Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007
Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007
Capo: CongestionDriven Placement for Standardcell and RTL Netlists with Incremental Capability.
Proceedings of the Modern Circuit Placement, Best Practices and Results, 2007
2006
IEEE Trans. on CAD of Integrated Circuits and Systems, 2006
IEEE Trans. on CAD of Integrated Circuits and Systems, 2006
IEEE Trans. Computers, 2006
ACM J. Emerg. Technol. Comput. Syst., 2006
J. Artif. Intell. Res., 2006
Integr., 2006
Computer, 2006
Proceedings of the 2006 International Symposium on Physical Design, 2006
Proceedings of the 2006 International Symposium on Physical Design, 2006
Proceedings of the 2006 International Symposium on Physical Design, 2006
Proceedings of the 11th European Test Symposium, 2006
Proceedings of the 43rd Design Automation Conference, 2006
Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASPDAC 2006, 2006
2005
ACM Trans. Design Autom. Electr. Syst., 2005
Graphbased simulation of quantum computation in the density matrix representation.
Quantum Inf. Comput., 2005
Quantum Inf. Comput., 2005
Comput. Sci. Eng., 2005
Ann. Math. Artif. Intell., 2005
Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005
Early research experience with OpenAccess gear: an open source development environment for physical design.
Proceedings of the 2005 International Symposium on Physical Design, 2005
Proceedings of the 2005 International Symposium on Physical Design, 2005
Proceedings of the 2005 International Symposium on Physical Design, 2005
Postplacement rewiring and rebuffering by exhaustive search for functional symmetries.
Proceedings of the 2005 International Conference on ComputerAided Design, 2005
Proceedings of the 10th European Test Symposium, 2005
Proceedings of the 2005 Design, 2005
Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices.
Proceedings of the 2005 Design, 2005
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
2004
IEEE Trans. Very Large Scale Integr. Syst., 2004
IEEE Trans. on CAD of Integrated Circuits and Systems, 2004
IEEE Trans. on CAD of Integrated Circuits and Systems, 2004
Quantum Inf. Comput., 2004
MINCE: A Static Global VariableOrdering Heuristic for SAT Search and BDD Manipulation.
J. UCS, 2004
Proceedings of the 2004 International Conference on ComputerAided Design, 2004
Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, 2004
Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, 2004
Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, 2004
Proceedings of the 2004 Design, 2004
Proceedings of the 2004 Design, 2004
Proceedings of the 2004 Design, 2004
Proceedings of the 41th Design Automation Conference, 2004
Proceedings of the 41th Design Automation Conference, 2004
Proceedings of the Recent Advances in Constraints, 2004
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004
2003
Improved a priori interconnect predictions and technology extrapolation in the GTX system.
IEEE Trans. Very Large Scale Integr. Syst., 2003
IEEE Trans. Very Large Scale Integr. Syst., 2003
IEEE Trans. on CAD of Integrated Circuits and Systems, 2003
IEEE Trans. on CAD of Integrated Circuits and Systems, 2003
Solving difficult instances of Boolean satisfiability in the presence of symmetry.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2003
Quantum Inf. Process., 2003
Proceedings of the 4th International Symposium on Quality of Electronic Design (ISQED 2003), 2003
Proceedings of the IJCAI03, 2003
Proceedings of the 2003 International Conference on ComputerAided Design, 2003
Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, 2003
Proceedings of the 40th Design Automation Conference, 2003
Proceedings of the 40th Design Automation Conference, 2003
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003
2002
IEEE Des. Test Comput., 2002
Overcoming ResolutionBased Lower Bounds for SAT Solvers.
Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002
Efficient Gate and Input Ordering for CircuittoBDD Conversion.
Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002
Proceedings of 2002 International Symposium on Physical Design, 2002
Consistent placement of macroblocks using floorplanning and standardcell placement.
Proceedings of 2002 International Symposium on Physical Design, 2002
Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002
Proceedings of the 2002 IEEE/ACM International Conference on Computeraided Design, 2002
Proceedings of the 2002 IEEE/ACM International Conference on Computeraided Design, 2002
Proceedings of the 39th Design Automation Conference, 2002
Proceedings of the Algorithm Engineering and Experiments, 4th International Workshop, 2002
2001
IEEE Trans. on CAD of Integrated Circuits and Systems, 2001
Proceedings of the 19th International Conference on Computer Design (ICCD 2001), 2001
Proceedings of the 2001 IEEE/ACM International Conference on ComputerAided Design, 2001
2000
VLSI Design, 2000
IEEE Trans. on CAD of Integrated Circuits and Systems, 2000
IEEE Trans. on CAD of Integrated Circuits and Systems, 2000
Design and Implementation of MoveBased Heuristics for VLSI Hypergraph Partitioning.
ACM J. Exp. Algorithmics, 2000
Proceedings of the 37th Conference on Design Automation, 2000
Proceedings of the 37th Conference on Design Automation, 2000
Proceedings of the 37th Conference on Design Automation, 2000
Proceedings of ASPDAC 2000, 2000
Proceedings of ASPDAC 2000, 2000
1999
VLSI Design, 1999
IEEE Trans. on CAD of Integrated Circuits and Systems, 1999
Proceedings of the 1999 International Symposium on Physical Design, 1999
Proceedings of the 36th Conference on Design Automation, 1999
Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting.
Proceedings of the 36th Conference on Design Automation, 1999
Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999
Design and Implementation of the FiducciaMattheyses Heuristic for VLSI Netlist Partitioning.
Proceedings of the Algorithm Engineering and Experimentation, 1999
1998
IEEE Trans. on CAD of Integrated Circuits and Systems, 1998
Proceedings of the 35th Conference on Design Automation, 1998
Proceedings of the 35th Conference on Design Automation, 1998
1997
Proceedings of the 1997 International Symposium on Physical Design, 1997
Proceedings of the 34st Conference on Design Automation, 1997