| 2025 | EMNLP | Layer Duplication in LLMs. | Neo Eyal, Nachum Dershowitz, Kfir Bar |
| 2025 | LDK | Systematic Textual Availability of Manuscripts. | Hadar Miller, Samuel Londner, Tsvi Kuflik, Daria Vasyutinsky Shapira, Nachum Dershowitz, Moshe Lavee |
| 2024 | EACL | Code-Switching and Back-Transliteration Using a Bilingual Model. | Daniel Weisberg Mitelman, Nachum Dershowitz, Kfir Bar |
| 2024 | LPAR | Alternate Semantics of the Guarded Conditional. | Nachum Dershowitz |
| 2023 | ACL | A Statistical Exploration of Text Partition Into Constituents: The Case of the Priestly Source in the Books of Genesis and Exodus. | Gideon Yoffe, Axel Bhler, Nachum Dershowitz, Thomas Rmer, Eli Piasetzky, Israel Finkelstein, Barak Sober |
| 2023 | ICDAR | Linguistic Knowledge Within Handwritten Text Recognition Models: A Real-World Case Study. | Samuel Londner, Yoav Phillips, Hadar Miller, Nachum Dershowitz, Tsvi Kuflik, Moshe Lavee |
| 2021 | AAAI | Computational Visual Ceramicology: Matching Image Outlines to Catalog Sketches. | Barak Itkin, Lior Wolf, Nachum Dershowitz |
| 2021 | STOC | The communication complexity of multiparty set disjointness under product distributions. | Nachum Dershowitz, Rotem Oshman, Tal Roth |
| 2020 | ICFHR | Transcription Alignment for Highly Fragmentary Historical Manuscripts: The Dead Sea Scrolls. | Daniel Stkl Ben Ezra, Bronson Brown-DeVost, Nachum Dershowitz, Alexey Pechorin, Benjamin Kiessling |
| 2019 | ICDAR | Transductive Learning for Reading Handwritten Tibetan Manuscripts. | Sivan Keret, Lior Wolf, Nachum Dershowitz, Eric Werner, Orna Almogi, Dorji Wangchuk |
| 2018 | CADE | Well-Founded Unions. | Jeremy E. Dawson, Nachum Dershowitz, Rajeev Gor |
| 2018 | LPAR | Graph Path Orderings. | Nachum Dershowitz, Jean-Pierre Jouannaud |
| 2018 | WACV | A Method for Segmentation, Matching and Alignment of Dead Sea Scrolls. | Gil Levi, Pinhas Nisnevich, Adiel Ben-Shalom, Nachum Dershowitz, Lior Wolf |
| 2017 | ICDAR | VASESKETCH: Automatic 3D Representation of Pottery from Paper Catalog Drawings. | Francesco Banterle, Barak Itkin, Matteo Dellepiane, Lior Wolf, Marco Callieri, Nachum Dershowitz, Roberto Scopigno |
| 2017 | ICDAR | Relating Articles Textually and Visually. | Nachum Dershowitz, Daniel Labenski, Adi Silberpfennig, Lior Wolf, Yaron Tsur |
| 2017 | ICDAR | Qumran Letter Restoration by Rotation and Reflection Modified PixelCNN. | Lior Uzan, Nachum Dershowitz, Lior Wolf |
| 2016 | CICLING | Stemming and Segmentation for Classical Tibetan. | Orna Almogi, Lena Dankin, Nachum Dershowitz, Yair Hoffman, Dimitri Pauls, Dorji Wangchuk, Lior Wolf |
| 2016 | CiE | Axiomatizing Analog Algorithms. | Olivier Bournez, Nachum Dershowitz, Pierre Nron |
| 2016 | DAS | OCR Error Correction Using Character Correction and Feature-Based Word Classification. | Ido Kissos, Nachum Dershowitz |
| 2015 | ICDAR | Viral transcript alignment. | Gil Sadeh, Lior Wolf, Tal Hassner, Nachum Dershowitz, Daniel Stkl Ben Ezra |
| 2015 | ICDAR | Improving OCR for an under-resourced script using unsupervised word-spotting. | Adi Silberpfennig, Lior Wolf, Nachum Dershowitz, Seraogi Bhagesh, Bidyut B. Chaudhuri |
| 2015 | SAT | Hints Revealed. | Jonathan Kalechstain, Vadim Ryvchin, Nachum Dershowitz |
| 2014 | CICLING | Inferring Paraphrases for a Highly Inflected Language from a Monolingual Corpus. | Kfir Bar, Nachum Dershowitz |
| 2014 | CiE | Generic Parallel Algorithms. | Nachum Dershowitz, Evgenia Falkovich |
| 2014 | CVPR | Congruency-Based Reranking. | Itai Ben-Shalom, Noga Levy, Lior Wolf, Nachum Dershowitz, Adiel Ben-Shalom, Roni Shweka, Yaacov Choueka, Tamir Hazan, Yaniv Bar |
| 2014 | ICFHR | A Simple and Fast Word Spotting Method. | Alon Kovalchuk, Lior Wolf, Nachum Dershowitz |
| 2013 | CSL | Res Publica: The Universal Model of Computation (Invited Talk). | Nachum Dershowitz |
| 2013 | ICDAR | OCR-Free Transcript Alignment. | Tal Hassner, Lior Wolf, Nachum Dershowitz |
| 2013 | ICDAR | Integrating Copies Obtained from Old and New Preservation Efforts. | Yoram Zarai, Tamar Lavee, Nachum Dershowitz, Lior Wolf |
| 2012 | COLING | Deriving Paraphrases for Highly Inflected Languages from Comparable Documents. | Kfir Bar, Nachum Dershowitz |
| 2012 | TAMC | Towards an Axiomatization of Simple Analog Algorithms. | Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich |
| 2011 | ACL | Unsupervised Decomposition of a Document into Authorial Components. | Moshe Koppel, Navot Akiva, Idan Dershowitz, Nachum Dershowitz |
| 2011 | ICCV | Active clustering of document fragments using information derived from both images and catalogs. | Lior Wolf, Lior Litwak, Nachum Dershowitz, Roni Shweka, Yaacov Choueka |
| 2011 | ICIP | Computerized paleography: Tools for historical manuscripts. | Lior Wolf, Liza Potikha, Nachum Dershowitz, Roni Shweka, Yaacov Choueka |
| 2010 | CSL | Exact Exploration and Hanging Algorithms. | Andreas Blass, Nachum Dershowitz, Yuri Gurevich |
| 2008 | CADE | Canonical Inference for Implicational Systems. | Maria Paola Bonacina, Nachum Dershowitz |
| 2008 | CADE | Canonicity! | Nachum Dershowitz |
| 2008 | CADE | Bit Inference. | Nachum Dershowitz |
| 2007 | ICALP | Complexity of Propositional Proofs Under a Promise. | Nachum Dershowitz, Iddo Tzameret |
| 2007 | SAT | Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver. | Nachum Dershowitz, Ziyad Hanna, Alexander Nadel |
| 2006 | LPAR | Boolean Rings for Intersection-Based Satisfiability. | Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss |
| 2006 | SAT | A Scalable Algorithm for Minimal Unsatisfiable Core Extraction. | Nachum Dershowitz, Ziyad Hanna, Alexander Nadel |
| 2005 | CiE | How to Compare the Power of Computational Models. | Udi Boker, Nachum Dershowitz |
| 2005 | DATE | Space-Efficient Bounded Model Checking. | Jacob Katz, Ziyad Hanna, Nachum Dershowitz |
| 2005 | LPAR | The Four Sons of Penrose. | Nachum Dershowitz |
| 2005 | SAT | Bounded Model Checking with QBF. | Nachum Dershowitz, Ziyad Hanna, Jacob Katz |
| 2005 | SAT | A Clause-Based Heuristic for SAT Solvers. | Nachum Dershowitz, Ziyad Hanna, Alexander Nadel |
| 2004 | ICLP | Termination by Abstraction. | Nachum Dershowitz |
| 2004 | SAT | Boolean Ring Satisfiability. | Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss |
| 2003 | LICS | Abstract Saturation-Based Inference. | Nachum Dershowitz, Claude Kirchner |
| 1997 | EuroPar | Abstract And-Parallel Machines. | Nachum Dershowitz, Naomi Lindenstrauss |
| 1997 | MFCS | When are Two Rewrite Systems More than None? | Nachum Dershowitz |
| 1994 | ALT | From Specifications to Programs: Induction in the Service of Synthesis (Abstract). | Nachum Dershowitz |
| 1992 | CADE | Decidable Matching for Convergent Systems (Preliminary Version). | Nachum Dershowitz, Subrata Mitra, G. Sivakumar |
| 1992 | LFCS | Ordinal Arithmetic with List Structures. | Nachum Dershowitz, Edward M. Reingold |
| 1991 | ICALP | Cononical Sets of Horn Clauses. | Nachum Dershowitz |
| 1991 | IJCAI | Ordering-Based Strategies for Horn Clauses. | Nachum Dershowitz |
| 1990 | AAAI | Inductive Synthesis of Equational Programs. | Nachum Dershowitz, Eli Pinchover |
| 1989 | ICALP | Infinite Normal Forms (Preliminary Version). | Nachum Dershowitz, Stphane Kaplan, David A. Plaisted |
| 1989 | ICLP | Average Time Analyses Related to Logic Programming. | Nachum Dershowitz, Naomi Lindenstrauss |
| 1989 | POPL | Rewrite, Rewrite, Rewrite, Rewrite, Rewrite. | Nachum Dershowitz, Stphane Kaplan |
| 1988 | AAAI | Goal-Directed Equation Solving. | Nachum Dershowitz, G. Sivakumar |
| 1988 | CADE | Canonical Conditional Rewrite Systems. | Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar |
| 1988 | LICS | Proof-Theoretic Techniques for Term Rewriting Theory | Nachum Dershowitz, Mitsuhiro Okada |
| 1987 | LICS | Inference Rules for Rewrite-Based First-Order Theorem Proving | Leo Bachmair, Nachum Dershowitz |
| 1986 | CADE | Commutation, Transformation, and Termination. | Leo Bachmair, Nachum Dershowitz |
| 1986 | ISSAC | Critical-pair criteria for the Knuth-Bendix completion procedure. | Leo Bachmair, Nachum Dershowitz |
| 1986 | LICS | Orderings for Equational Proofs | Leo Bachmair, Nachum Dershowitz, Jieh Hsiang |
| 1985 | IJCAI | Synthesis by Completion. | Nachum Dershowitz |
| 1984 | ICLP | Logic Programming by Completion. | Nachum Dershowitz, N. Alan Josephson |
| 1983 | ICALP | Rewrite Methods for Clausal and Non-Clausal Theorem Proving. | Jieh Hsiang, Nachum Dershowitz |
| 1983 | IJCAI | Associative-Commutative Rewriting. | Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted |
| 1981 | ICALP | Termination of Linear Rewriting Systems (Preliminary Version). | Nachum Dershowitz |
| 1981 | ICSE | The Evolution of Programs: Program Abstraction and Instantiation. | Nachum Dershowitz |
| 1979 | FOCS | Orderings for Term-Rewriting Systems | Nachum Dershowitz |
| 1979 | ICALP | Proving termination with Multiset Orderings. | Nachum Dershowitz, Zohar Manna |
| 1978 | ICSE | Inference Rules for Program Annotation. | Nachum Dershowitz, Zohar Manna |
| 1977 | IJCAI | Automatic Program Annotation. | Nachum Dershowitz |
| 1977 | POPL | The Evolution of Programs: A System for Automatic Program Modification. | Nachum Dershowitz, Zohar Manna |