| Simple black-box adversarial perturbations for deep networks N Narodytska, SP Kasiviswanathan arXiv preprint arXiv:1612.06299, 2016 | 502* | 2016 |
| Verifying properties of binarized deep neural networks N Narodytska, S Kasiviswanathan, L Ryzhyk, M Sagiv, T Walsh Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 191 | 2018 |
| Maximum satisfiability using core-guided MaxSAT resolution N Narodytska, F Bacchus Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 171 | 2014 |
| Relgan: Relational generative adversarial networks for text generation W Nie, N Narodytska, A Patel International conference on learning representations, 2019 | 169 | 2019 |
| Abduction-based explanations for machine learning models A Ignatiev, N Narodytska, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1511-1519, 2019 | 147 | 2019 |
| Learning Optimal Decision Trees with SAT. N Narodytska, A Ignatiev, F Pereira, J Marques-Silva, I Ras Ijcai, 1362-1368, 2018 | 112 | 2018 |
| Complexity of and algorithms for Borda manipulation J Davies, G Katsirelos, N Narodytska, T Walsh Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 657-662, 2011 | 102 | 2011 |
| On relating explanations and adversarial examples A Ignatiev, N Narodytska, J Marques-Silva Advances in neural information processing systems 32, 2019 | 91 | 2019 |
| Constraint acquisition via partial queries C Bessiere, R Coletta, E Hebrard, G Katsirelos, N Lazaar, N Narodytska, ... IJCAI: International Joint Conference on Artificial Intelligence, 475-481, 2013 | 88 | 2013 |
| Circuit complexity and decompositions of global constraints C Bessiere, G Katsirelos, N Narodytska, T Walsh arXiv preprint arXiv:0905.3757, 2009 | 78 | 2009 |
| Automated verification of neural networks: Advances, challenges and perspectives F Leofante, N Narodytska, L Pulina, A Tacchella arXiv preprint arXiv:1805.09938, 2018 | 77 | 2018 |
| Encodings of the Sequence Constraint S Brand, N Narodytska, CG Quimper, P Stuckey, T Walsh Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007 | 65 | 2007 |
| Simple and precise static analysis of untrusted linux kernel extensions E Gershuni, N Amit, A Gurfinkel, N Narodytska, JA Navas, N Rinetzky, ... Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 55 | 2019 |
| Strategic behavior when allocating indivisible goods sequentially T Kalinowski, N Narodytska, T Walsh, L Xia Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 452-458, 2013 | 54 | 2013 |
| A social welfare optimal sequential allocation procedure T Kalinowski, N Nardoytska, T Walsh arXiv preprint arXiv:1304.5892, 2013 | 53 | 2013 |
| Flow-based propagators for the SEQUENCE and related global constraints M Maher, N Narodytska, CG Quimper, T Walsh Principles and Practice of Constraint Programming: 14th International …, 2008 | 53 | 2008 |
| A SAT-based approach to learn explainable decision sets A Ignatiev, F Pereira, N Narodytska, J Marques-Silva Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 52 | 2018 |
| Assessing heuristic machine learning explanations with model counting N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 51 | 2019 |
| Decompositions of all different, global cardinality and related constraints C Bessiere, G Katsirelos, N Narodytska, CG Quimper, T Walsh arXiv preprint arXiv:0905.3755, 2009 | 47 | 2009 |
| Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. N Narodytska, T Walsh IJCAI, 149-154, 2007 | 44 | 2007 |
Toby WalshProfessor, UNSW and CSIRO Data61cse.unsw.edu.au의 이메일 확인됨
