SLEAP: A deep learning system for multi-animal pose tracking TD Pereira, N Tabris, A Matsliah, DM Turner, J Li, S Ravindranath, ... Nature methods 19 (4), 486-495, 2022 | 334 | 2022 |
Hardness and algorithms for rainbow connection S Chakraborty, E Fischer, A Matsliah, R Yuster Journal of Combinatorial Optimization 21, 330-347, 2011 | 260 | 2011 |
Neurotransmitter classification from electron microscopy images at synaptic sites in Drosophila melanogaster N Eckstein, AS Bates, A Champion, M Du, Y Yin, P Schlegel, AKY Lu, ... Cell 187 (10), 2574-2594. e23, 2024 | 99 | 2024 |
Incremental formal verification of hardware H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo 2011 Formal Methods in Computer-Aided Design (FMCAD), 135-143, 2011 | 91* | 2011 |
Neuronal wiring diagram of an adult brain S Dorkenwald, A Matsliah, AR Sterling, P Schlegel, SC Yu, CE McKellar, ... bioRxiv, 2023 | 87 | 2023 |
Monotonicity testing and shortest-path routing on the cube J Briët, S Chakraborty, D García-Soriano, A Matsliah Combinatorica 32 (1), 35-53, 2012 | 78 | 2012 |
On the power of conditional samples in distribution testing S Chakraborty, E Fischer, Y Goldhirsh, A Matsliah Proceedings of the 4th conference on Innovations in Theoretical Computer …, 2013 | 75 | 2013 |
Testing graph isomorphism E Fischer, A Matsliah SIAM Journal on Computing 38 (1), 207-225, 2008 | 67 | 2008 |
Relating proof complexity measures and practical hardness of SAT M Järvisalo, A Matsliah, J Nordström, S Živný International Conference on Principles and Practice of Constraint …, 2012 | 48 | 2012 |
Nearly tight bounds for testing function isomorphism N Alon, E Blais, S Chakraborty, D García-Soriano, A Matsliah SIAM Journal on Computing 42 (2), 459-493, 2013 | 47* | 2013 |
Approximate hypergraph partitioning and applications E Fischer, A Matsliah, A Shapira 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07), 579-589, 2007 | 44 | 2007 |
The non-adaptive query complexity of testing k-parities H Buhrman, D García-Soriano, A Matsliah, R de Wolf arXiv preprint arXiv:1209.3849, 2012 | 39 | 2012 |
New results on quantum property testing S Chakraborty, E Fischer, A Matsliah, R De Wolf arXiv preprint arXiv:1005.0523, 2010 | 38 | 2010 |
Whole-brain annotation and multi-connectome cell typing quantifies circuit stereotypy in Drosophila P Schlegel, Y Yin, AS Bates, S Dorkenwald, K Eichler, P Brooks, DS Han, ... bioRxiv, 2023.06. 27.546055, 2023 | 37 | 2023 |
Efficient sample extractors for juntas with applications S Chakraborty, D García-Soriano, A Matsliah International Colloquium on Automata, Languages, and Programming, 545-556, 2011 | 34 | 2011 |
Computing interpolants without proofs H Chockler, A Ivrii, A Matsliah Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 30 | 2013 |
Perfect hashing and CNF encodings of cardinality constraints Y Ben-Haim, A Ivrii, O Margalit, A Matsliah International Conference on Theory and Applications of Satisfiability …, 2012 | 27 | 2012 |
Junto-symmetric functions, hypergraph isomorphism and crunching S Chakraborty, E Fischer, D GacíaSoriano, A Matsliah 2012 IEEE 27th Conference on Computational Complexity, 148-158, 2012 | 26 | 2012 |
Sound 3-query PCPPs are long E Ben-Sasson, P Harsha, O Lachish, A Matsliah ACM Transactions on Computation Theory (TOCT) 1 (2), 1-49, 2009 | 26 | 2009 |
Detecting and exploiting near-sortedness for efficient relational query evaluation S Ben-Moshe, Y Kanza, E Fischer, A Matsliah, M Fischer, C Staelin Proceedings of the 14th International Conference on Database Theory, 256-267, 2011 | 25 | 2011 |