| The resolution of Keller’s conjecture J Brakensiek, M Heule, J Mackey, D Narváez International Joint Conference on Automated Reasoning, 48-65, 2020 | 49 | 2020 |
| The opacity of backbones LA Hemaspaandra, DE Narváez Thirty-First AAAI Conference on Artificial Intelligence, 2017 | 13 | 2017 |
| Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption LA Hemaspaandra, DE Narváez International Conference on Current Trends in Theory and Practice of …, 2019 | 6 | 2019 |
| Existence versus Exploitation: The Opacity of Backbones and Backdoors Under a Weak Assumption LA Hemaspaandra, DE Narváez arXiv preprint arXiv:1706.04582, 2017 | 6* | 2017 |
| Very hard electoral control problems Z Fitzsimmons, E Hemaspaandra, A Hoover, DE Narváez Proceedings of the AAAI Conference on Artificial Intelligence 33, 1933-1940, 2019 | 5 | 2019 |
| Star-critical Ramsey Numbers for Cycles Versus K4 CJ Jayawardene, D Narváez, S Radziszowski | 5 | 2018 |
| Existence versus exploitation: the opacity of backdoors and backbones LA Hemaspaandra, DE Narváez Progress in Artificial Intelligence 10 (3), 297-308, 2021 | 4 | 2021 |
| Constraint Satisfaction Techniques for Combinatorial Problems DE Narváez Thirty-Second AAAI Conference on Artificial Intelligence, 2018 | 4 | 2018 |
| Prototype of an Automated Feedback Tool for Intro CS Theory I Bezáková, E Hemaspaandra, A Lieberman, H Miller, DE Narváez Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020 | 3 | 2020 |
| On Some Generalized Vertex Folkman Numbers ZR Hassan, Y Jiang, DE Narváez, S Radziszowski, X Xu arXiv preprint arXiv:2110.03121, 2021 | 2 | 2021 |
| Formalizing CNF SAT symmetry breaking in PVS DE Narváez NASA Formal Methods Symposium, 341-354, 2019 | 2 | 2019 |
| The opacity of backbones and backdoors under a weak assumption L Hemaspaandra, D Narváez arXiv preprint arXiv:1706.04582, 2017 | 2 | 2017 |
| Las Ontologías y el Lenguaje OWL 2 D Narváez Prisma Tecnológico 2, 31-34, 2010 | 2 | 2010 |
| Effective Succinct Feedback for Intro CS Theory: A JFLAP Extension I Bezáková, K Fluet, E Hemaspaandra, H Miller, DE Narváez Proceedings of the 53rd ACM Technical Symposium on Computer Science …, 2022 | 1 | 2022 |
| Witness Feedback for Introductory CS Theory Assignments I Bezáková, K Fluet, E Hemaspaandra, H Miller, DE Narváez Proceedings of the 52nd ACM Technical Symposium on Computer Science …, 2021 | 1 | 2021 |
| Effective Feedback for Introductory CS Theory: A JFLAP Extension and Student Persistence I Bezáková, K Fluet, E Hemaspaandra, H Miller, DE Narváez arXiv preprint arXiv:2012.01546, 2020 | 1 | 2020 |
| Exploring the use of Shatter for ALLSAT through Ramsey-type problems DE Narváez Thirty-Second AAAI Conference on Artificial Intelligence, 2018 | 1 | 2018 |
| Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification E Hemaspaandra, DE Narváez International Conference on Intelligent Computer Mathematics, 241-255, 2022 | | 2022 |
| Toward Determining NFA Equivalence via QBFs (Student Abstract) H Miller, DE Narváez Proceedings of the AAAI Conference on Artificial Intelligence 35 (18), 15849 …, 2021 | | 2021 |
| A QSAT Benchmark Based on Vertex-Folkman Problems (Student Abstract) DE Narváez Proceedings of the AAAI Conference on Artificial Intelligence 34 (10), 13881 …, 2020 | | 2020 |
Lane A. Hemaspaandra (premarriage...Professor of Computer Science, University of RochesterVerified email at cs.rochester.edu
