引用次数
引用: 19,941
H-指数: 72
I10-指数 : 172
出版物: 387
Approximating Decision Diagrams for Quantum Circuit Simulation
KUENG RICHARD , IGOR L MARKOV , ROBERT WILLE
Regular Expressions for Fast-response COVID-19 Text Classification
Adam Vagner Igor L. Markov , Jacqueline Liu
Ever more optimized simulations of fermionic systems on a quantum computer
Qingfeng Wang , Ze-Pei Cian , Ming Li , Igor L Markov
arXiv preprint arXiv:2303.03460
2023
Circuit CAD tools as a security threat
Jarrod A Roy , Farinaz Koushanfar , Igor L Markov
Smpte Journal 65 -66
56
2008
FORCE: a fast and easy-to-implement variable-ordering heuristic
Fadi A Aloul , Igor L Markov , Karem A Sakallah
Smpte Journal 116 -119
117
2003
Bit-efficient numerical aggregation and stronger privacy for trust in federated analytics
Graham Cormode , Igor L Markov
arXiv preprint arXiv:2108.01521
6
2021
Private and Efficient Federated Numerical Aggregation
Graham Cormode , Igor L Markov , Harish Srinivas
2024
Improved a priori interconnect predictions and technology extrapolation in the GTX system
Yu Cao , Chenming Hu , Xuejue Huang , Andrew B Kahng
IEEE transactions on very large scale integration (VLSI) systems 11 ( 1) 3 -14
13
2003
Session details: Session 47: special session: more Moore's law and more than Moore's law
Igor L Markov , Krishnendu Chakrabarty , Niraj Jha
Protecting bus-based hardware IP by secret sharing
Jarrod A Roy , Farinaz Koushanfar , Igor L Markov
design automation conference 846 -851
24
2008
Protecting hardware circuit design by secret sharing
Jarrod A Roy , Farinaz Koushanfar , Igor L Markov
45
2014
EPIC
Jarrod A Roy , Farinaz Koushanfar , Igor L Markov
Proceedings of the conference on Design, automation and test in Europe
2008
Looper: An end-to-end ML platform for product decisions
Igor L Markov , Hanson Wang , Nitya Kasturi , Shaun Singh
Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining
10
2022
Solving difficult instances of boolean satisfiability in the presence of symmetry
Fadi A Aloul , Arathi Ramani , Igor L Markov , Karem A Sakallah
Science 1001 48109 -2122
8
2002
MINCE: A Static Global Variable-Ordering for SAT Search and BDD Manipulation
Fadi A Aloul , Igor L Markov , Karem A Sakallah
Journal of Universal Computer Science 10 ( 12) 1559 -1562
5
2004
Symmetry Breaking for Boolean Satisfiability: The Mysteries of Logic Minimization
Fadi A Aloul , Igor L Markov , Karem A Sakallah
International Workshop on Symmetry on Constraint Satisfaction Problems (SymCon) 37 -46
3
2002
Shatter v0. 3
Fadi A Aloul , Igor L Markov , Karem A Sakallah
Symmetry-breaking for SAT: The Mysteries of Logic Minimization
Fadi A Aloul , Igor L Markov , Karem A Sakallah
Web-based frameworks to enable CAD R&D
Olivier Coudert , Igor L Markov , Christoph Meinel , Ellen Sentovich
711 -711
2000
Toward CAD-IP reuse: The MARCO GSRC bookshelf of fundamental CAD algorithms
Andrew E Caldwell , Andrew B Kahng , Igor L Markov
IEEE Design and Test 19 ( 3) 70 -79
68
2002