| 2023 | CIKM | Learning Sparse Lexical Representations Over Specified Vocabularies for Retrieval. | Jeffrey M. Dudek, Weize Kong, Cheng Li, Mingyang Zhang, Michael Bendersky |
| 2023 | SIGIR | SparseEmbed: Learning Sparse Lexical Representations with Contextual Embeddings for Retrieval. | Weize Kong, Jeffrey M. Dudek, Cheng Li, Mingyang Zhang, Michael Bendersky |
| 2022 | IJCAI | DPSampler: Exact Weighted Sampling Using Dynamic Programming. | Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi |
| 2021 | SAT | ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. | Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi |
| 2020 | AAAI | ADDMC: Weighted Model Counting with Algebraic Decision Diagrams. | Jeffrey M. Dudek, Vu Phan, Moshe Y. Vardi |
| 2020 | CP | DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. | Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi |
| 2017 | IJCAI | The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. | Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi |
| 2016 | IJCAI | Combining the k-CNF and XOR Phase-Transitions. | Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi |