Nachum Dershowitz

PUBLICATIONS

Books Favorites Topical Legend
In Press Pending Drafts Coauthors




2025 2024 2023 2022 2021 2020
2019 2018 2017 2016 2015 2014 2013 2012 2011 2010
2009 2008 2007 2006 2005 2004 2003 2002 2001 2000
1999 1998 1997 1996 1995 1994 1993 1992 1991 1990
1989 1988 1987 1986 1985 1984 1983 1982 1981 1980
1979 1978 1977 1976 1975

    To Appear

  1. @Nachum Dershowitz, Daniel Stökl Ben Ezra, Judith Olszowy-Schlanger, and Avi Shmidman, February 2025, “Computational Analysis of Medieval Hebrew Manuscripts”, Australian Association for Jewish Studies (AAJS) Conference.
  2. *Moshe Lavee, Shlomo Tannor, and Nachum Dershowitz, 2025, “פילולוגיה דיגיטלית פרגמטית: איתור ממוכן של פסקאות תנחומא-ילמדנו בילקוט שמעוני ולקחיו לחקר הילקוט והמדרשים האבודים המוכרים לבני אשכנז” (= Pragmatic Computational Philology: Automatic Identification of Tanḥuma-Yelammedenu Passages in Yalkut Shimoni and its Implications for the Study of the Yalkut and of Lost Midrashim Known in Ashkenaz) (in Hebrew), JSIJ - Jewish Studies, an Internet Journal.
  3. *Nachum Dershowitz and Evgenia Falkovich-Derzhavetz, “The Invariance Theorem”, Logical Methods in Computer Science.

    4. Pending

  4. +Daria Vasyutinsky Shapira, Mohammad Suliman, Berat Kurar-Barakat, Sharva Godawale, Omer Ventura, and Nachum Dershowitz, 2024, “Traditional vs. Computational Hebrew Paleography: From Conventional to State-of-the-Art”.
  5. @Nachum Dershowitz, 2024, “Two Computational Tools for Holocaust Studies” (Poster).
  6. *Berat Kurar-Barakat and Nachum Dershowitz, 2024, “Segmentation of Ink and Parchment in Dead Sea Scroll Fragments”.
  7. +Bronson Brown-deVost, Berat Kurar Barakat, and Nachum Dershowitz, 2024, “Segmenting Dead Sea Scroll Fragments for a Scientific Image Set”.
  8. *Nachum Dershowitz, Jean-Pierre Jouannaud, and Fernando Orejas, 2024, “Drag Rewriting”.
  9. *Gideon Yoffe, Ariel Vishne, Nachum Dershowitz, and Barak Sober, 2024, “Estimating the Influence of Sequentially Correlated Literary Properties in Textual Classification: A Data-Centric Hypothesis-Testing Approach”.
  10. *Rakesh M. Verma and Nachum Dershowitz, 2024, “Pitfalls of Publishing in the Age of LLMs”.
  11. *Bronson Brown-deVost, Ingo Kottsieper, Joe Uziel, Jonathan Ben-Dov, Nachum Dershowitz, and Reinhard Kratz, 2024, “A Spatial Data System for Reconstructing Ancient Manuscripts: Scripta Qumranica Electronica”.
  12. *Rakesh Verma, Nachum Dershowitz, Victor Zeng, Dainis Boumber, and Xuting Liu, 2024, “Domain-Independent Deception: A New Taxonomy and Linguistic Analysis”.
  13. +Hallel Baitner, Nachum Dershowitz, Lee-Ad Gottlieb, Eshbal Ratzon, and Dimid Duchovny, 2024, “Submitted”.
  14. *Hadar Miller, Moshe Lavee, Nachum Dershowitz, Samuel Londner, and Tsvi Kuflik, 2024, “Systematic Textual Availability of Manuscripts”.

    15. In Preparation

  15. *Nachum Dershowitz, 2024, “Graph Semantics and the Guarded Conditional”.
  16. *Nachum Dershowitz, Jean-Pierre Jouannaud, and Fernando Orejas, 2025, “Rewriting in the Algebra of Compositional Graphs”.
  17. *Nachum Dershowitz and Ohad Kammar, “Termination Proofs and the Ordinal Path Ordering”.
  18. *Nachum Dershowitz and Edward M. Reingold, “Lisp to Latex”.
  19. **Nachum Dershowitz and Gilles Dowek, 2016, I, Computer.
  20. **Nachum Dershowitz, The Heart and Soul of Computation.

    21. 2025

    2024

  21. #Daria Vasyutinsky Shapira and Nachum Dershowitz, December 2024, “Prediction of Paleographical Features in Ashkenazi Square Script for Identifying Subclusters Within the Style” (Abstract), 56th Annual Conference of the Association for Jewish Studies, Virtual.
  22. *Sharva Gogawale, Luigi Bambaci, Berat Kurar-Barakat, Daria Vasyutinsky Shapira, Daniel Stökl Ben Ezra, and Nachum Dershowitz, December 2024, “NetLay: End-to-End Layout Classification for Enhancing Layout Analysis”, magazén: International Journal for Digital and Public Humanities, vol. 5, no. 2, pp. 1-14.
  23. +Berat Kurar-Barakat, Daria Vasyutinsky Shapira, Sharva Gogawale, Mohammad Suliman, and Nachum Dershowitz, December 2024, “Computational Paleography of Medieval Hebrew Scripts”, Computational Humanities Research (CHR 2024), Aarhus, Denmark (Hybrid), CEUR vol. 3834, paper 42.
  24. @Berat Kurar-Barakat and Nachum Dershowitz, November 2024, “Segmentation of Ink and Parchment in Dead Sea Scroll Fragments”, informal arXiv publication, arXiv:2411.10668 [cs.CV].
  25. @Gideon Yoffe, Nachum Dershowitz, Ariel Vishne, and Barak Sober, November 2024, “Estimating the Influence of Sequentially Correlated Literary Properties in Textual Classification: A Data-Centric Hypothesis-Testing Approach”, informal arXiv publication, arXiv:2411.04950 [cs.CL].
  26. *Yael Bar, Kfir Bar, Judith Ben Dror, Didi Feldman, Meishar Shahoha, Shir Lerner, Shlomit Strulov Shachar, Ahuva Weiss-Meilik, Nachum Dershowitz, Ido Wolf, and Amir Sonnenblick, October 2024, “The Impact of Extensive Intraductal Component (EIC) on the Genomic Risk of Recurrence in Early Hormone Receptor Positive Breast Cancer”, The Breast Journal, vol. 77, article 103777.
  27. @Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, October 2024, “Exact Exploration”, informal arXiv publication, arXiv:2410.10706 [cs.LO].
  28. #Daria Vasyutinsky Shapira, Berat Kurar-Barakat, Sharva Gogawale, Mohammad Suliman, and Nachum Dershowitz, September 2024, “MiDRASH -- A Project for Computational Analysis of Medieval Hebrew Manuscripts” (Poster), The 22nd Eurographics Workshop on Graphics and Cultural Heritage (GCH 2024), Darmstadt, Germany.
  29. Daniel Weisberg Mitelman, Nachum Dershowitz, and Kfir Bar, September 2024, “Code-Switching and Back-Transliteration Using a Bilingual Model” (Poster), The Israel Seminar on Computational Linguistics (ISCOL 2024), Haifa, Israel.
  30. #Daniel Stökl Ben Ezra, Luigi Bambaci, Nachum Dershowitz, Ben Kiessling, and Avi Shmidman, September 2024, “Large Scale Computational Analysis of Historical Manuscripts: The MiDRASH Project and Its Applicability to Other Cultures” (Abstract), 13th Annual Conference of the Japanese Association for Digital Humanities (JADH), pp. 17-19.
  31. #Berat Kurar-Barakat and Nachum Dershowitz, August 2024, “Computational Qumranic Paleography” (Abstract), Third International Workshop on Computational Paleography (IWCP), Athens, Greece.
  32. #Berat Barakat, Mohammad Suliman, Sharva Gogawale, Daria Shapira, and Nachum Dershowitz, August 2024, “Clustering Ashkenazi Manuscripts” (Poster), ADHO Digital Humanities Conference 2024: Reinvention & Responsibility, Washington, DC.
  33. @Rakesh M. Verma and Nachum Dershowitz, July 2024, “The Pitfalls of Publishing in the Age of LLMs: Strange and Surprising Adventures with a High-Impact NLP Journal”, informal arXiv publication, arXiv:2407.12026 [cs.CL].
  34. Berat Kurar-Barakat and Nachum Dershowitz, July 2024, “Computational Tools for Dead Sea Scrolls”, unpublished note.
  35. #Berat Barakat, Mohammad Suliman, Sharva Gogawale, Daria Shapira, and Nachum Dershowitz, June 2024, “Automatic Clustering of Hebrew Manuscripts” (Abstract), DARIAH Annual Event 2024, Workflows: Digital Methods for Reproducible Research Practices in the Arts and Humanities, Lisbon, Portugal.
  36. #Berat Kurar-Barakat, Daria Vasyutinsky Shapira, Sharva Gogawale, Mohammad Suliman, and Nachum Dershowitz, June 2024, “Transcending Traditional Paleography Through Computational Analysis” (Poster), Conference of the Israel Data Science and AI Initiative (IDSAI), Zichron Yaakov, Israel.
  37. @Nachum Dershowitz, May 2024, “Alternate Semantics of the Guarded Conditional”, International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-25), Complementary Volume, Nikolaj Bjorner, Marijn Heule, and Andrei Voronkov, eds., Balaclava, Mauritius, Kalpa Publications in Computing, vol. 18, pp. 30-52.
  38. *Axel Bühler, Gideon Yoffe, Nachum Dershowitz, Eli Piasetzky, Israel Finkelstein, Thomas Römer, and Barak Sober, May 2024, “Exploring the Stylistic Uniqueness of the Priestly Source in Genesis and Exodus Through a Statistical/Computational Lens”, Zeitschrift für die Alttestamentliche Wissenschaft (ZAW), vol. 136, no. 2, pp. 165-190. Correction to figures at ZAW 2024; 136(3): 504.
  39. #Ohr Dallal, Israel Finkelstein, Nachum Dershowitz, and Shira Faigenbaum-Golovin, May 2024, “Learning to Identify Multispectral Signatures from Weakly Annotated Data: Iron Age Ostraca as a Case Study” (Abstract), The Conference of Digital Humanities and Social Sciences (DHSS) in Israel, Tel Aviv.
  40. Shlomo Tannor, Nachum Dershowitz, and Moshe Lavee, May 2024, “Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanḥuma Material” (Abstract), The Conference of Digital Humanities and Social Sciences (DHSS) in Israel, Tel Aviv.
  41. *Tomer Ben Moshe, Ido Ziv, Nachum Dershowitz, and Kfir Bar, May 2024, “The Contribution of Prosody to Machine Classification of Schizophrenia”, Schizophrenia, vol. 10, article 53.
  42. +Daniel Weisberg Mitelman, Nachum Dershowitz, and Kfir Bar, March 2024, “Code-Switching and Back-Transliteration Using a Bilingual Model”, Findings of the Association for Computational Linguistics: EACL 2024, St. Julian's, Malta, pp. 1501-1511.
  43. @Rakesh Verma, Nachum Dershowitz, Victor Zeng, Dainis Boumber, and Xuting Liu, February 2024, “Domain-Independent Deception: A New Taxonomy and Linguistic Analysis”, informal arXiv publication, arXiv:2402.01019 [cs.CL].
  44. Axel Bühler, Gideon Yoffe, Nachum Dershowitz, Eli Piasetzky, Israel Finkelstein, Thomas Römer, and Barak Sober, January 2024, “Exploring the Stylistic Uniqueness of the Priestly Source in Genesis and Exodus Through a Statistical/Computational Lens”, informal SocArXiv publication. Earlier version: November 2023.

    45. 2023

  45. *Nachum Dershowitz and Rakesh Verma, September 2023, “Rebutting Rebuttals”, Communications of the ACM (CACM), vol. 66, no. 9, pp. 35-41.
  46. +Samuel Londner, Yoav Philips, Hadar Miller, Nachum Dershowitz, Tsvi Kuflik, and Moshe Lavee, August 2023, “Linguistic Knowledge within Handwritten Text Recognition Models: A Real-World Case Study”, Proceedings of the 17th International Conference on Document Analysis and Recognition (ICDAR), Part IV, San Jose, CA, Gernot A. Fink, Rajiv Jain, Koichi Kise, Richard Zanibbi, eds., Lecture Notes in Computer Science, vol. 14190, Springer, Cham, pp. 147-164.
  47. *Shlomo Tannor, Nachum Dershowitz, and Moshe Lavee, August 2023, “Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanḥuma Material”, Journal of Data Mining & Digital Humanities, vol. NLP4DH.
  48. Nachum Dershowitz, July 2023, “Graph-Based Operational Semantics” (Abstract), Symposium on Understanding and Defining Algorithms: From Fundamental Issues to New Challenges, The 17th International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST), Buenos Aires, Argentina, p. 78.
  49. #Nachum Dershowitz, July 2023, “Computational Paleography” (Abstract), The Twelfth EAJS Congress - Branching Out: Diversity of Jewish Studies, Frankfurt, Germany, pp. 258-259.
  50. #Daniel Stökl Ben Ezra, Nachum Dershowitz, Judith Olszowy-Schlanger, and Avi Shmidman, July 2023, “Roundtable: ERC Synergy Project MIDRASH: Outline and Possibilities for Interaction” (Abstract), The Twelfth EAJS Congress - Branching Out: Diversity of Jewish Studies, Frankfurt, Germany.
  51. +Gideon Yoffe, Axel Bühler, Thomas Römer, Nachum Dershowitz, Eli Piasetzky, Israel Finkelstein, and Barak Sober, July 2023, “A Statistical Exploration of Text Partition Into Constituents: The Case of the Priestly Source in the Books of Genesis and Exodus”, Findings of the Association for Computational Linguistics: ACL 2023, Toronto, Canada, pp. 1918-1940.
  52. Gideon Yoffe, Axel Bühler, Thomas Römer, Nachum Dershowitz, Eli Piasetzky, Israel Finkelstein, and Barak Sober, July 2023, “A Statistical Exploration of the Hypothesized Partition of the Books of Genesis and Exodus into Priestly and non-Priestly Components” (Extended Abstract), Proceedings of Digital Humanities (DH 2023), Graz, Austria.
  53. #Nachum Dershowitz, June 2023, “Computational Paleography” (Abstract), International Research Workshop on Editions of Classical Jewish Literature in the Digital Era, Haifa, Israel.
  54. #Nachum Dershowitz, June 2023, “Honest Representations” (Abstract), International Conference on Analytic Philosophy: Representation and Computation, Dubrovnik, Croatia.
  55. Gideon Yoffe, Axel Bühler, Thomes Römer, Nachum Dershowitz, Eli Piasetzky, Israel Finkelstein, and Barak Sober, May 2023, “A Statistical Exploration of Text Partition Into Constituents: The Case of the Priestly Source in the Books of Genesis and Exodus”, informal arXiv publication, arXiv:2305.02170 [cs.CL].
  56. #Nachum Dershowitz, March 2023, “כלים חישוביים לניתוח פלאוגרפי” (= Computational Tools for Paleographic Analysis) (Abstract; in Hebrew), Abstracts of the Annual Conference on Torah U'madda, Ramat Gan, Israel.
  57. #Yael Bar, Kfir Bar, Judith Ben-Dror, Didi Feldman, Meishar Shahoha, Ahuva Weiss-Meilik, Nachum Dershowitz, Ido Wolf, and Amir Sonnenblick, March 2023, “The Impact of Co-existing Ductal Carcinoma in Situ in Invasive Early Hormone Receptor Positive Breast Cancer on the Genomic and Clinical Risk of Recurrence” (Abstract), Proceedings of the 2022 San Antonio Breast Cancer Symposium (SABCS), San Antonio, TX, December 2022, Cancer Research 83 (5_Supplement): P3-05-27.
  58. @Bronson Brown-deVost, Berat Kurar Barakat, and Nachum Dershowitz, June 2024, “Segmenting Dead Sea Scroll Fragments for a Scientific Image Set”, informal arXiv publication, arXiv:2406.15692 [cs.CV].
  59. Nachum Dershowitz, Jean-Pierre Jouannaud, and Fernando Orejas, March 2023, “Drag Rewriting”, informal publication, HAL archive 〈hal-04029105〉, informal publication. Revised: June 2024, HAL archive 〈hal-04143346〉. Also arXiv:2406.16046 [cs.CL].
  60. Gideon Yoffe, Axel Bühler, Thomas Römer, Nachum Dershowitz, Eli Piasetzky, Israel Finkelstein, and Barak Sober, February 2023, “An Independent Unsupervised Examination of the Distinction Between Texts of Priestly and Non-priestly Origins in the Books of Genesis and Exodus” (Extended Abstract), Abstracts of the First Meeting of the Digital Ancient Near Eastern Studies Network, Tel Aviv, Israel.
  61. #Ohr Dallal, Shira Faigenbaum-Golovin, Israel Finkelstein, and Nachum Dershowitz, February 2023, “Towards Binarization of Iron Age Ostraca from Multispectral Weakly-Annotated Imaging” (Poster), First Meeting of the Digital Ancient Near Eastern Studies Network, Tel Aviv, Israel.
  62. #Nachum Dershowitz, February 2023, “Advanced Computational Tools for Qumran Scroll Research” (Abstract), Abstracts of the First Meeting of the Digital Ancient Near Eastern Studies Network, Tel Aviv, Israel.

    63. 2022

  63. +Lena Dankin, Kfir Bar, and Nachum Dershowitz, December 2022, “Can Yes-No Question-Answering Models be Useful for Few-Shot Metaphor Detection?”, Proceedings of the Third Workshop on Figurative Language Processing (FLP), EMNLP 2022, Abu Dhabi, United Arab Emirates (Hybrid), pp. 125-130.
  64. Yael Bar, Kfir Bar, Judith Ben-Dror, Didi Feldman, Meishar Shahoha, Ahuva Weiss-Meilik, Nachum Dershowitz, Ido Wolf, and Amir Sonnenblick, December 2022, “The Impact of Co-existing Ductal Carcinoma in Situ in Invasive Early Hormone Receptor Positive Breast Cancer on the Genomic and Clinical Risk of Recurrence” (Poster), The 2022 San Antonio Breast Cancer Symposium (SABCS), San Antonio, TX.
  65. *Saeed Esmail, Kfir Bar, and Nachum Dershowitz, December 2022, “How Much Does Lookahead Matter for Disambiguation? Partial Arabic Diacritization Case Study”, Computational Linguistics, vol. 48, no. 4, pp. 1103-1123. Available online August 2022.
  66. Shlomo Tannor, Nachum Dershowitz, and Moshe Lavee, November 2022, “Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanḥuma Material”, Proceedings of the 2nd International Workshop on Natural Language Processing for Digital Humanities (NLP4DH), online, pp. 42-46.
  67. Shlomo Tannor, Nachum Dershowitz, and Moshe Lavee, November 2022, “Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanḥuma Material”, informal arXiv publication, arXiv:2211.09710 [cs.CL].
  68. °Udi Boker and Nachum Dershowitz, September 2022, “What is the Church-Turing Thesis?”, chap. 9 in Axiomatic Thinking II, Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, eds., Springer International Publishing, Cham, Switzerland, pp. 199-234.
  69. ++Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich, eds., September 2022, Special Issue of Invited Papers in Honor of the Boris (Boaz) Trakhtenbrot Centenary, Fundamenta Informaticae, volume 186, nos. 1-4 (online and print).
  70. #Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich, eds., August 2022, Preface to Special Issue of Invited Papers in Honor of the Boris (Boaz) Trakhtenbrot Centenary, Fundamenta Informaticae, volume 186, nos. 1-4, pp. v-viii.
  71. Yaara Shriki, Ido Ziv, Nachum Dershowitz, Eiran Vadim Harel, and Kfir Bar, September 2022, “Masking Morphosyntactic Categories to Evaluate Salience for Schizophrenia Diagnosis” (Abstract), Israeli Seminar on Computational Linguistics (ISCOL), Tel Aviv, Israel.
  72. #Nachum Dershowitz, August 2022, “Scripta Qumranica Electronica – A New Digital Workspace with Advanced Computational Tools for Scroll Research” (Abstract), 18th World Congress of Jewish Studies, Jerusalem, Israel.
  73. $Nachum Dershowitz and Jörg Endrullis, 2022-, “RLooP: The Complete List of RTA Open Problems”.
  74. #Bronson Brown-deVost, Nachum Dershowitz, and Daniel Stökl Ben Ezra, August 2022, “Automatically Linking Dead Sea Scroll Transcriptions to Fragment Images: Towards the Letter Level” (Abstract), The 11th Congress of the International Organization for Qumran Studies (IOQS), Zurich, Switzerland.
  75. *Kfir Bar, Nachum Dershowitz, and Lena Dankin, August 2022, “Metaphor Interpretation Using Word Embeddings”, Computación y Sistemas, vol. 26, no. 3, pp. 1301-1311. (Previously accepted to defunct International Journal of Computational Linguistics and Applications - IJCLA.)
  76. +Yaara Shriki, Ido Ziv, Nachum Dershowitz, Eiran Vadim Harel, and Kfir Bar, July 2022, “Masking Morphosyntactic Categories to Evaluate Salience for Schizophrenia Diagnosis”, Proceedings of the Eighth Annual Workshop on Computational Linguistics and Clinical Psychology: Mental Health in the Face of Change (CLPsych), 2022 Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL), Seattle, WA, pp. 148-157.
  77. Rakesh M. Verma, Nachum Dershowitz, Victor Zeng, and Xuting Lu, July 2022, “Domain-Independent Deception: Definition, Taxonomy and the Linguistic Cues Debate”, informal arXiv publication, arXiv:2207.01738 [cs.CR].
  78. $Adiel Ben Shalom, Nachum Dershowitz, and Jonathan Ben-Dov, Tables of Scroll Correspondences, June 2022, online resource.
  79. *Ido Ziv, Heli Baram, Kfir Bar, Vered Zilberstein, Shmuel Itzikobitz, Eiran V. Harel, and Nachum Dershowitz, April 2022, “Morphological Characteristics of Spoken Language in Schizophrenia Patients - An Exploratory Study”, Scandinavian Journal of Psychology, vol. 63, no. 2, pp. 91-99. Online November 2021.

    80. 2021

  80. #Hadar Miller, Yoav Philips, Tsvi Kuflik, Moshe Lavee, Nachum Dershowitz, and Samuel Londner, December 2021, “Towards Automatic Cataloguing of Hebrew Manuscripts” (Abstract), Second Workshop on Digital Technologies to Study the Past and Present (SfP 2021), Kinneret College on the Sea of Galilee.
  81. *Yael Bar, Kfir Bar, Itay Itzhak, Chen Shitrit Niselbaum, Nachum Dershowitz, Eliya Shachar, Ahuva Weiss-Meilik, Orit Golan, Ido Wolf, Tehillah Menes, and Amir Sonnenblick, December 2021, “The Impact of Tumor Detection Method on Genomic and Clinical Risk and Chemotherapy Recommendation in Early Hormone Receptor Positive Breast Cancer”, The Breast Journal, vol. 60, pp. 78-85.
  82. $Edward M. Reingold and Nachum Dershowitz, 2021, Calendrica 4.0 (Common Lisp), Github repository.
  83. +Nachum Dershowitz, July 2021, “de Vrijer's Measure for SN of λ→ in Scheme”, Proceedings of the 17th International Workshop on Termination (WST 2021), Virtual, Pittsburgh, PA, pp. 9-14.
  84. +Nachum Dershowitz, Rotem Oshman, and Tal Roth, June 2021, “The Communication Complexity of Multiparty Set Disjointness Under Product Distributions”, Proceedings of the ACM Symposium on Theory of Computing (STOC), Virtual, Italy, pp. 1194-1207.
  85. Yael Bar, Kfir Bar, Itay Itzhak, Chen Shitrit Niselbaum, Nachum Dershowitz, Eliya Shachar, Ahuva Weiss-Meilik, Orit Golan, Ido Wolf, Tehillah Menes, and Amir Sonnenblick, May 2021, “The Impact of Tumor Detection Method on Genomic and Clinical Risk and Chemotherapy Recommendation in Early Hormone Receptor Positive Breast Cancer” (Abstract), Annals of Oncology, vol. 32, Supplement 2, page S44, Special issue: Abstract Book of the ESMO Breast Cancer Virtual Congress 2021.
  86. *Nachum Dershowitz, May 2021, “Let's be Honest”, Communications of the ACM (CACM), vol. 64, no. 5, pp. 37-41.
  87. *Francesca Anichini, Nachum Dershowitz, Nevio Dubbini, Gabriele Gattiglia, Barak Itkin, and Lior Wolf, Apr. 2021, “The Automatic Recognition of Ceramics from Only One Photo. The ArchAIDE App”, Journal of Archaeological Science: Reports, Special issue on the European Meeting on Ancient Ceramics (EMAC), vol. 36, no. 102788.
  88. +Barak Itkin, Lior Wolf, and Nachum Dershowitz, February 2021, “Computational Visual Ceramicology: Matching Image Outlines to Catalog Sketches”, Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI), AISI 7467 (supplementary material).
  89. *Nachum Dershowitz, January 2021, “Between Broadway and the Hudson: A Bijection of Corridor Paths”, Journal of Integer Sequences, vol. 24, article 21.2.8.

    90. 2020

  90. +Ori Terner, Kfir Bar, and Nachum Dershowitz, December 2020, “Transliteration of Judeo-Arabic Texts into Arabic Script Using Recurrent Neural Networks”, The Fifth Arabic Natural Language Processing Workshop (WANLP 2020), co-located with COLING'2020, Barcelona, Spain, pp. 85-96.
  91. *Eshbal Ratzon and Nachum Dershowitz, October 2020, “The Length of a Scroll: Quantitative Evaluation of Material Reconstructions”, PLoS ONE, vol. 15, no. 10, art. e0239831 (supplementary material).
  92. Kfir Bar, Nachum Dershowitz, and Lena Dankin, October 2020, “Automatic Metaphor Interpretation Using Word Embeddings”, informal arXiv publication, arXiv:2010.02665 [cs.CL].
  93. Nachum Dershowitz, September 2020, “A Heartfelt Appreciation”, The Art and Craft of Scientific Publishing: A Liber Amicorum in Honor of Alfred Hofmann, Aliaksandr Birukou, Lanlan Chang, Ralf Gerstner, and Ronan Nugent, eds., pp. 31-32.
  94. +Daniel Stökl Ben Ezra, Bronson Brown-DeVost, Nachum Dershowitz, Alexey Pechorin, and Benjamin Kiessling, September 2020, “Transcription Alignment for Highly Fragmentary Historical Manuscripts: The Dead Sea Scrolls”, Proceedings of the 17th International Conference on Frontiers in Handwriting Recognition (ICFHR), Dortmund, Germany, pp. 361-366.
  95. Nachum Dershowitz, August 2020, Sequence A337500, in Neil J. Sloane, et al., The On-Line Encyclopedia of Integer Sequences (OEIS).
  96. Nachum Dershowitz, August 2020, Sequence A337499, in Neil J. Sloane, et al., The On-Line Encyclopedia of Integer Sequences (OEIS).
  97. +Taivanbat Badamdorj, Adiel Ben-Shalom, Nachum Dershowitz, and Lior Wolf, July 2020, “Fast Search with Poor OCR” (Extended Abstract), Abstracts of Digital Humanities (DH 2020), Ottawa, Canada.
  98. Nachum Dershowitz, July 2020, Sequence A336678, in Neil J. Sloane, et al., The On-Line Encyclopedia of Integer Sequences (OEIS).
  99. Nachum Dershowitz, July 2020, Sequence A336675, in Neil J. Sloane, et al., The On-Line Encyclopedia of Integer Sequences (OEIS).
  100. *Nachum Dershowitz, June 2020, “Nonleaf Patterns in Trees: Protected Nodes and Fine Numbers”, Journal of Integer Sequences, vol. 23, art. 20.7.7.
  101. Nachum Dershowitz, June-July 2020, “Between Broadway and the Hudson: A Bijection of Corridor Paths”, informal arXiv publication, arXiv:2006.06516 [math.CO].
  102. ++Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, and Bernd Finkbeiner, eds., May 2020, Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday, Lecture Notes in Computer Science, vol. 12180, Springer-Verlag, Switzerland.
  103. @Nachum Dershowitz, Qian Wang, and Jean-Pierre Jouannaud, 2020, “The Algebra of Infinite Sequences: Notations and Formalization”, informal publication, HAL archive 〈hal-02569232〉.
  104. Nachum Dershowitz and Ori Terner, April 2020, “Transliteration of Judeo-Arabic Texts into Arabic Script Using Recurrent Neural Networks”, informal arXiv publication, arXiv:2004.11405 [cs.CL].
  105. #Francesca Anichini, Nachum Dershowitz, Gabriele Gattiglia, Barak Itkin, Lior Wolf, Holly Wright, and Massimo Zallocco, April 2020, “One Photo One Type. ArchAIDE, an Integrated System to Recognise Archaeological Pot-Sherds with Deep Learning”, 48th Computer Applications and Quantitative Methods in Archaeology Conference (CAA), Oxford, UK.
  106. *Francesca Anichini, Francesco Banterle, Jaume Buxeda i Garrigós, Marco Callieri, Nachum Dershowitz, Diego Lucendo Diaz, Tim Evans, Gabriele Gattiglia, Maria Letizia Gualandi, Miguel Ángel Hervás, Barak Itkin, Marisol Madrid i Fernández, Eva Miguel Gascón, Michael Remmy, Julian Richards, Roberto Scopigno, Llorenç Vila, Lior Wolf, Holly Wright, and Massimo Zallocco, March 2020, “Developing the ArchAIDE Application: A Digital Workflow for Identifying, Organising and Sharing Archaeological Pottery Using Automated Image Recognition”, Internet Archaeology, vol. 52.
  107. Nachum Dershowitz and Richard Waldinger, February 2020, “Zohar Manna”, Association of Automated Reasoning (AAR) Newsletter, no. 130.
  108. Kfir Bar, Vered Zilberstein, Ido Ziv, Heli Baram, Nachum Dershowitz, Samuel Itzikowitz, and Eiran Vadim Harel, January 2020, “Semantic Characteristics of Schizophrenic Speech” (Poster), Batsheva de Rothschild Workshop on Computational Psychiatry, Petach Tikva, Israel.
  109. #Nachum Dershowitz, Adiel Ben-Shalom, and Lior Wolf, January 2020, “Computerized Paleography: Tools for Historical Manuscripts” (Abstract), Neo-Palaeography: Analysing Ancient Greek and Coptic Handwritings in the Digital Age, Basel.

    110. 2019

  110. #Nachum Dershowitz and Richard Waldinger, December 2019, “Zohar Manna (1939-2018)”, Formal Aspects of Computing, vol. 31, no. 6, pp. 643-660.
  111. Barak Itkin, Lior Wolf, and Nachum Dershowitz, November 2019, “Computational Ceramicology”, informal arXiv publication, arXiv:1911.09960 [cs.CV].
  112. Kfir Bar, Vered Zilberstein, Ido Ziv, Heli Baram, Nachum Dershowitz, Samuel Itzikowitz, and Eiran Vadim Harel, November 2019, “Semantic Characteristics of Schizophrenic Speech (Abstract)”, AI Week Research Symposium, Tel Aviv, Israel.
  113. Taivanbat Badamdorj, Adiel Ben-Shalom, Nachum Dershowitz, and Lior Wolf, September 2019, “Fast Search with Poor OCR”, informal arXiv publication, arXiv:1909.07899 [cs.IR].
  114. +Sivan Keret, Lior Wolf, Nachum Dershowitz, Eric Werner, Orna Almogi, and Dorji Wangchuk, September 2019, “Transductive Learning for Reading Handwritten Tibetan Manuscripts”, Proceedings of the IAPR International Conference on Document Analysis and Recognition (ICDAR), Sydney, Australia.
  115. Francesca Anichini, Nevio Dubbini, Nachum Dershowitz, Barak Itkin, and Lior Wolf, September 2019, “The Automatic Recognition of Ceramics Through Only One Photo. The ArchAIDE App.” (Abstract), The European Meeting on Ancient Ceramics (EMAC), Barcelona, Spain.
  116. Kfir Bar, Vered Zilberstein, Ido Ziv, Heli Baram, Nachum Dershowitz, Samuel Itzikowitz, and Eiran Vadim Harel, September 2019, “Semantic Characteristics of Schizophrenic Speech”, Israeli Seminar on Computational Linguistics (ISCOL), Haifa, Israel.
  117. Vered Zilberstein, Kfir Bar, Ido Ziv, Heli Baram, Nachum Dershowitz, Samuel Itzikowitz, and Eiran Vadim Harel, September 2019, “Semantic Characteristics of Schizophrenic Speech (Abstract)”, International Symposium on Computational Methods for Mental Health, Tel Aviv, Israel.
  118. Nachum Dershowitz, August 2019, “Nonleaf Patterns in Trees: Protected Nodes and Fine Numbers”, informal arXiv publication, arXiv:1908.04329 [cs.DM].
  119. $Francesca Anichini and the ArchAIDE team, July 2019, ArchAIDE app (Desktop, iOS, Android). Best app award, Heritage in Motion, Sept. 2019.
  120. +Nachum Dershowitz and Zvi Retchkiman Königsberg, July 2019, “Computability and Stability for Hybrid Algorithms”, Proceedings of the Tenth International Conference on Advances in Swarm Intelligence (ICSI), Ying Tan, Yuhui Shi, and Ben Niu, eds., Chiang Mai, Thailand, Lecture Notes in Computer Science, vol. 11655, Springer-Verlag, Switzerland, pp. 395-401.
  121. +Kfir Bar, Vered Zilberstein, Ido Ziv, Heli Baram, Nachum Dershowitz, Samuel Itzikowitz, and Eiran Vadim Harel, June 2019, “Semantic Characteristics of Schizophrenic Speech”, Proceedings of the Sixth Annual Workshop on Computational Linguistics and Clinical Psychology: From Keyboard to Clinic (CLPsych), Kate Niederhoffer, Kristy Hollingshead, Philip Resnik, Rebecca Resnik, and Kate Loveys, eds., 2019 Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT), Minneapolis, MN, pp. 84-93.
  122. Kfir Bar, Vered Zilberstein, Ido Ziv, Heli Baram, Nachum Dershowitz, Samuel Itzikowitz, and Eiran Vadim Harel, June 2019, “Semantic Characteristics of Schizophrenic Speech”, informal arXiv publication, arXiv:1904.07953 [cs.CL].
  123. +Taivanbat Badamdorj, Adiel Ben-Shalom, and Nachum Dershowitz, February 2019, “Matching and Searching the Dead Sea Scrolls”, Proceedings of the 2018 IEEE International Conference on the Science of Electrical Engineering in Israel (ICSEE), December 2018, Eilat, Israel, pp. 323-327.
  124. *Nachum Dershowitz and Jean-Pierre Jouannaud, July 2019, “Drags: A Compositional Algebraic Framework for Graph Rewriting”, Theoretical Computer Science, Special issue in memory of Maurice Nivat, a founding father of Theoretical Computer Science - Part I, vol. 777, pp. 204-231.
  125. *Zvi Retchkiman Königsberg and Nachum Dershowitz, 2019, “The Church Thesis, its Proof, and the Notions of Stability and Stabilization for Analog Algorithms”, Communications in Applied Analysis, vol. 23, no. 2, pp. 233-248.
  126. *Orna Almogi, Lena Dankin, Nachum Dershowitz, and Lior Wolf, January 2019, “A Hackathon for Classical Tibetan”, Journal of Data Mining & Digital Humanities, Special Issue on Computer-Aided Processing of Intertextuality in Ancient Languages, Section: Towards a Digital Ecosystem: NLP; Corpus infrastructure; Methods for Retrieving Texts and Computing Text Similarities, HAL archive 〈hal-01371751〉.

    127. 2018

  127. Taivanbat Badamdorj, Adiel Ben-Shalom, and Nachum Dershowitz, December 2018, “Matching and Searching the Dead Sea Scrolls” (Poster), International Conference on the Science of Electrical Engineering (ICSEEI), Eilat, Israel.
  128. #Nachum Dershowitz, December 2018, “Dating Problems” (Abstract), Genealogy and the Sciences, Weizmann Institute, Rehovot, Israel.
  129. $Idan Dershowitz, with thanks to Nachum Dershowitz, December 2018, Key according to "Kennicott number" with links to Ktiv catalog (and many digitized manuscripts), online resource.
  130. #Roni Shweka, Yaacov Choueka, Lior Wolf, and Nachum Dershowitz, December 2018, “Automatic Extraction of Catalog Data from Digital Images of Cairo Genizah Fragments” (Abstract), 3rd International Conference on Art & Archaeology, Jerusalem, Israel.
  131. +Nachum Dershowitz and Jean-Pierre Jouannaud, November 2018, “Graph Path Orderings”, Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-22), Awassa, Ethiopia, EPiC Series in Computing, vol. 57, G. Barthe, G. Sutcliffe, and M. Veanes, eds., pp. 307-325.
  132. Nachum Dershowitz, October 2018, “Obituary for Prof. Zohar Manna” (Notice), Newsletter No. 125, Association for Automated Reasoning.
  133. +Nachum Dershowitz and Jean-Pierre Jouannaud, August 2018, “Drags: A Simple Algebraic Framework for Graph Rewriting”, informal HAL publication 〈hal-01853138〉.
  134. +Nachum Dershowitz, July 2018, “Generic Graph Semantics” (Abstract), The 12th International Workshop on Developments in Computational Models (DCM), Oxford, UK.
  135. +Nachum Dershowitz and Jean-Pierre Jouannaud, July 2018, “Drags: A Simple Algebraic Framework for Graph Rewriting”, The 10th International Workshop on Computing with Terms and Graphs (TERMGRAPH), Oxford, UK, Electronic Proceedings in Theoretical Computer Science (EPTCS). HAL archive 〈hal-01853836〉.
  136. +Nachum Dershowitz and Jean-Pierre Jouannaud, July 2018, “GPO: A Path Ordering for Graphs”, Proceedings of the 16th International Workshop on Termination (WST 2018), Oxford, UK, LIPIcs - Leibniz International Proceedings in Informatics, pp. 25-29.
  137. +Jeremy Dawson, Nachum Dershowitz, and Rajeev Goré, July 2018, “Well-Founded Unions”, Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR), Oxford, UK, Springer, Lecture Notes in Computer Science, vol. 10900, pp. 117-133.
  138. **Edward M. Reingold and Nachum Dershowitz, April 2018, Calendrical Calculations: The Ultimate Edition (fourth edition), Cambridge University Press (print and online editions).
  139. +Orna Almogi, Lena Dankin, Nachum Dershowitz, Yair Hoffman, Dmitri Pauls, Dorji Wangchuk, and Lior Wolf, March 2018, “Stemming and Segmentation for Classical Tibetan”, Proceedings of the Seventeenth International Conference on Computational Linguistics and Intelligent Text Processing (CICLing), Revised Selected Papers, Part I, A. Gelbukh, ed., Konya, Turkey (April 2016), Lecture Notes in Computer Science, vol. 9623, Springer-Verlag, Switzerland, pp. 294-306.
  140. +Gil Levi, Pinhas Nisnevitch, Adiel Ben-Shalom, Nachum Dershowitz, and Lior Wolf, March 2018, “A Method for Segmentation, Matching and Alignment of Dead Sea Scrolls”, Proceedings of the IEEE Winter Conference on Applications of Computer Vision (WACV), Lake Tahoe, CA, pp. 208-217.
  141. +Kfir Bar, Nachum Dershowitz, and Lena Dankin, March 2018, “Automatic Metaphor Interpretation Using Word Embeddings”, Advanced Papers of the Conference on Intelligent Text Processing and Computational Linguistics (CICLing), Hanoi, Vietnam. Best presentation award.

    142. 2017

  142. °Noga Levy, Adiel Ben-Shalom, Itai Ben-Shalom, Lior Wolf, Nachum Dershowitz, Roni Shweka, and Yaakov Choueka, 2017, “Consolidating the Results of Automatic Search in Large Scale Digital Collections”, chap. 8 in Digital Palaeography, Stewart Brookes, Malte Rehbein, and Peter Stokes, eds., Digital Research in the Arts and Humanities Series, Ashgate Publishing, Aldershot, UK. Unpublished.
  143. °Noga Levy, Lior Wolf, Nachum Dershowitz, and Peter A. Stokes, 2017, “Estimating the Distinctiveness of Graphemes and Allographs in Palaeographic Classification”, chap. 6 in Digital Palaeography, Stewart Brookes, Malte Rehbein, and Peter Stokes, eds., Digital Research in the Arts and Humanities Series, Ashgate Publishing, Aldershot, UK. Unpublished.
  144. +Nachum Dershowitz, Daniel Labenski, Adi Silberpfennig, Lior Wolf, and Yaron Tsur, November 2017, “Relating Articles Textually and Visually”, Proceedings of the 14th IAPR International Conference on Document Analysis and Recognition (ICDAR), Kyoto, Japan, pp. 275-281.
  145. +Lior Uzan, Nachum Dershowitz, and Lior Wolf, November 2017, “Qumran Letter Restoration by Rotation and Reflection Modified PixelCNN”, Proceedings of the 14th IAPR International Conference on Document Analysis and Recognition (ICDAR), Kyoto, Japan, pp. 23-29.
  146. +Francesco Banterle, Barak Itkin, Matteo Dellepiane, Lior Wolf, Marco Callieri, Nachum Dershowitz, and Roberto Scopigno, November 2017, “VASESKETCH: Automatic 3D Representation of Pottery from Paper Catalog Drawings”, Proceedings of the 14th IAPR International Conference on Document Analysis and Recognition (ICDAR), Kyoto, Japan, pp. 683-690.
  147. +Ido Kissos and Nachum Dershowitz, October 2017, “Image and Text Correction Using Language Models”, 1st International Workshop on Arabic Script Analysis and Recognition (ASAR 2017, April 2017), IEEE Xplore, Nancy, France, pp. 158-162.
  148. #Matteo Dellepiane, Barak Itkin, Francesco Banterle, Lior Wolf, Marco Callieri, Nachum Dershowitz, and Roberto Scopigno, August 2017, “Extracting Geometric Features and 3D Representations of Pottery from Paper Catalogues Drawings” (Abstract), Abstract Book of the 23rd Annual Meeting of the European Association of Archaeologists, Maastricht, The Netherlands.
  149. #Nachum Dershowitz (with Adiel Ben-Shalom, Adi Silberpfennig, Lior Wolf, and Yaacov Choueka), August 2017, “Querying Hebrew Texts via Word Spotting” (Abstract), World Congress of Jewish Studies, Jerusalem, Israel.
  150. *Udi Boker and Nachum Dershowitz, 2017, “Honest Computability and Complexity”, chap. 6 in Martin Davis on Computability, Computational Logic, and Mathematical Foundations, Eugenio Omodeo and Alberto Policriti, eds., Outstanding Contributions to Logic Series, vol. 10, Springer-Verlag, pp. 151-173.

    151. 2016

  151. *Nachum Dershowitz, December 2016, “Touchard's Drunkard”, Journal of Integer Sequences, vol. 20, art. 17.1.5.
  152. Nachum Dershowitz, December 2016, “Touchard's Drunkard”, informal arXiv publication, arXiv:1612.04076 [cs.DM].
  153. #Nachum Dershowitz, October 2016, “Boris (Boaz) Trakhtenbrot 1921–2016”, Bulletin of the European Association of Theoretical Computer Science, no. 120.
  154. Ioannis Pratikakis, Konstantinos Zagoris, Basilis Gatos, Joan Puigcerver, Alejandro H. Toselli, and Enrique Vidal, 2016, “ICFHR2016 Handwritten Keyword Spotting Competition (H-KWS 2016)”, Proceedings of the 15th International Conference on Frontiers in Handwriting Recognition (ICFHR), pp. 613-618, report on “Tel Aviv University (TAU), Israel – Track I.A, I.B (Adi Silberpfennig, Lior Wolf, Nachum Dershowitz)”, p. 616.
  155. Orna Almogi, Lena Dankin, Nachum Dershowitz, and Lior Wolf, 2016, “A Hackathon for Classical Tibetan”, informal arXiv publication, arXiv:1609.08389 [cs.CL].
  156. @Nachum Dershowitz, August 2016, “1700 Forests”, informal arXiv publication, arXiv:1608.08740 [cs.LO].
  157. *Itai Ben-Shalom, Noga Levy, Lior Wolf, Nachum Dershowitz, Adiel Ben-Shalom, Roni Shweka, Yaacov Choueka, Tamir Hazan, and Yaniv Bar, August 2016, “Active Congruency-Based Reranking”, Frontiers in Digital Humanities, vol. 3, no. 7.
  158. *Arnon Avron and Nachum Dershowitz, August-September 2016, “Cayley's Formula: A Page from The Book” (Note), American Mathematical Monthly (AMM), vol. 123, no. 7, pp. 699-700. (Copyright 2016 Mathematical Association of America; all rights reserved.)
  159. #Orna Almogi, Nachum Dershowitz, Dorji Wangchuk, and Lior Wolf, June 2016, “Computerized Tools for Tibetan Textual Studies: Challenges and Solutions” (Abstract), 14th Seminar of the International Association of Tibetan Studies, Bergen, Norway.
  160. +Olivier Bournez, Nachum Dershowitz, and Pierre Néron, June 2016, “Axiomatizing Analog Algorithms”, Computability in Europe 2016: Pursuit of the Universal (CiE), Paris, France, Lecture Notes in Computer Science, vol. 9709, Springer-Verlag, Switzerland, pp. 215-224. Best paper award.
  161. #Nachum Dershowitz, Jean-Pierre Jouannaud, and Jianqi Li, June 2016, “Well-Founded Path Orderings for Drags” (Abstract), Second Edition of the Workshop on Higher-Dimensional Rewriting and Applications (HDRA), Porto, Portugal, HAL archive 〈hal- 01330907〉.
  162. Nachum Dershowitz, June 2016, “Tripartite Unions”, informal arXiv publication, arXiv:1606.01148 [cs.LO].
  163. #Daniel Labenski, Elad Shaked, Orna Almogi, Lena Dankin, Nachum Dershowitz, and Lior Wolf, May 2016, “Intertextuality in Tibetan Texts” (Poster), Israeli Seminar on Computational Linguistics (ISCOL), Haifa, Israel.
  164. Olivier Bournez, Nachum Dershowitz, and Pierre Néron, May 2016, “Axiomatizing Analog Algorithms” (full version), informal arXiv publication, arXiv:1604.04295 [cs.LO].
  165. +Ido Kissos and Nachum Dershowitz, April 2016, “OCR Error Correction Using Character Segment Correction and Feature-Based Word Classification”, Proceedings of the 12th IAPR International Workshop on Document Analysis Systems (DAS 2016), Santorini, Greece, pp. 198-203.
  166. Ido Kissos and Nachum Dershowitz, April 2016, “OCR Error Correction Using Character Segment Correction and Feature-Based Word Classification”, informal arXiv publication, arXiv:1604.06225 [cs.LO].
  167. *Nachum Dershowitz and Evgenia Falkovich-Derzhavetz, March 2016, “On the Parallel Computation Thesis”, Logic Journal of the IGPL, vol. 24, no. 3, pp. 346-374.
  168. *Nachum Dershowitz and Gilles Dowek, February 2016, “Universality in Two Dimensions”, Journal of Logic and Computation, vol. 26, no. 1, pp. 143-167. Online July 2013. HAL archive 〈hal- 00919604〉.
  169. +Kfir Bar, Nachum Dershowitz, Lior Wolf, Yackov Lubarsky, and Yaacov Choueka, 2016, “Processing Judeo-Arabic Texts”, Revised Papers of the First International Conference on Arabic Computational Linguistics (ACLing 2015), Alexander Gelbukh and Khaled Shaalan, eds., IEEE Computer Society, Los Alamitos, CA, pp. 142-148.
  170. °Tal Hassner, Lior Wolf, Nachum Dershowitz, Gil Sadeh, and Daniel Stökl Ben-Ezra, 2016, “Dense Correspondences and Ancient Texts”, in Tal Hassner and Ce Liu, eds., Dense Image Correspondences for Computer Vision, Springer-Verlag, Switzerland, pp. 279-295.
  171. Nachum Dershowitz, February 2006, Sequence A114997, in Neil J. Sloane, et al., The On-Line Encyclopedia of Integer Sequences (OEIS).

    172. 2015

  172. Jonathan Kalechstain, Vadim Ryvchin, and Nachum Dershowitz, November 2015, “Using Hints to Speed Up SAT” (Poster), Haifa Verification Conference (HVC), Haifa, Israel.
  173. #Adiel Ben-Shalom, Yaacov Choueka, Nachum Dershowitz, and Lior Wolf, November 2015, “Querying the Cairo Genizah Images with Word-Spotting Algorithm” (Abstract), The Twelfth Annual Jerusalem Conference on the Digitisation of Cultural Heritage, Jerusalem, Israel.
  174. #Asaf Gayer, Adi Silberpfenning, Nachum Dershowitz, Daniel Stoekl Ben Ezra, and Jonathan Ben-Dov, September 2015, “A Re-edition of 'Cryptic A Rule of Congregation' (4Qpap cryptA Serekh Ha-Edah) from Qumran: Enhanced Algorithmic Methods to the Aid of Textual Studies” (Poster), Manusciences '15: Franco-German Summer School Manuscripts. From Fragments to Books -- From Identification to Interpretation, Chiemsee, Germany.
  175. +Jonathan Kalechstain, Vadim Ryvchin, and Nachum Dershowitz, September 2015, “Hints Revealed”, Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), Austin, Texas, Lecture Notes in Computer Science, vol. 9340, Springer-Verlag, Switzerland, pp. 71-87.
  176. ++Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, and Wolfram Schulte, eds., 2015, Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday, Lecture Notes in Computer Science, vol. 9300, Springer-Verlag, Switzerland.
  177. $Nachum Dershowitz, August 2015, Molad Seeker, online software.
  178. +Gil Sadeh, Lior Wolf, Tal Hassner, Nachum Dershowitz, and Daniel Stökl Ben-Ezra, August 2015, “Viral Transcription Alignment”, Proceedings of the 13th International Conference on Document Analysis and Recognition (ICDAR 2015), Nancy, France, pp. 711-715.
  179. +Adi Silberpfennig, Lior Wolf, Nachum Dershowitz, Seraogi Bhagesh, and Chaudhuri Bidyut, August 2015, “Improving OCR for an Under-Resourced Script Using Unsupervised Word-Spotting”, Proceedings of the 13th International Conference on Document Analysis and Recognition (ICDAR 2015), Nancy, France, pp. 706-710.
  180. Yoram Hirshfeld, 2015, לוגיקה למדעי המחשב (= Logic for Computer Science), two volumes (advisors: Nachum Dershowitz, Amiram Yehudai, Larry Manevitz, Yossi Kaufman), The Open University of Israel, Raanana, Israel. (In Hebrew.)
  181. *Nachum Dershowitz and Christian Rinderknecht, June 2015, “The Average Height of Catalan Trees by Counting Lattice Paths”, Mathematics Magazine, vol. 88, no. 3, pp. 187-195.
  182. *Nachum Dershowitz and Christian Rinderknecht, June 2015, “A Purely Combinatorial Derivation of the Average Height of Catalan Trees”, Mathematics Magazine, online supplement.
  183. Nachum Dershowitz and Christian Rinderknecht, 2015, “The Average Height of Catalan Trees by Counting Lattice Paths (Preprint)”, The On-Line Encyclopedia of Integer Sequences.
  184. +Nachum Dershowitz and Alexander Nadel, July 2015, “Is Bit-Vector Reasoning as Hard as NExpTime in Practice? (Extended Abstract)”, Proceedings of the 13th International Workshop on Satisfiability Modulo Theories (SMT), San Francisco, CA.
  185. *Idan Dershowitz, Moshe Koppel, Navot Akiva, and Nachum Dershowitz, June 2015, “Computerized Source Criticism of Biblical Texts”, Journal of Biblical Literature (JBL), vol. 134, no. 2, pp. 253-271.
  186. +Kfir Bar, Nachum Dershowitz, Lior Wolf, Yackov Lubarsky, and Yaacov Choueka, April 2015, “Processing Judeo-Arabic Texts”, Preliminary Proceedings of the Conference on Intelligent Text Processing and Computational Linguistics (CICLing), Cairo, Egypt.
  187. *Nachum Dershowitz and Evgenia Falkovich, April 2015, “Cellular Automata are Generic”, Electronic Proceedings Theoretical Computer Science (EPTCS), vol. 179, pp. 17-32. arXiv:1504.03013 [cs.LO].

    188. 2014

  188. #Nachum Dershowitz, December 2014, “Algorithmic Paleography” (Abstract), Tal Hassner, Robert Sablatnig, Dominique Stutzmann, and Ségolène Tar, eds., Digital Palaeography: New Machines and Old Texts (Dagstuhl Seminar 14302), Dagstuhl Reports, vol. 4, issue 7, Dagstuhl, Germany, p. 118.
  189. +Nachum Dershowitz, December 2014, “Computational Manuscriptology” (Extended Abstract), Proceedings of the Fifth International Conference on Digital Archives and Digital Humanities (DADH), Taipei, Taiwan, pp. 21-28.
  190. ++Nachum Dershowitz and Ephraim Nissan, eds., November 2014, Language, Culture, Computation: Computing – Theory and Technology, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I, Lecture Notes in Computer Science, vol. 8001, Springer-Verlag, Switzerland (part of three volume set).
  191. ++Nachum Dershowitz and Ephraim Nissan, eds., November 2014, Language, Culture, Computation: Computing of the Humanities, Law, and Narratives, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II, Lecture Notes in Computer Science, vol. 8002, Springer-Verlag, Switzerland (part of three volume set).
  192. ++Nachum Dershowitz and Ephraim Nissan, eds., November 2014, Language, Culture, Computation: Computational Linguistics and Linguistics, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III, Lecture Notes in Computer Science, vol. 8003, Springer-Verlag, Switzerland (part of three volume set).
  193. Nachum Dershowitz and Ephraim Nissan, November 2014, “Yaacov Choueka: A Profile (and List of Publications)”, Language, Culture, Computation: Computing – Theory and Technology, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I, Nachum Dershowitz and Ephraim Nissan, eds., Lecture Notes in Computer Science, vol. 8001, Springer-Verlag, Switzerland, pp. 19-36.
  194. °Kfir Bar, Yaacov Choueka, and Nachum Dershowitz, November 2014, “Matching Phrases for Arabic-to-English Example-Based Translation System”, Language, Culture, Computation: Computational Linguistics and Linguistics, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III, Nachum Dershowitz and Ephraim Nissan, eds., Lecture Notes in Computer Science, vol. 8003, Springer-Verlag, Switzerland, pp. 54-63.
  195. °Yaacov Choueka, Nachum Dershowitz, and Liad Tal, November 2014, “Matching with a Hierarchical Ontology”, Language, Culture, Computation: Computing – Theory and Technology, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I, Nachum Dershowitz and Ephraim Nissan, eds., Lecture Notes in Computer Science, vol. 8001, Springer-Verlag, Switzerland, pp. 395-398.
  196. °Nachum Dershowitz and Andrey Rosenberg, November 2014, “Arabic Character Recognition”, Language, Culture, Computation: Computing – Theory and Technology, Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I, Nachum Dershowitz and Ephraim Nissan, eds., Lecture Notes in Computer Science, vol. 8001, Springer-Verlag, Switzerland, pp. 584-613.
  197. +Kfir Bar and Nachum Dershowitz, October 2014, “The Tel Aviv University System for the Code-Switching Workshop Shared Task”, Proceedings of the First Workshop on Computational Approaches to Code-Switching, Thamar Solorio, Elizabeth Blair, Suraj Maharjan, Steve Bethard, Mona Diab, Mahmoud Gonheim, Abdelati Hawwari, Fahad AlGhamdi, Julia Hirshberg, Alison Chang, and Pascale Fung, eds., Conference on Empirical Methods on Natural Language Processing (EMNLP), Doha, Qatar, pp. 139-143. Top performer in the Spanish-English category.
  198. #Nachum Dershowitz, October 2014, “Computer Science in the Service of the Humanities” (Abstract), Abstract of the 11th Annual International Conference on the Digitization of Cultural Heritage, Jerusalem, Israel, p. 6.
  199. +Kfir Bar, Nachum Dershowitz, and Yaacov Choueka, September 2014, “Automatic Transliteration of Judeo-Arabic Texts into Arabic Script”, Israeli Seminar on Computational Linguistics (ISCOL), Haifa, Israel, pp. 2-4.
  200. +Alon Kovalchuk, Lior Wolf, and Nachum Dershowitz, September 2014, “A Simple and Fast Word Spotting Method”, Proceedings of the Fourteenth International Conference on Frontiers in Handwriting Recognition (ICFHR), Crete, Greece, pp. 3-8.
  201. +Nachum Dershowitz and Lior Wolf, July 2014, “From Caves to Cyberspace: AI Aids in the Study of the Dead Sea Scrolls” (Abstract), Xth Congress of the European Association of Jewish Studies (EAJS), Paris, France.
  202. +Nachum Dershowitz, July 2014, “Another Proof for the Recursive Path Ordering”, Informal Proceedings of the 14th International Workshop on Termination (WST 2014), Carsten Fuhs, ed., Vienna, Austria, pp. 21-25.
  203. +Nachum Dershowitz and Evgenia Falkovich, July 2014, “Cellular Automata are Generic”, Proceedings of the Tenth International Workshop on Developments in Computational Models (DCM 2014), Ugo Dal Lago and Russ Harmer, eds., Vienna, Austria.
  204. +Jiaxiang Liu, Nachum Dershowitz, and Jean-Pierre Jouannaud, July 2014, “Confluence by Critical Pair Analysis”, Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA), Gilles Dowek, ed., Vienna, Austria, Lecture Notes in Computer Science, vol. 8560, Springer-Verlag, Switzerland, pp. 287-302.
  205. #Benjamin Klein, Nachum Dershowitz, Lior Wolf, Orna Almogi, and Dorji Wangchuk, July 2014, “Finding Inexact Quotations Within a Tibetan Buddhist Corpus”, Digital Humanities (DH) 2014, Lausanne, Switzerland, pp. 486-488.
  206. #Idan Dershowitz, Nachum Dershowitz, Tomer Hasid, and Amnon Ta-Shma, July 2014, “Orthography and Biblical Criticism”, Digital Humanities (DH) 2014, Lausanne, Switzerland, pp. 451-453.
  207. +Adiel Ben-Shalom, Yaacov Choueka, Nachum Dershowitz, Roni Shweka, and Lior Wolf, July 2014, “Where is My Other Half?”, Digital Humanities (DH) 2014, Lausanne, Switzerland, pp. 89-91.
  208. *Lior Wolf, Yair Hanani, Kfir Bar, and Nachum Dershowitz, June 2014, “Joint word2vec Networks for Bilingual Semantic Representations”, International Journal of Computational Linguistics and Applications (IJCLA), vol. 5, no. 1 (January-June), pp. 27-44.
  209. +Nachum Dershowitz and Evgenia Falkovich, June 2014, “Generic Parallel Algorithms”, Proceedings of Computability in Europe 2014: Language, Life, Limits (CiE), Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer, eds., Budapest, Hungary, Lecture Notes in Computer Science, vol. 8493, Springer-Verlag, Switzerland, pp. 133-142.
  210. +Itai Ben Shalom, Noga Levy, Lior Wolf, Nachum Dershowitz, Adiel Ben Shalom, Roni Shweka, Yaacov Choueka, Tamir Hazan, and Yaniv Bar, June 2014, “Congruency-Based Reranking”, Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Columbus, OH, pp. 2107-2114.
  211. +Kfir Bar and Nachum Dershowitz, April 2014, “Inferring Paraphrases for a Highly Inflected Language from a Monolingual Corpus”, Proceedings of the Conference on Intelligent Text Processing and Computational Linguistics (CICLing), Part 2, A. Gelbukh, ed., Kathmandu, Nepal, Lecture Notes in Computer Science, vol. 8404, Springer-Verlag, Heidelberg, pp. 254-270.
  212. Lior Wolf, Yair Hanani, Kfir Bar, and Nachum Dershowitz, April 2014, “Joint word2vec Networks for Bilingual Semantic Representations” (Poster), Conference on Intelligent Text Processing and Computational Linguistics (CICLing), Kathmandu, Nepal.

    213. 2013

  213. +Nachum Dershowitz, September 2013, “Res Publica: The Universal Model of Computation”, Proceedings of the 22nd EACSL Conference on Computer Science Logic (CSL), Torino, Italy, pp. 5-10.
  214. Nachum Dershowitz, August 2013, “Dependency Pairs are a Simple Semantic Path Ordering”, Informal Proceedings of the 13th International Workshop on Termination (WST 2013), Bertinoro, Italy, pp. 35-40.
  215. Nachum Dershowitz, August 2013, “Ordinal Path Orderings”, Informal Proceedings of the 13th International Workshop on Termination (WST 2013), Bertinoro, Italy, pp. 31-35.
  216. +Tal Hassner, Lior Wolf, and Nachum Dershowitz, August 2013, “OCR-Free Transcript Alignment”, Proceedings of the 12th International Conference on Document Analysis and Recognition (ICDAR 2013), Washington, DC, pp. 1310-1314.
  217. +Yoram Zarai, Tamar Lavee, Nachum Dershowitz, and Lior Wolf, August 2013, “Integrating Copies Obtained from Old and New Preservation Efforts”, Proceedings of the 12th International Conference on Document Analysis and Recognition (ICDAR 2013), Washington, DC, pp. 47-51.
  218. #Nachum Dershowitz and Lior Wolf, July 2013, “Automatic Scribal Analysis of Tibetan Writings” (Abstract), Abstracts of the 13th Seminar of the International Association of Tibetan Studies, Ulaanbaatar, Mongolia, p. 107.
  219. Kfir Bar and Nachum Dershowitz, June 2013, “Deriving Paraphrases for Highly-Inflected Languages from Comparable Documents” (Abstract), Bar-Ilan Symposium on Artificial Intelligence, Ramat-Gan, Israel.
  220. #Gitit Kehat and Nachum Dershowitz, June 2013, “Statistical Transliteration of Judeo-Arabic Text” (Poster), Israeli Seminar on Computational Linguistics (ISCOL), Beersheba, Israel.
  221. #Tomer Hasid, Amnon Ta-Shma, Idan Dershowitz, and Nachum Dershowitz, June 2013, “Statistical Analysis of Orthographic Variation” (Poster), Israeli Seminar on Computational Linguistics (ISCOL), Beersheba, Israel.
  222. $Arthur Brongniart, Gilles Dowek, and Nachum Dershowitz, 2013, “Turing-2D (Simulation d'une machine de Turing 2D)”, online software.
  223. #Nachum Dershowitz and Tsevi Mazeh, April 2013, “ברכת עושה מעשה בראשית על מאורעות אסטרונמים” (= The Blessing Oseh Bereishit for Astronomical Events) (Abstract; in Hebrew), Abstracts of the 20th Annual Conference on Torah U'madda, Jerusalem, Israel.
  224. °Maria Paola Bonacina and Nachum Dershowitz, March 2013, “Canonical Ground Horn Theories”, Programming Logics: Essays in Memory of Harald Ganzinger, Andreas Podelski, Andrei Voronkov, and Reinhard Wilhelm, eds., Lecture Notes in Computer Science, vol. 7797, Springer-Verlag, Berlin, pp. 35-71.
  225. *Roni Shweka, Yaacov Choueka, Lior Wolf, and Nachum Dershowitz, February 2013, “Automatic Extraction of Catalog Data from Digital Images of Historical Manuscripts”, Literary and Linguistic Computing, vol. 28, no. 2, pp. 315-330.
  226. Nachum Dershowitz, Matthieu Exbrayat, Eyal Ofek, Micalis Panagopoulos, and Ségolène Tarte, February 2013, “Tools”, in Computation and Palaeography: Potentials and Limits (Dagstuhl Perspectives Workshop 12382), Tal Hassner, Malte Rehbein, Peter A. Stokes, and Lior Wolf, eds., Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, p. 193.
  227. °Nachum Dershowitz and Edward M. Reingold, 2013, “Jewish Dating Pitfalls and Resources”, Selected Lectures on Genealogy: An Introduction to Scientific Tools, H. Daniel Wagner, ed., ISBN 978-965-281-004-5, printed at the Weizmann Institute of Science, Rehovot, Israel, pp. 21-38.
  228. °Nachum Dershowitz and Evgenia Falkovich, 2013, “Effectiveness”, A Computable Universe; Understanding Computation & Exploring Nature As Computation, Hector Zenil, ed., World Scientific/Imperial College Press, Singapore, pp. 77-97.

    229. 2012

  229. +Kfir Bar and Nachum Dershowitz, December 2012, “Deriving Paraphrases for Highly-Inflected Languages from Comparable Documents”, Proceedings of the 24th International Conference on Computational Linguistics (COLING), Mumbai, India, pp. 185-200.
  230. *Nachum Dershowitz, December 2012, “Jumping and Escaping: Modular Termination and the Abstract Path Ordering”, Theoretical Computer Science, Special issue: New Directions in Rewriting (Honoring the 60th Birthday of Yoshihito Toyama), vol. 464, pp. 35-47.
  231. Edward M. Reingold and Nachum Dershowitz, October 2012, “Calendars”, McGraw-Hill Encyclopedia of Science & Technology, 11th ed.
  232. °Kfir Bar and Nachum Dershowitz, September 2012, “Semantics for Example-Based Arabic Machine Translation”, Challenges for Arabic Machine Translation, Abdelhadi Soudi, Stephan Vogel, Guenter Neumann, and Ali Farghaly, eds., Natural Language Processing Series, John Benjamins, Amsterdam, pp. 49-72.
  233. *Nachum Dershowitz and Edward M. Reingold, September 2012, “Modulo Intervals: A Proposed Notation”, ACM SIGACT News, vol. 43, no. 3, pp. 60-64.
  234. Noga Levy, Lior Wolf, Nachum Dershowitz, and Peter Stokes, July 2012, “Estimating the Distinctiveness of Graphemes and Allographs in Palaeographic Classification”, Proceedings of Digital Humanities (DH 2012), Hamburg, Germany, Hamburg University Press, pp. 264-267.
  235. *Nachum Dershowitz and Evgenia Falkovich, July 2012, “Honest Universality”, S. Abramsky, ed., Special issue of the Philosophical Transactions of the Royal Society A, vol. 370, no. 1971, pp. 3340-3348. 
  236. ++Nachum Dershowitz, ed., June 2012, Proceedings of the ACM/IEEE Symposium on Logic in Computer Science (LICS), Dubrovnik, Croatia.
  237. ++Andrzej Bulatov, Nachum Dershowitz, and Olivier Laurent, eds., June 2012, Short Papers of the ACM/IEEE Symposium on Logic in Computer Science (LICS), Dubrovnik, Croatia.
  238. #Maria Paola Bonacina and Nachum Dershowitz, June 2012, “Abstract Canonical Inference: On Fairness in Theorem Proving” (Abstract), SVARM / VERIFY Workshop (Synthesis, Verification and Analysis of Rich Models), Manchester, UK.
  239. +Olivier Bournez, Nachum Dershowitz, and Evgenia Falkovich, May 2012, “Towards an Axiomatization of Simple Analog Algorithms”, Proceedings of the Conference on the Theory and Applications of Models of Computation (TAMC), Manindra Agrawal, S. Barry Cooper, and Angsheng Li, eds., Beijing, China, Lecture Notes in Computer Science, vol. 7287, pp. 525-536.
  240. +Nachum Dershowitz and Alex Zhicharevich, April 2012, “Language Classification and Segmentation of Noisy Documents in Hebrew Scripts”, LaTeCH 2012: EACL 2012 workshop on: Language Technology for Cultural Heritage, Social Sciences, and Humanities, Avignon, France.

    241. 2011

  241. °Nachum Dershowitz and Edward M. Reingold, 2011, “Indian Calendrical Calculations”, Ancient Indian Leaps into Mathematics, B. S. Yadav and Man Mohan, eds., Birkhäuser, Boston, pp. 1-32.
  242. °Lior Wolf, Nachum Dershowitz, Liza Potikha, Tanya German, Roni Shweka, and Yaacov Choueka, 2011, “Automatic Paleographic Exploration of Genizah Manuscripts”, in Kodikologie und Paläographie im Digitalen Zeitalter 2 - Codicology and Palaeography in the Digital Age 2, Franz Fischer, Christiane Fritze, and Georg Vogeler, eds., with Bernhard Assmann, Malte Rehbein, and Patrick Sahle, Schriften des Instituts für Dokumentologie und Editorik, vol. 3, Books on Demand, Norderstedt, Germany, pp. 157-179.
  243. +Lior Wolf, Lior Litwak, Nachum Dershowitz, Roni Shweka, and Yaacov Choueka, November 2011, “Active Clustering of Document Fragments using Information Derived from Both Images and Catalogs”, International Conference on Computer Vision (ICCV), Dimitris N. Metaxas, Long Quan, Alberto Sanfeliu, and Luc J. Van Gool, eds., Barcelona, Spain, pp. 1661-1667.
  244. +Lior Wolf, Liza Potikha, Nachum Dershowitz, Roni Shweka, and Yaacov Choueka, September 2011, “Computerized Paleography: Tools for Historical Manuscripts”, Proceedings of the 18th IEEE International Conference on Image Processing (ICIP 2011), Benoït Macq and Peter Schelkens, eds., Brussels, Belgium, pp. 3545-3548.
  245. *Lior Wolf, Rotem Littman, Naama Mayer, Tanya German, Nachum Dershowitz, Roni Shweka, and Yaacov Choueka, August 2011, “Identifying Join Candidates in the Cairo Genizah”, International Journal of Computer Vision, vol. 94, no. 1, pp. 118-135. Online October 2010.
  246. +Nachum Dershowitz, July 2011, “The Generic Model of Computation”, Proceedings of the Seventh International Workshop on Developments in Computational Models (DCM 2011), Elham Kashefi, Jean Krivine, and Femke van Raamsdonk, eds., Zurich, Switzerland, Electronic Proceedings Theoretical Computer Science (EPTCS), vol. 88, pp. 59-71. Published July 2012.
  247. Nachum Dershowitz, July 2011, “The Generic Model of Computation”, informal arXiv publication, arXiv:1208.2585 [cs.LO].
  248. Nachum Dershowitz and Evgenia Falkovich, July 2011, “A Formalization and Proof of the Extended Church-Turing Thesis (Extended Abstract)”, Proceedings of the Seventh International Workshop on Developments in Computational Models (DCM 2011), Elham Kashefi, Jean Krivine, and Femke van Raamsdonk, eds., Zurich, Switzerland, Electronic Proceedings Theoretical Computer Science (EPTCS), vol. 88, pp. 72-78. Published July 2012. Archived at arXiv:1207.7148 [cs.LO].
  249. Lior Wolf and Nachum Dershowitz, July 2011, “Identifying Join Candidates in the Cairo Genizah” (Abstract), ESF Workshop on Digital Palaeography, Würzburg, Germany.
  250. Nachum Dershowitz, July 2011, “What is an Effective Algorithm?” (Abstract), 14th Congress of Logic, Methodology and Philosophy of Science (CLMPS), Nancy, France.
  251. Nachum Dershowitz and Evgenia Falkovich, June 2011, “A Formalization and Proof of the Extended Church-Turing Thesis” (Extended Abstract), Studia Logica Conference on Trends in Logic, IX: Church Thesis: Logic, Mind and Nature, Krakow, Poland.
  252. #Alex Zhicharevich and Nachum Dershowitz, June 2011, “Matching Poorly Recognized Texts to a Corpus” (Poster), Israeli Seminar on Computational Linguistics (ISCOL), Bar-Ilan University.
  253. Roni Shweka, Yaacov Choueka, Lior Wolf, Nachum Dershowitz, and Masha Zeldin, June 2011, “Automatic Extraction of Catalog Data from Genizah Fragments' Images” (Extended Abstract), Conference Abstracts Digital Humanities (DH 2011), Palo Alto, CA, pp. 224-225.
  254. +Andrey Stolyarenko and Nachum Dershowitz, June 2011, “OCR for Arabic using SIFT Descriptors With On-Line Failure Prediction”, Israeli Seminar on Computational Linguistics (ISCOL), Bar-Ilan University.
  255. +Moshe Koppel, Navot Akiva, Idan Dershowitz, and Nachum Dershowitz, June 2011, “Unsupervised Decomposition of a Document into Authorial Components”, Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies (ACL-HLT), Portland, OR, 1356-1364. 
  256. *Aharon Shweka, Yaacov Choueka, Lior Wolf, and Nachum Dershowitz, 2011, “ ׳וקרב אותם אחד אל אחד׳: זיהוי כתיבות יד וצירוף קטעי גניזה באמצעות מחשב (= Identifying Handwriting and Joining Genizah Fragments by Computer)”, Ginzei Kedem, vol. 7, pp. 171-207. (In Hebrew.)
  257. ++José Félix Costa and Nachum Dershowitz, eds., 2011, Special Issue on Unconventional Computation, Natural Computing, vol. 10, pp. 1215-1217. Available online 13 January 2011.
  258. #Kfir Bar and Nachum Dershowitz, January 2011, “Using Verb Paraphrases for Arabic-to-English Example-Based Translation” (Extended Abstract), Workshop on Machine Translation and Morphologically-rich Languages, Haifa, Israel.
  259. #Nachum Dershowitz, January 2011, “Using Semantics in Translation” (Abstract), Workshop on Machine Translation and Morphologically-Rich Languages, Haifa, Israel.

    260. 2010

  260. +Kfir Bar and Nachum Dershowitz, December 2010, “Tel Aviv University's System Description for IWSLT 2010”, Proceedings of the 7th International Workshop on Spoken Language Translation (IWSLT 2010), Paris, France, ISCA Archive, pp. 169-174.
  261. +Kfir Bar and Nachum Dershowitz, October 2010, “Using Synonyms for Arabic-to-English Example-Based Translation”, The Ninth Biennial Conference of the Association for Machine Translation in the Americas, Denver, CO.
  262. +Olivier Bournez and Nachum Dershowitz, September 2010, “Foundations of Analog Algorithms”, Proceedings of the Third International Workshop on Physics and Computation (P&C), Nile River, Egypt, pp. 85-94.
  263. ++Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, eds., August 2010, Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, Lecture Notes in Computer Science, vol. 6300, Springer-Verlag, Berlin (627+xxv pages).
  264. +Udi Boker and Nachum Dershowitz, August 2010, “Three Paths to Effectiveness”, Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, eds., Lecture Notes in Computer Science, vol. 6300, Springer-Verlag, Berlin, pp. 135-146.
  265. Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, August 2010, “Yuri, Logic, and Computer Science”, Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, eds., Lecture Notes in Computer Science, vol. 6300, Springer-Verlag, Berlin, pp. 1-48.
  266. +Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, August 2010, “Exact Exploration and Hanging Algorithms”, Proceedings of the 24th International Workshop on Computer Science Logic (CSL 2010), Anuj Dawar and Helmut Veith, eds., Brno, Czech Republic, Lecture Notes in Computer Science, vol. 6247, Springer-Verlag, Berlin, pp. 140-154.
  267. Nachum Dershowitz, July 2010, “An Abstract Path Ordering”, Eleventh International Workshop on Termination (WST), Edinburgh, Scotland.
  268. Kfir Bar and Nachum Dershowitz, June 2010, “Using Synonyms for Arabic-to-English Example-Based Translation” (Abstract), Abstracts of the Israeli Seminar on Computational Linguistics (ISCOL), Tel Aviv University, Israel, pp. 28-29.
  269. °°Nachum Dershowitz, Shalom Lappin, and Shuly Wintner, eds., June 2010, Abstracts of the Israeli Seminar on Computational Linguistics (ISCOL), Tel Aviv University, Israel.
  270. *Nachum Dershowitz and Iddo Tzameret, May 2010, “Complexity of Propositional Proofs under a Promise”, ACM Transactions on Computational Logic, vol. 11, no. 3, article 18 (29 pp.).

    271. 2009

  271. Lior Wolf, Rotem Littman, Naama Mayer, Nachum Dershowitz, Roni Shweka, and Yaacov Choueka, December 2009, “Automatically Identifying Join Candidates in the Cairo Genizah” (Abstract), Israel Computer Vision Day, Herzliya, Israel.
  272. *Udi Boker and Nachum Dershowitz, October 2009, “The Influence of the Domain Interpretation on Computational Models”, Applied Mathematics and Computation, vol. 215, no. 4, pp. 1323-1339.
  273. +Lior Wolf, Rotem Littman, Naama Mayer, Nachum Dershowitz, Roni Shweka, and Yaacov Choueka, October 2009, “Automatically Identifying Join Candidates in the Cairo Genizah” (Extended Abstract), IEEE Workshop on eHeritage and Digital Art Preservation (IEEE 12th International Conference on Computer Vision (ICCV), Kyoto, Japan, pp. 978-979. Best paper award.
  274. ++Christian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, and Grzegorz Rozenberg, eds., September 2009, Proceedings of the Eighth International Conference on Unconventional Computation (UC 2009; Ponta Delgada, Portugal; September 2009), Lecture Notes in Computer Science, vol. 5715, Springer-Verlag, Berlin.
  275. Udi Boker and Nachum Dershowitz, September 2009, “Three Paths to Effectiveness”, Preproceedings of HyperNet09: The UC2009 Hypercomputation Workshop, Ponta Delgada, Portugal, pp. 23-28.
  276. Kfir Bar, Nachum Dershowitz, August 2009, “NIST Open Machine Translation 2009 Evaluation: Tel Aviv University's System Description”, National Institute of Standards and Technology (NIST) Open MT Evaluation Workshop, Ottawa, Ontario, Canada.
  277. Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, July 2009, “Exact Exploration”, TechReport MSR-TR-2009-99, Microsoft Research, Redmond, WA.
  278. *Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, June 2009, “When are Two Algorithms the Same?”, Bulletin of Symbolic Logic, vol. 15, no. 2, pp. 145-168. 
  279. °Nachum Dershowitz, May 2009, “On Lazy Commutation”, Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday, Orna Grumberg, Michael Kaminski, Shmuel Katz, and Shuly Wintner, eds., Lecture Notes in Computer Science, vol. 5533, Springer-Verlag, Berlin, pp. 59-82.
  280. *Nachum Dershowitz and Shmuel Zaks, January 2009, “More Patterns in Trees: Up and Down, Young and Old, Odd and Even”, SIAM J. on Discrete Mathematics, vol. 23, no. 1, pp. 447-465. 

    281. 2008

  281. Nachum Dershowitz and Edward M. Reingold, 2007, Calendrical Calculations, third edition, Cambridge University Press (477+xxxi pages). Published online February 2014.
  282. ++Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich, eds., 2008, Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Lecture Notes in Computer Science, vol. 4800, Springer-Verlag, Berlin (682+xxi pages). 
  283. +Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich, 2008, “Boris A. Trakhtenbrot: Genealogy and Publications”, Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich, eds., Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Lecture Notes in Computer Science, vol. 4800, Springer-Verlag, Berlin, pp. 46-57.
  284. Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, November 2008, “When are Two Algorithms the Same?”, informal arXiv publication, arXiv:0811.0811v1 [cs.GL].
  285. +Udi Boker and Nachum Dershowitz, 2008, “The Church-Turing Thesis over Arbitrary Domains”, Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich, eds., Lecture Notes in Computer Science, vol. 4800, Springer-Verlag, Berlin, pp. 199-229.
  286. *Nachum Dershowitz and Yuri Gurevich, September 2008, “A Natural Axiomatization of Computability and Proof of Church's Thesis”, Bulletin of Symbolic Logic, vol. 14, no. 3, pp. 299-350.
  287. #Nachum Dershowitz, September 2008, “An Axiomatic Approach to Hyper-Computation” (Abstract), Abstracts of Graph Theory, Computational Intelligence and Thought: A Conference Celebrating Martin Charles Golumbic's 60th Birthday, Tiberias, Israel.
  288. +Nachum Dershowitz, August 2008, “Canonicity!”, Proceedings of the Fourth International Joint Conference on Automated Reasoning (IJCAR), Sydney, Australia, Lecture Notes in Computer Science, A. Armando, P. Baumgartner, and G. Dowek, eds., Springer-Verlag, Berlin, pp. 327-331.
  289. +Maria Paola Bonacina and Nachum Dershowitz, August 2008, “Canonical Inference for Implicational Systems”, Proceedings of the Fourth International Joint Conference on Automated Reasoning (IJCAR), Sydney, Australia. Lecture Notes in Computer Science, A. Armando, P. Baumgartner, and G. Dowek, eds., Springer-Verlag, Berlin, pp. 380-395.
  290. Nachum Dershowitz, August 2008, “Bit Inference”, Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, pp. 26-35.
  291. +Udi Boker and Nachum Dershowitz, August 2008, “The Influence of the Domain Interpretation on Computational Models”, International Workshop on Physics and Computation, Vienna, Austria, Centre for Discrete Mathematics and Theoretical Computer Science, Report CDMTCS-327, pp. 49-68.
  292. +Nachum Dershowitz and Claude Kirchner, July 2008, “SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets”, Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, Pierpaolo Degano, Rocco De Nicola, and José Meseguer, eds., Lecture Notes in Computer Science, vol. 5065, Springer-Verlag, Berlin, pp. 194-208.
  293. Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, February 2008, “When are Two Algorithms the Same?”, TechReport MSR-TR-2008-20, Microsoft Research, Redmond, WA.
  294. Nachum Dershowitz and Alexander Nadel, 2008, “From Total Assignment Enumeration to a Modern SAT Solver”, informal arXiv publication, arXiv:1110.5867v1 [cs.LO].

    295. 2007

  295. Maria Paola Bonacina and Nachum Dershowitz, October 2007, “Canonical Ground Horn Theories”, Research Report 49/2007, Dipartimento di Informatica, Università degli Studi di Verona.
  296. ++Nachum Dershowitz and Andrei Voronkov, eds., October 2007, Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-07); Yerevan, Armenia, Lecture Notes in Computer Science, vol. 4790, Springer-Verlag, Berlin (562+xiii pages).
  297. °°Nachum Dershowitz and Andrei Voronkov, eds., October 2007, Short Papers of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-07), Yerevan, Armenia.
  298. Jacob Katz, Ziyad Hanna, and Nachum Dershowitz, October 2007, “Space-Efficient Bounded Model Checking”, informal arXiv publication, http://arxiv.org/abs/0710.4629.
  299. Nachum Dershowitz and Iddo Tzameret, July 2007, “Complexity of Propositional Proofs under a Promise”, informal arXiv publication, arXiv:0707.4255v1 [cs.CC].
  300. +Nachum Dershowitz and Iddo Tzameret, July 2007, “Complexity of Propositional Proofs under a Promise”, Proceedings of the Thirty-Fourth International Colloquium on Automata, Languages and Programming (ICALP), Wroclaw, Poland, L. Arge, C. Cachin, T. Jurdzi'nski, and A. Tarlecki, eds., Lecture Notes in Computer Science, vol. 4596, Springer-Verlag, Berlin, pp. 291-302.
  301. Nachum Dershowitz and Yuri Gurevich, July 2007, “A Natural Axiomatization of Church's Thesis”, TechReport MSR-TR-2007-85, Microsoft Research, Redmond, WA.
  302. +Nachum Dershowitz and Georg Moser, “The Hydra Battle Revisited”, June 2007, Rewriting, Computation and Proof – Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday, Lecture Notes in Computer Science, vol. 4600, Springer-Verlag, Berlin, pp. 1-27. Version with corrections here.
  303. Nachum Dershowitz and Shmuel Zaks, May 2007, “More Patterns in Trees: Up and Down, Young and Old, Odd and Even” (Abstract), 1st Canadian Discrete and Algorithmic Mathematics Conference (CanaDAM), Banff, Alberta, Canada.
  304. +Nachum Dershowitz, Ziyad Hanna, and Alexander Nadel, May 2007, “Towards a Better Understanding of a Conflict-Driven SAT Solver”, Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007), Lisbon, Portugal, João Marques-Silva and Karem A. Sakallah, eds., Lecture Notes in Computer Science, vol. 4501, Springer-Verlag, Berlin, pp. 287-293. 
  305. *Nachum Dershowitz and E. Castedo Ellerman, April 2007, “Leanest Quasi-Orderings”, Information and Computation, vol. 205, no. 4, pp. 535-556; available online 23 January 2007. 
  306. +Kfir Bar, Nachum Dershowitz, and Yaacov Choueka, April 2007, “Example-Based Arabic-to-English Translation” (Extended Abstract), Proceedings of a Workshop on Arabic Natural Language Processing, Fez, Morocco, pp. 325/1-4.
  307. *Maria Paola Bonacina and Nachum Dershowitz, January 2007, “Abstract Canonical Inference”, ACM Transactions on Computational Logic vol. 8, no. 1, article 6.

    308. 2006

  308. +Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, and Daher Kaiss, November 2006, “Boolean Rings for Intersection-Based Satisfiability”, 13th International Conference on Logic for Programming and Artificial Intelligence and Reasoning (LPAR), Phnom Penh, Cambodia, Miki Hermann and Andrei Voronkov, eds., Lecture Notes in Computer Science, vol. 4246, Springer-Verlag, Berlin, pp. 482-496.
  309. @Nachum Dershowitz, Guan-Shieng Huang, and Mitchell A. Harris, October 2006, “Enumeration Problems Related to Ground Horn Theories”, informal arXiv publication, arXiv:cs/0610054v2 [cs.LO].
  310. ++Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich, eds., October 2006, Special Issue: Logics and Models of Computation: An International Logic and Computer Science Semester at Tel Aviv”, Logic Journal of the IGPL, vol. 14, no. 5.
  311. Oren Hod, Assaf Roth, Tal Rubenczyk, Nachum Dershowitz, Erez Lotan, Liad Tal, and Yael Villa, October 2006, “Learning Spelling Corrections from Query Logs”. Abandoned provisional patent application, #178668, Israel.
  312. *Udi Boker and Nachum Dershowitz, October 2006, “Comparing Computational Power”, Logic Journal of the IGPL, vol. 14, no. 5, pp. 633-648. 
  313. +Nachum Dershowitz, Ziyad Hanna, and Alexander Nadel, August 2006, “A Scalable Algorithm for Minimal Unsatisfiable Core Extraction”, Proceedings of the 9th International Conference Theory and Applications of Satisfiability Testing (SAT 2006), Seattle, WA, Armin Biere and Carla P. Gomes, eds., Lecture Notes in Computer Science, volume 4121, Springer-Verlag, Berlin, pp. 36-41. 
  314. *Udi Boker and Nachum Dershowitz, July 2006, “A Hypercomputational Alien”, J. of Applied Mathematics & Computation, vol. 178, no. 1, pp. 44-57; available online 9 November 2005. 
  315. *Nachum Dershowitz and Claude Kirchner, July 2006, “Abstract Canonical Presentations”, Theoretical Computer Science, vol. 357, nos. 1-3, pp. 53-69. 
  316. Kfir Bar, Nachum Dershowitz, and Yaacov Choueka, June 2006, “Example-Based Arabic-English Machine Translation” (Abstract), Israeli Seminar in Computational Linguistics, Haifa.
  317. Nachum Dershowitz, “Maimonidean Calendrical Astronomy” (Abstract), Unpublished.
  318. Nachum Dershowitz, Ziyad Hanna, and Alexander Nadel, May 2006, “A Scalable Algorithm for Minimal Unsatisfiable Core Extraction”, informal arXiv publication, arXiv:cs/0605085v1 [cs.LO].
  319. Nachum Dershowitz and Claude Kirchner, May 2006, “Dispositif et procédé de résolution de contraintes (Equation-Solving Method and Device)”. Abandoned patent application.
  320. +Udi Boker and Nachum Dershowitz, February 2006, “Abstract Effective Models”, New Developments in Computational Models: Proceedings of the First International Workshop on Developments in Computational Models (DCM 2005) (Lisbon, Portugal, July 2005), M. Fernández and I. Mackie, eds., Electronic Notes in Theoretical Computer Science, vol. 135, no. 3, pp. 15-23. 

    321. 2005

  321. °Nachum Dershowitz, December 2005, “Primitive Rewriting”, A. Middeldorp, V. van Oostrom, F. van Raamsdonk, and R. de Vrijer, eds., Processes, Terms and Cycles: Steps on the Road to Infinity. Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday, Lecture Notes in Computer Science, vol. 3838, Springer-Verlag, Berlin, pp. 127-147.
  322. +Nachum Dershowitz, December 2005, “The Four Sons of Penrose”, Proceedings of the Eleventh Conference on Logic Programming for Artificial Intelligence and Reasoning (LPAR), Jamaica, G. Sutcliffe and A. Voronkov, eds., Lecture Notes in Computer Science, vol. 3835, Springer-Verlag, Berlin, pp. 125-138. 
  323. Nachum Dershowitz, November 2005, “Entropic Questioning”. Unpublished draft.
  324. Udi Boker and Nachum Dershowitz, October 2005, “Comparing Computational Power”, informal arXiv publication, arXiv:cs/0510069v1 [cs.LO].
  325. Udi Boker and Nachum Dershowitz, July 2005, “Abstract Effective Models”, Preliminary Proceedings of New Developments in Computational Models: International Workshop on Developments in Computational Models (DCM 2005), M. Fernández and I. Mackie, eds., Lisbon, Portugal, pp. 114-123.
  326. Nachum Dershowitz, E. Castedo Ellerman, and Edward M. Reingold, July 2005, “Well-Quasi-Orderings on Binary Trees”. Unpublished draft.
  327. Udi Boker and Nachum Dershowitz, June 2005, “How to Compare the Power of Computational Models”, Computability in Europe 2005: New Computational Paradigms (Amsterdam), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet, eds., Lecture Notes in Computer Science, vol. 3526, Springer-Verlag, Berlin, pp. 54-64. 
  328. +Nachum Dershowitz, Ziyad Hanna, and Alexander Nadel, June 2005, “A Clause-Based Heuristic for SAT Solvers”, F. Bacchus and T. Walsch, eds., Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT 2005), St. Andrews, Scotland, Lecture Notes in Computer Science, vol. 3569, Springer-Verlag, Berlin, pp. 46-60. 
  329. +Nachum Dershowitz, Ziyad Hanna, and Jacob Katz, June 2005, “Bounded Model Checking with QBF”, F. Bacchus and T. Walsch, eds., Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT 2005; St. Andrews, Scotland), Lecture Notes in Computer Science, vol. 3569, Springer-Verlag, Berlin, pp. 408-414.
  330. Nachum Dershowitz and Iddo Tzameret, June 2005, “A Gap Tree Theorem for Quasi-ordered Labels”. Unpublished draft.
  331. +Nachum Dershowitz, May 2005, “Term Rewriting Systems by ‘Terese’ (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.): Book review”, Theory and Practice of Logic Programming, vol. 5, no. 3, pp. 391-395. 
  332. Nachum Dershowitz and E. Castedo Ellerman, April 2005, “Leanest Quasi-Orderings (Preliminary version)”, Proceedings of the Sixteenth International Conference on Rewriting Techniques and Applications (Nara, Japan), J. Giesl, ed., Lecture Notes in Computer Science, vol. 3467, Springer-Verlag, Berlin, pp. 32-45. 
  333. +Nachum Dershowitz, April 2005, “Open. Closed. Open.”, Proceedings of the Sixteenth International Conference on Rewriting Techniques and Applications (Nara, Japan), J. Giesl, ed., Lecture Notes in Computer Science, vol. 3467, Springer-Verlag, Berlin, pp. 376-393. 
  334. +Yulik Feldman, Nachum Dershowitz, and Ziyad Hanna, April 2005, “Parallel Multithreaded Satisfiability Solver: Design and Implementation”, Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2004), September 2004, London, UK; Electronic Notes in Theoretical Computer Science, vol. 128, no. 3, pp. 75-90. 
  335. +Jacob Katz, Ziyad Hanna, and Nachum Dershowitz, March 2005, “Space-Efficient Bounded Model Checking” (Extended Abstract), Design, Automation and Test in Europe, Munich, Germany, vol. 2, pp. 686-687. HAL archive 〈hal- 00181188〉.
  336. Udi Boker and Nachum Dershowitz, 2005, “A Formalization of the Church-Turing Thesis [for State-Transition Models]”, preprint.

    337. 2004

  337. Nachum Dershowitz, December 2004, “Hindu Calendrical Calculations” (Abstract), Abstracts of International Conference on History and Heritage of Mathematical Sciences, Indore, India.
  338. +Nachum Dershowitz, September 2004, “Termination by Abstraction”, Proceedings of the Twentieth International Conference on Logic Programming, St. Malo, France, Lecture Notes in Computer Science, vol. 3132, Springer-Verlag, Berlin, pp. 1-18.
  339. +Nachum Dershowitz and Edward M. Reingold, July 2004, “Hebrew Dating” (Abstract), Conference Syllabus of the 24th IAJGS International Conference on Jewish Genealogy, Jerusalem, Israel, p. 129; extended abstract on CD-ROM.
  340. Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, and Daher Kaiss, May 2004, “Boolean Ring Satisfiability”, Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004), Vancouver, BC, Canada, pp. 281-286.
  341. Maria Paola Bonacina and Nachum Dershowitz, May 2004, “Abstract Canonical Inference”, Research Report 18/2004, Dipartimento di Informatica, Università  degli Studi di Verona.
  342. Maria Paola Bonacina and Nachum Dershowitz, May 2004, “Abstract Canonical Inference”, informal arXiv publication, http://arxiv.org/abs/cs/0406030.
  343. Tal Rubenczyk, Nachum Dershowitz, Yaacov Choueka, Michael Flor, Oren Hod, and Assaf Roth, November 2004, “Search Engine Method and Apparatus”. Abandoned patent application, #WO2004102533.
  344. °°Nachum Dershowitz and Alexander Rabinovich, eds., March 2004, Abstracts of an International Symposium on Models of Computation, School of Computer Science, Tel Aviv University, Ramat Aviv, Israel.
  345. Nachum Dershowitz, March 2004, “Comparing Computational Power” (Abstract), Abstracts of an International Symposium on Models of Computation, N. Dershowitz and A. Rabinovich, eds., School of Computer Science, Tel Aviv University, Ramat Aviv, Israel.
  346. °°Arnon Avron and Nachum Dershowitz, eds., March 2004, Abstracts of an International Symposium on Logic and Computation, School of Computer Science, Tel Aviv University, Ramat Aviv, Israel.

    347. 2003

  347. ++Nachum Dershowitz, editor, December 2003, Verification – Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Lecture Notes in Computer Science, vol. 2772, Springer-Verlag, Berlin (783+xv pages).
  348. °Nachum Dershowitz, D. N. Jayasimha, and Seungjoon Park, December 2003, “Bounded Fairness”, Verification – Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, N. Dershowitz, ed., Lecture Notes in Computer Science, vol. 2772, Springer-Verlag, Berlin, pp. 304-317.
  349. #Nachum Dershowitz, December 2003, “Pæan to Zohar Manna”, Verification – Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, N. Dershowitz, ed., Lecture Notes in Computer Science, vol. 2772, Springer-Verlag, Berlin, pp. 1-10.
  350. Daher Kaiss, and Nachum Dershowitz, November 2003, “Boosting Satisfiability Testing Using Boolean Rings” (Poster), Proceedings of the IEEE International Conference on Software – Science, Technology & Engineering, Herzliya, Israel.
  351. Nachum Dershowitz and Mitchell A. Harris, October 2003, “Enumerating Satisfiable Propositional Formulæ”, Unpublished draft.
  352. Nachum Dershowitz and Mitchell A. Harris, September 2003, “Enumerating Satisfiable Propositional Formulae”, Abstracts of EuroComb'03 (European Conference on Combinatorics, Graph Theory and Applications), J. Fiala, ed., Report 2003-145, Institute for Theoretical Computer Science, Charles University, Prague, Czech Republic, pp. 87-90.
  353. +Nachum Dershowitz and Iddo Tzameret, August 2003, “Gap Embedding for Well-Quasi Orderings”, Proceedings of the 10th Workshop on Logic, Language, Information and Computation (WoLLIC), Ouro Preto, Minas Gerais, Brazil; Electronic Notes in Computer Science, vol. 84, pp. 80-90, September 2003. 
  354. Nachum Dershowitz, D. N. Jayasimha, and Seungjoon Park, “Bounded Fairness” (Abstract), July 2003, Abstracts of the International Symposium on Verification – Theory and Practice, Honoring Zohar Manna's 64th Birthday (Sicily, Italy).
  355. Nachum Dershowitz and Claude Kirchner, June 2003, “Abstract Saturation-Based Inference”, Proceedings of the Eighteenth IEEE Symposium on Logic in Computer Science (LICS), Ottawa, pp. 65-74.
  356. Nachum Dershowitz, June 2003, “Termination Dependencies” (Extended Abstract), Proceedings of the Sixth International Workshop on Termination (WST '03), A. Rubio, ed., Valencia, Spain, pp. 27-30.
  357. Nachum Dershowitz, editor, June 2003, Abstracts of Papers Presented at the International Symposium on Verification — Theory and Practice (Taormina, Italy), Dipartimento di Matematica e Informatica, Universitá degli Studi di Catania, Catania, Italy.
  358. Nachum Dershowitz and Iddo Tzameret, June 2003, “Quasi-Ordered Gap Embedding” (Extended Abstract), June 2003, Proceedings of the Sixth International Workshop on Termination (WST '03), A. Rubio, ed., Valencia, Spain, pp. 30-34.
  359. Nachum Dershowitz, May 2003, “Canonicity”, Proceedings of the Fourth International Workshop on First-Order Theorem Proving (FTP'03), Valencia, Spain, I. Dahn and L. Vigneron, eds., pp. 147-158; Electronic Notes in Theoretical Computer Science, vol. 86, no. 1. 
  360. Nachum Dershowitz, April 2003, “Ground Canonicity”, informal arXiv publication, arXiv:cs/0304017v1 [cs.LO].
  361. Nachum Dershowitz and Mitchell A. Harris, January 2003, “Enumerating the Propositions Equivalents to a Boolean Formula”. Cf. Chauvin et al.

    362. 2002

  362. Claude Kirchner and Nachum Dershowitz, July 2002, “Abstract Canonical Inference Systems” (Abstract), 16th International Workshop on Unification, Copenhagen, Denmark, HAL archive 〈inria-00107627〉.
  363. **Edward M. Reingold and Nachum Dershowitz, 2002, Calendrical Tabulations, Cambridge University Press (606+xxx pages).
  364. Nachum Dershowitz and Ely Pinchover, 2002, “Automatic Inductive Synthesis of Functional Programs”, Unpublished draft.

    365. 2001

  365. °Nachum Dershowitz and David A. Plaisted, 2001, “Rewriting”, chap. 9 in: Handbook of Automated Reasoning, vol. 1, A. Robinson and A. Voronkov, eds., Elsevier, pp. 535-610. Reviewed in Zbl 0992.68123.
  366. Nachum Dershowitz and Claude Kirchner, December 2001, “Inversion Strategies”, Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'01), Cyprus.
  367. #Nachum Dershowitz, September 1999, “Sharing Constructors” (Abstract), 14th International Workshop on Algebraic Development Techniques, Bonas, France.
  368. °°Nachum Dershowitz, editor, June 2001, Abstracts of the Bar-Ilan International Symposium on Artificial Intelligence (BISFAI '01), Ramat-Gan, Israel.
  369. °°Nachum Dershowitz, editor, May 2001, Extended Abstracts of the Fifth International Workshop on Termination (WST '01), Utrecht, Logic Group Preprint Series No. 209, Institute of Philosophy, Utrecht University, Utrecht, The Netherlands.
  370. Edward M. Reingold and Nachum Dershowitz, 2001, Calendrical Calculations: The Millennium Edition, Cambridge University Press (423+xxxii pages). Choice's Outstanding Academic Title Award (2002).
  371. $Edward M. Reingold and Nachum Dershowitz, with Robert McNally, 2001, Calendrica 2.1 (Calendrical Calculations Millennium Software Package), Cambridge University Press (CD-ROM).
  372. $ Nachum Dershowitz and Edward M. Reingold, 2001, Calendrica Applet, online software.
  373. *Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik, 2001, “A General Framework for Automatic Termination Analysis of Logic Programs”, Applicable Algebra in Engineering, Communication and Computing, vol. 12, no. 1/2, pp. 117-156. 

    374. 2000

  374. Nachum Dershowitz and Edward M. Reingold, Mathematics for the Programmer, Unpublished book draft.
  375. +Nachum Dershowitz, 2000, “[Hebrew] Calendar”, Reader's Guide to Judaism, M. Terry, ed., Fitzroy Dearborn, Chicago, IL, pp. 97-98.
  376. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik, December 2000, “A General Framework for Automatic Termination Analysis of Logic Programs”, informal arXiv publication, arXiv:cs/0012008v1 [cs.PL].
  377. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik, “Automatic Termination Analysis of Programs Containing Arithmetic Predicates”, November 2000, informal arXiv publication, http://arxiv.org/abs/cs/0011036.
  378. *Nachum Dershowitz, October 2000, “Artificial Intelligence: Retrospective/Prospective”, Annals of Mathematics and Artificial Intelligence, vol. 28, nos. 1-4, pp. 3-5. 
  379. Nachum Dershowitz and Claude Kirchner, eds., September 2000, RULE 2000: Proceedings of the First International Workshop on Rule-Based Programming, Montreal, Canada.
  380. Nachum Dershowitz and Edward M. Reingold, “Calendars”, McGraw-Hill Encyclopedia of Science & Technology, 8th ed., 2000. Also available on CD-ROM: McGraw-Hill Multimedia Encyclopedia of Science & Technology, Release 2.0, 2000. 
  381. *Nachum Dershowitz and Naomi Lindenstrauss, 2000, “Abstract And Parallel Machines”, Computers and Artificial Intelligence, vol. 19, pp. 475-493.

    382. 1999

  382. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik, “Automatic Termination Analysis of Programs Containing Arithmetic Predicates”, November 1999, Proceedings of the Verification of Logic Programs Workshop (Las Cruces, NM), Jan Smaus and Sandro Etalle, eds., Electronic Notes in Theoretical Computer Science (ENTCS), vol. 30, no. 1, pp. 39-58. 
  383. +Nachum Dershowitz and Subrata Mitra, July 1999, “Jeopardy”, Proceedings of the Tenth International Conference on Rewriting Techniques and Applications (Trento, Italy), P. Narendran and M. Rusinowitch, eds., Lecture Notes in Computer Science, vol. 1631, Springer-Verlag, Berlin, pp. 16-29.
  384. Nachum Dershowitz, June 1999, “The Power of Simplification: A Survey on Rewriting in Theorem Proving” (Abstract), Bar-Ilan Symposium on Foundations of Artificial Intelligence.
  385. Nachum Dershowitz, Maribel Fernández, and Jean-Pierre Jouannaud, May 1999, “Modular Confluence Revisited”, Unpublished draft. See “Modular Church-Rosser Modulo: The Complete Picture” by Jean-Pierre Jouannaud and Yoshihito Toyama.
  386. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik, May 1999, “When Linear Forms are not Enough” (Abstract), Abstracts of the Fifth International Workshop on Termination, Dagstuhl, Germany.
  387. Nachum Dershowitz, May 1999, “Undecidability Results that Follow from Results in Recursion Theory” (Abstract), Abstracts of the Fifth International Workshop on Termination (WST), Dagstuhl, Germany.
  388. +Schulamith C. Halevy and Nachum Dershowitz, 1999, “Prácticas Ocultas de los ‘Anusim’ del Nuevo Mundo” (in Spanish), Encuentro y Alteridad: Vida y cultura judia en America Latina, J. B. Liwerant and A. G. de Backal, eds., UNAM, Mexico City, pp. 35-46. English version: “Obscure Practices among New World Anusim”.

    389. 1998

  389. °Nachum Dershowitz and Edward M. Reingold, 1998, “Implementing Solar Astronomical Calendars”, in: Birashkname, M. Akrami, ed., Shahid Beheshti University, Tehran, Iran, pp. 477-487.
  390. Nachum Dershowitz, September 1998, “Calendar Function Inversion” (Abstract), CCL II Workshop, Jerusalem, Israel.
  391. Nachum Dershowitz, September 1998, “Nachum Dershowitz's Personal Bibliography”, The Collection of Computer Science Bibliographies, online at http://liinwww.ira.uka.de/bibliography/Theory/dershowitz.html.
  392. #Nachum D ershowitz and Edward M. Reingold, August 1998, “A Terrestrial Calendar for Mars” (Abstract), Program Book of the Founding Convention of the Mars Society, University of Colorado at Boulder, Boulder, CO, pp. 117-118.
  393. Nachum Dershowitz and Subrata Mitra, July 1998, “Function Inversion”, Proceedings of the 5th Workshop of Logic, Language, Information and Computation (WoLLIC), R. J. G. B. de Queiroz and M. Finger, eds., University of São Paulo, São Paulo, Brazil, pp. 55-59.
  394. Nachum Dershowitz, May 1998, “Realistic Virtuality” (Abstract), Unpublished essay.
  395. Nachum Dershowitz and Ralf Treinen, March 1998, “An On-line Database of Open Questions”, Proceedings of the Ninth International Conference on Rewriting Techniques and Applications (Japan), T. Nipkow, ed., Lecture Notes in Computer Science, vol. 1379, Springer-Verlag, Berlin, pp. 332-342.
  396. Nachum Dershowitz, 1998, photo credit, in Schulamith Chava Halevy, הטירה הפנימית (= Interior Castle: Poems about Being and Being Coerced), in Hebrew, Eked, Tel Aviv, 1998.
  397. Nachum Dershowitz and Ralf Treinen, 1998-2014, “The Complete List of RTA Open Problems”, maintained online at http://www.cs.tau.ac.il/~nachum/rtaloop.
  398. Nachum Dershowitz and Shmuel Zaks, February 1998, “Trees and Paths”, Unpublished draft. See Xavier Viennot's counterexample.
  399. Mitchell A. Harris and Nachum Dershowitz, 1998, “Ordered Construction of Combinatorial Objects”, Unpublished draft. Cf. the theory of combinatorial species.

    400. 1997

  400. Nachum Dershowitz and Naomi Lindenstrauss, August 1997, “Abstract And-Parallel Machines”, Proceedings of the Third International Euro-Par Conference on Parallel Processing (Passau, Germany), C. Lengauer, M. Griebl, and S. Gorlatch, eds., Lecture Notes in Computer Science, vol. 1300, Springer-Verlag, Berlin, pp. 1221-1225.
  401. +Nachum Dershowitz, August 1997, “When are Two Rewrite Systems More than None?”, Proceedings of the Twenty-Second International Symposium on Mathematical Foundations of Computer Science (Bratislava, Slovakia), I. Pr'ivara and P. Ruzicka, eds., Lecture Notes in Computer Science, vol. 1295, Springer-Verlag, Berlin, pp. 37-43.
  402. +Nachum Dershowitz, June 1997, “Innocuous Constructor-Sharing Combinations”, Proceedings of the Eighth International Conference on Rewriting Techniques and Applications (Sitges, Spain), H. Comon, ed., Lecture Notes in Computer Science, vol. 1232, Springer-Verlag, Berlin, pp. 202-216.
  403. Nachum Dershowitz, Naomi Lindenstrauss, and Yehoshua Sagiv, May 1997, “What Norms are Useful for Logic Programs?” (Abstract), Extended Abstracts of the Third International Termination Workshop (Ede, The Netherlands), T. Arts, ed., Universiteit Utrecht, Utrecht, The Netherlands.
  404. Nachum Dershowitz, May 1997, “Well-Quasi Orderings and Some Applications” (Abstract), Extended Abstracts of the Third International Termination Workshop (Ede, The Netherlands), T. Arts, ed., Universiteit Utrecht, Utrecht, The Netherlands.
  405. Nachum Dershowitz and Edward M. Reingold, 1997, Calendrical Calculations, Cambridge University Press (307+xxi pages). Reviewed in: Nature (January 1, 1998); European J. of Physics (March 1998), Computing Reviews (May 1998); Math. Reviews 98g:01007; Astronomy Now (August 1998); ISIS (December 1998); British J. for the History of Science (March 1999); The Mathematical Gazette (Mar 1999); Zbl 894.01023.
  406. $Edward M. Reingold and Nachum Dershowitz, 1997, Calendrica 1.0 (Calendrical Calculations Software Package).
  407. Edward M. Reingold and Nachum Dershowitz, 1997, Computer Software for Computerized Calculation of Calendar Dates and Documentation of Software. Abandoned Provisional Patent Application Serial No. 60/050,546.

    408. 1996

  408. Nachum Dershowitz, September 1996, “Narrowing Streams” (Abstract), CCL II Workshop, Escorial, Spain.
  409. Nachum Dershowitz, May 1996, “Trees, Ordinals, and Termination” (Abstract), Proceedings of the 3rd Workshop on Logic, Language, Information and Computation (WoLLIC), Salvador, Brazil.
  410. $Nachum Dershowitz and Laurent Vigneron, “Rewriting Home Page” online resource, maintained at http://www.rewriting.org.
  411. $Nachum Dershowitz, 1996-2005, “Software Horror Stories”, online resource, maintained at http://www.cs.tau.ac.il/~nachum/horror.html.
  412. @Subrata Mitra and Nachum Dershowitz, January 1996, “Matching and Unification in Rewrite Theories”, Technical Report ADTI-1996-001, IBM Software Solutions Division, San Jose, CA.

    413. 1995

  413. +Nachum Dershowitz, December 1995, “Goal Solving as Operational Semantics”, Proceedings of the International Logic Programming Symposium, Portland, OR, J. Lloyd, ed., MIT Press, Cambridge, MA, pp. 3-17.
  414. Schulamith C. Halevy and Nachum Dershowitz, December 1995, “Forty Days to Revelation” (audio tape), Twenty-Seventh Conference of the Association for Jewish Studies, Boston, MA.
  415. Nachum Dershowitz, 1995, “Contextual Termination” (Abstract), Second International Workshop on Termination, La Bresse, France.
  416. *Nachum Dershowitz and Charles Hoot, May 1995, “Natural Termination”, Theoretical Computer Science, vol. 142, no. 2, pp. 179-207. 
  417. ++Nachum Dershowitz and Naomi Lindenstrauss, eds., 1995, Proceedings of the International Workshop on Conditional and Typed Rewriting Systems (Jerusalem, Israel, July 1994), Lecture Notes in Computer Science, vol. 968, Springer-Verlag, Berlin, (375+viii pages).
  418. +Nachum Dershowitz, 1995, “Hierarchical Termination”, Proceedings of the International Workshop on Conditional and Typed Rewriting Systems (Jerusalem, Israel, July 1994), N. Dershowitz and N. Lindenstrauss, eds., Lecture Notes in Computer Science, vol. 968, Springer-Verlag, Berlin, pp. 89-105.
  419. Subrata Mitra and Nachum Dershowitz, May 1995, “Matching and Unification in Restricted Convergent Systems”, Technical Report ADTI-1995-007, IBM Software Solutions Division, San Jose, CA.
  420. Nachum Dershowitz, Jean-Pierre Jouannaud, and Jan Willem Klop, April 1995, “Problems in Rewriting III”, Proceedings of the Sixth International Conference on Rewriting Techniques and Applications (Kaiserslautern, Germany), J. Hsiang, ed., Lecture Notes in Computer Science, vol. 914, Springer-Verlag, Berlin, pp. 457-471.
  421. +Nachum Dershowitz, 1995, “33 Examples of Termination”, in: French Spring School of Theoretical Computer Science Advanced Course on Term Rewriting (Font Romeaux, France, May 1993), H. Comon and J.-P. Jouannaud, eds., Lecture Notes in Computer Science, vol. 909, Springer-Verlag, Berlin, pp. 16-26.
  422. Nachum Dershowitz and Edward M. Reingold, 1995, cal-hebrew.el -- Calendar Functions for the Hebrew Calendar, GNU Emacs distribution.
  423. Nachum Dershowitz, March 1995, “Rewrite-Based Deduction: Expansion and Contraction” (Abstract), Seminar Report No. 110, Dagstuhl Seminar on Deduction, W. Bibel, K. Furikawa, and M. Stickel, eds., p. 10.
  424. Nachum Dershowitz, Jean-Pierre Jouannaud, and Jan Willem Klop, February 1995, “Problems in Rewriting III”, Technical report IR-380, Computer Science, Vrije University, Amsterdam.

    425. 1994

  425. Nachum Dershowitz, October 1994, “From Specifications to Programs: Induction in the Service of Synthesis” (Abstract), Proceedings of the Fourth International Workshop on Analogical and Inductive Inference (Reinhardsbrunn Castle, Germany), S. Arikawa and K. Jantke, eds., Lecture Notes in Artificial Intelligence, vol. 872, Springer-Verlag, Berlin, pp. 6-7.
  426. Nachum Dershowitz and Naomi Lindenstrauss, eds., July 1994, Abstracts of the International Workshop on Conditional (and Typed) Rewriting Systems, Hebrew University, Jerusalem, Israel.
  427. Nachum Dershowitz, July 1994, “Hierarchical Termination” (Extended Abstract), Abstracts of the International Workshop on Conditional (and Typed) Rewriting Systems, Hebrew University, Jerusalem, Israel. Drafted December 1992.
  428. *Leo Bachmair and Nachum Dershowitz, March 1994, “Equational Inference, Canonical Proofs, and Proof Orderings”, J. of the Association of Computing Machinery (JACM), vol. 41, no. 2, pp. 236-276. 

    429. 1993

  429. +Nachum Dershowitz and Subrata Mitra, December 1993, “Higher-Order and Semantic Unification”, Proceedings of the Thirteenth Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, Lecture Notes in Computer Science, vol. 761, Springer-Verlag, Berlin, pp. 139-150.
  430. Nachum Dershowitz and Subrata Mitra, September 1993, “Higher-Order Unification with Convergent Systems”, Preliminary Papers of the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), Amsterdam, The Netherlands.
  431. +Nachum Dershowitz, 1993, “A Taste of Rewrite Systems”, in: Functional Programming, Concurrency, Simulation and Automated Reasoning, P. Lauer and J. Zucker, eds., Springer-Verlag, Berlin, Lecture Notes in Computer Science, vol. 693, pp. 199-228.
  432. Nachum Dershowitz and Charles Hoot, June 1993, “Topics in Termination”, Proceedings of the Fifth International Conference on Rewriting Techniques and Applications (RTA), Montreal, Canada, C. Kirchner, ed., Lecture Notes in Computer Science, Berlin, Springer-Verlag.
  433. Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop, 1993, “More Problems in Rewriting”, Report CS-R9332, Centrum voor Wiskunde en Informatica, Amsterdam.
  434. Nachum Dershowitz, 1993, “A Taste of Rewriting”, Leibnitz Center for Research in Computer Science, Hebrew University, Technical report 93-5, Jerusalem, Israel.
  435. Alan Bundy, Nachum Dershowitz, Martin Golumbic, and Hélène Kirchner, eds., August 1993, Proceedings of the Workshop on Heuristics and Search Guiding in Automated Theorem Proving, 13th International Conference on Artificial Intelligence, Chambery, France.
  436. Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop, June 1993, “More Problems in Rewriting”, Proceedings of the Fifth International Conference on Rewriting Techniques and Applications (RTA), Montreal, Canada, C. Kirchner, ed., Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 468-487.
  437. *Nachum Dershowitz and Uday Reddy, May/June 1993, “Deductive and Inductive Synthesis of Equational Programs”, J. of Symbolic Computation, vol. 15, issue 5-6, pp. 467-494.
  438. *Nachum Dershowitz and Yuh-jeng Lee, May/June 1993, “Logical Debugging”, J. of Symbolic Computation, vol. 15, issue 5-6, pp. 745-773.
  439. Yuh-jeng Lee and Nachum Dershowitz, May 1993, “Debugging Logic Programs Using Specifications”, Proceedings of the First International Workshop on Automated and Algorithmic Debugging (Linkoping, Sweden), Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 64-78.
  440. +Nachum Dershowitz, April 1993, “Trees, Ordinals, and Termination”, Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Orsay, France, M.-C. Gaudel and J.-P. Jouannaud, eds., Lecture Notes in Computer Science, vol. 668, Springer-Verlag, Berlin, pp. 243-250.
  441. *Edward M. Reingold, Nachum Dershowitz, and Stewart H. Clamen, April 1993, “Calendrical Calculations II: Three Historical Calendars”, Software -- Practice and Experience, vol. 23, no. 4, pp. 383-404. 
  442. +Nachum Dershowitz and Subrata Mitra, January 1993, “Path Orderings for Termination of Associative-Commutative Rewriting”, Proceedings of the Third International Workshop on Conditional Rewriting Systems (Pont-a-Mousson, France, July 1992), M. Rusinowitch, ed., Lecture Notes in Computer Science, vol. 656, Springer-Verlag, Berlin, pp. 168-174.
  443. +Nachum Dershowitz, January 1993, “Semigroups Satisfying xm+n= xn”, Proceedings of the Third International Workshop on Conditional Rewriting Systems (Pont-a-Mousson, France, July 1992), M. Rusinowitch, ed., Lecture Notes in Computer Science, vol. 656, Springer-Verlag, Berlin, pp. 307-314.

    444. 1992

  444. Nachum Dershowitz and Subrata Mitra, July 1992, “RPO for AC-Termination”, Preliminary Papers of the Third International Workshop on Conditional Rewriting Systems, Pont-a-Mousson, France, M. Rusinowitch, ed., pp. 96-100.
  445. Nachum Dershowitz, July 1992, “Bands and Related Semigroups”, Preliminary Papers of the Third International Workshop on Conditional Rewriting Systems, M. Rusinowitch, ed., Pont-a-Mousson, France, pp. 162-164.
  446. +Nachum Dershowitz and Edward M. Reingold, July 1992, “Ordinal Arithmetic with List Expressions”, Proceedings of the Symposium on Logical Foundations of Computer Science (Tver, Russia), A. Nerode and M. Taitslin, eds., Lecture Notes in Computer Science, vol. 620, Springer-Verlag, Berlin, pp. 117-126.
  447. +Nachum Dershowitz, Subrata Mitra, and G. Sivakumar, June 1992, “Decidable Matching for Convergent Systems”, Proceedings of the Eleventh Conference on Automated Deduction (Saratoga Springs, NY), D. Kapur, ed., Lecture Notes in Artificial Intelligence, vol. 607, Springer-Verlag, Berlin, pp. 589-602.
  448. $Edward M. Reingold and Nachum Dershowitz, April 1992, tree.sty (Binary Tree Drawing in LaTeX Using the PiCTeX Macros), TeX macro package.
  449. +Nachum Dershowitz, 1992, “Rewriting Methods for Word Problems”, in: Words, Languages & Combinatorics (Proceedings of the International Colloquium, Kyoto, Japan, August 1990), M. Ito, ed., World Scientific, Singapore, pp. 104-118.
  450. Edward M. Reingold, Nachum Dershowitz, and Stewart H. Clamen, April 1992, “Calendrical Calculations, II: Three Historical Calendars”, Report DCS-R-92-1743, Department of Computer Science, University of Illinois, Urbana, IL.
  451. Leo Bachmair and Nachum Dershowitz, April 1992, “Equational Inference, Canonical Proofs, and Proof Orderings”, Report DCS-R-92-1746, Department of Computer Science, University of Illinois, Urbana, IL.

    452. 1991

  452. Nachum Dershowitz, Jean-Pierre Jouannaud, and Jan Willem Klop, December 1991, “Open Problems in Rewriting”, Technical report CS-R9114, Computer Science, CWI, Amsterdam.
  453. +Nachum Dershowitz, August 1991, “Ordering-Based Strategies for Horn Clauses”, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI), pp. 118-124, Sydney, Australia.
  454. +Nachum Dershowitz, July 1991, “Canonical Sets of Horn Clauses”, Proceedings of the Eighteenth International Colloquium on Automata, Languages and Programming (ICALP), Madrid, Spain, J. Leach Albert, B. Monien and M. Rodriguez Artalejo, eds., Lecture Notes in Computer Science, vol. 510, Springer-Verlag, Berlin, pp. 267-278.
  455. Nachum Dershowitz, June 1991, “Infinite Rewriting” (Abstract), Abstracts of an International Symposium on Theoretical Computer Science in honor of Boris A. Trakhtenbrot, Tel Aviv University, Tel Aviv, Israel.
  456. Nachum Dershowitz, June 1991, “Natural Termination Proofs”, Proceedings of the Bar-Ilan Symposium on Foundations of Artificial Intelligence, Bar-Ilan University, Ramat-Gan, Israel.
  457. *Nachum Dershowitz, Stéphane Kaplan, and David A. Plaisted, June 1991, “Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, ...”, Theoretical Computer Science, vol. 83, no. 1, pp. 71-96. Reviewed in Computing Reviews 9208-0604. 
  458. Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop, 1991, “Open Problems in Rewriting”, Proceedings of the Fourth International Conference on Rewriting Techniques and Applications (Como, Italy), R. Book, ed., Lecture Notes in Computer Science, vol. 488, Springer-Verlag, Berlin, pp. 445-456.
  459. +Nachum Dershowitz, 1991, “A Maximal-Literal Unit Strategy for Horn Clauses”, Proceedings of the Second International Workshop on Conditional and Typed Rewriting Systems (Montreal, Canada, June 1990), S. Kaplan and M. Okada, eds., Lecture Notes in Computer Science, vol. 516, Springer-Verlag, Berlin, pp. 14-25.
  460. Nachum Dershowitz and Jean-Pierre Jouannaud, February 1991, “Notations for Rewriting”, Bulletin of the European Association of Theoretical Computer Science, no. 43, pp. 162-172.

    461. 1990

  461. °Nachum Dershowitz and Jean-Pierre Jouannaud, 1990, “Rewrite Systems”, in: Handbook of Theoretical Computer Science, vol. B: Formal Methods and Semantics, chap. 6, pp. 243-320, J. van Leeuwen, ed., North-Holland, Amsterdam.
  462. +Nachum Dershowitz and Naomi Lindenstrauss, October 1990, “An Abstract Concurrent Machine for Rewriting”, Proceedings of the Second Conference on Algebraic and Logic Programming (Nancy, France), H. Kirchner and W. Wechler, eds., pp. 318-331, Lecture Notes in Computer Science, vol. 463, Springer-Verlag, Berlin.
  463. +Nachum Dershowitz and Naomi Lindenstrauss, October 1990, “A Parallel Implementation of Equational Programming”, Proceedings of the Fifth Jerusalem Conference on Information Technology, IEEE Computer Society, Jerusalem, Israel, pp. 426-435.
  464. +Nachum Dershowitz, Subrata Mitra, and G. Sivakumar, October 1990, “Equation Solving in Conditional AC-Theories”, Proceedings of the Second Conference on Algebraic and Logic Programming (Nancy, France), H. Kirchner and W. Wechler, eds., Lecture Notes in Computer Science, vol. 463, Springer-Verlag, Berlin, pp. 283-297.
  465. *Nachum Dershowitz and Edward M. Reingold, September 1990, “Calendrical Calculations”, Software -- Practice and Experience, vol. 20, no. 9, pp. 899-928.
  466. Nachum Dershowitz, August 1990, “Rewriting Methods for Word Problems”, Abstracts of International Colloquium on Words, Languages and Combinatorics, Kyoto, Japan, pp. 18-20.
  467. Nachum Dershowitz, August 1990, “Infinite Rewriting”, Proceedings of Toyohashi Symposium on Theoretical Computer Science, K. Hashiguchi, ed., Toyohashi, Japan, pp. 27-31.
  468. Nachum Dershowitz and Eli (Ely) Pinchover, July 1990, “Inductive Synthesis of Equational Programs”, Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI, Boston, MA, pp. 234-239.
  469. Nachum Dershowitz, June 1990, “A Maximal-Literal Unit Strategy for Horn Clauses”, Extended Abstracts of the Second International Workshop on Conditional and Typed Rewriting Systems, S. Kaplan and M. Okada, eds., Concordia University, Montreal, Canada, pp. 21-27.
  470. $Nachum Dershowitz and Edward M. Reingold, April 1990, rangecite.sty (Document-Style Option for any Style with Numeric Citations).
  471. *Nachum Dershowitz and Mitsuhiro Okada, 1990, “A Rationale for Conditional Equational Programming”, Theoretical Computer Science, vol. 75, nos. 1-2, pp. 111-138. 
  472. *Nachum Dershowitz and Shmuel Zaks, January 1990, “The Cycle Lemma and Some Applications”, European J. of Combinatorics, vol. 11, no. 1, pp. 35-40. Reviewed in Math. Reviews 91c:05011.

    473. 1989

  473. *Nachum Dershowitz and Shmuel Zaks, November 1989, “Patterns in Trees”, Discrete Applied Mathematics, vol. 25, no. 3, pp. 241-255. Reviewed in Math. Reviews 91a:05033. 
  474. *Leo Bachmair and Nachum Dershowitz, October 1989, “Completion for Rewriting Modulo a Congruence”, Theoretical Computer Science, vol. 67, no. 2 & 3, pp. 173–201.
  475. °Leo Bachmair, Nachum Dershowitz and David A. Plaisted, 1989, “Completion Without Failure”, in: Resolution of Equations in Algebraic Structures, vol. 2: Rewriting Techniques, H. Ait-Kaci and M. Nivat, eds., chap. 1, Academic Press, New York, pp. 1-30.
  476. °Nachum Dershowitz, 1989, “Completion and Its Applications”, in: Resolution of Equations in Algebraic Structures, vol. 2: Rewriting Techniques, H. Ait-Kaci and M. Nivat, eds., chap. 2, Academic Press, New York, pp. 31-86. Reviewed in Math. Reviews 91h:68097.
  477. Edward M. Reingold and Nachum Dershowitz, September 1989, “Calendrical Calculations”, Report DCS-R-89-1541, Department of Computer Science, University of Illinois, Urbana, IL.
  478. Nachum Dershowitz, Stéphane Kaplan, and David A. Plaisted, July 1989, “Infinite Normal Forms”, Proceedings of the Sixteenth International Colloquium on Automata, Languages and Programming (ICALP), Stresa, Italy, European Association of Theoretical Computer Science, Lecture Notes in Computer Science, vol. 372, Springer-Verlag, Berlin, pp. 249-262.
  479. +Nachum Dershowitz and Naomi Lindenstrauss, June 1989, “Average Time Analyses Related to Logic Programming”, Proceedings of the Sixth International Conference on Logic Programming (Lisbon, Portugal), G. Levi and M. Martelli, eds., pp. 369-381, MIT Press, Cambridge, MA.
  480. +Nachum Dershowitz and Hon-Wai Leong, June 1989, “Fast Exchange Sorts”, Proceedings of the Third International Conference on Foundations of Data Organization and Algorithms, W. Litwin and H. J. Schek, eds., Lecture Notes in Computer Science, vol. 367, Springer-Verlag, Berlin, pp. 102-113. Accepted for publication in Computer J.
  481. ++Nachum Dershowitz, editor, April 1989, Third International Conference on Rewriting Techniques and Applications (Chapel Hill, NC), Lecture Notes in Computer Science, vol. 355, Springer-Verlag, Berlin (579+vii pages).
  482. Nachum Dershowitz and Jean-Pierre Jouannaud, April 1989, “Rewrite Systems”, Laboratoire de Recherche en Informatique, Université de Paris-Sud, Rapport de Recherche 478, Orsay, France.
  483. *N. Alan Josephson and Nachum Dershowitz, January/March 1989, “An Implementation of Narrowing”, J. Logic Programming, vol. 6, no. 1&2, pp. 57-77.
  484. Nachum Dershowitz and Stéphane Kaplan, January 1989, “Rewrite, Rewrite, Rewrite, Rewrite, Rewrite,...”, Proceedings of the Sixteenth ACM Symposium on Principles of Programming Languages, Austin, TX, pp. 250-259.

    485. 1988

  485. Nachum Dershowitz and Mitsuhiro Okada, November 1988, “Conditional Equational Programming and the Theory of Conditional Term Rewriting”, Proceedings of the International Conference on Fifth Generation Computer Systems, ICOT, pp. 337-346, Tokyo, Japan.
  486. °Nachum Dershowitz and David A. Plaisted, 1988, “Equational Programming”, in: Machine Intelligence 11: The logic and acquisition of knowledge, J. E. Hayes, D. Michie and J. Richards, eds., chap. 2, Oxford Press, Oxford, pp. 21-56.
  487. *Leo Bachmair and Nachum Dershowitz, August 1988, “Critical Pair Criteria for Completion”, J. of Symbolic Computation, vol. 6, no. 1, pp. 1-18. Reviewed in Math. Reviews 89j:68087.
  488. *Nachum Dershowitz, Leo Marcus and Andrzej Tarlecki, August 1988, “Existence, Uniqueness, and Construction of Rewrite Systems”, SIAM J. of Computing, vol. 17, no. 4, pp. 629-639. Reviewed in Math. Reviews 89k:68090 and Zbl 658.68029. 
  489. +Nachum Dershowitz and G. Sivakumar, August 1988, “Goal-Directed Equation Solving”, Proceedings of the Seventh National Conference on Artificial Intelligence, AAAI, St. Paul, MN, pp. 166-170.
  490. +Nachum Dershowitz and Mitsuhiro Okada, July 1988, “Proof-Theoretic Techniques and the Theory of Rewriting”, Proceedings of the Third IEEE Symposium on Logic in Computer Science (LICS), Edinburgh, Scotland, pp. 104-111.
  491. +Nachum Dershowitz, Mitsuhiro Okada, and G. Sivakumar, May 1988, “Canonical Conditional Rewrite Systems”, Proceedings of the Ninth Conference on Automated Deduction (CADE, Argonne, IL), Lecture Notes in Computer Science, vol. 310, Springer-Verlag, Berlin, pp. 538-549. Reviewed in Zbl 667.68043.

    492. 1987

  492. Nachum Dershowitz, 1987, “Termination of Rewriting”, in: Rewriting Techniques and Applications, pp. 69-115, J.-P. Jouannaud, ed., Academic Press. Reprinted from Journal of Symbolic Computation.
  493. Nachum Dershowitz and Yuh-jeng Lee, August 1987, “Deductive Debugging”, Proceedings of the Fourth IEEE Symposium on Logic Programming, San Francisco, CA, pp. 298-306.
  494. +Nachum Dershowitz, Mitsuhiro Okada, and G. Sivakumar, July 1987, “Confluence of Conditional Rewrite Systems”, Proceedings of the First International Workshop on Conditional Term Rewriting Systems (Orsay, France), S. Kaplan and J.-P. Jouannaud, eds., Lecture Notes in Computer Science, vol. 308, Springer-Verlag, Berlin, pp. 31-44. Reviewed in Zbl 666.68094.
  495. +Nachum Dershowitz and G. Sivakumar, July 1987, “Solving Goals in Equational Languages”, Proceedings of the First International Workshop on Conditional Term Rewriting Systems (Orsay, France), S. Kaplan and J.-P. Jouannaud, eds., Lecture Notes in Computer Science, vol. 308, Springer-Verlag, Berlin, pp. 45-55. Reviewed in Zbl 666.68093.
  496. +Leo Bachmair and Nachum Dershowitz, June 1987, “Inference Rules for Rewrite-Based First-Order Theorem Proving”, Proceedings of the Second IEEE Symposium on Logic in Computer Science (LICS), Ithaca, NY, pp. 331-337.
  497. Leo Bachmair and Nachum Dershowitz, June 1987, “Critical Pair Criteria for Rewriting Modulo a Congruence” (Extended abstract), Proceedings of the 1987 European Conference on Computer Algebra (Symbolic and Algebraic Computation) (Leipzig, East Germany), J. H. Davenport, ed., Lecture Notes in Computer Science, vol. 378, Springer-Verlag, Berlin, pp. 452-453.
  498. Nachum Dershowitz and Jieh Hsiang, May 1987, “Refutational Theorem Proving With Oriented Equations” (Abstract), Preliminary Proceedings of the Colloquium on the Resolution of Equations in Algebraic Structures, Lakeway, TX.
  499. Nachum Dershowitz, May 1987, “Completion and Its Applications”, Preliminary Proceedings of the Colloquium on the Resolution of Equations in Algebraic Structures, Lakeway, TX.
  500. Leo Bachmair and Nachum Dershowitz, May 1987, “Completion for Rewriting Modulo a Congruence”, Proceedings of the Second International Conference on Rewriting Techniques and Applications (Bordeaux, France), P. Lescanne, ed., Lecture Notes in Computer Science, vol. 256, Springer-Verlag, Berlin, pp. 192-203.
  501. Nachum Dershowitz and Yuh-jeng Lee, April 1987, “Deductive Debugging”, Report DCS-F-87-961, Department of Computer Science, University of Illinois, Urbana, IL.
  502. *Nachum Dershowitz, February/April 1987, “Termination of Rewriting”, J. of Symbolic Computation, vol. 3, no. 1&2, pp. 69-115, Corrigendum: 4, 3 (December 1987), 409-410. Reviewed in Computing Reviews 8810-0792 and Math. Reviews 88j:68099ab.

    503. 1986

  503. Nachum Dershowitz, 1986, “Program Abstraction and Instantiation”, in: Readings in Artificial Intelligence and Software Engineering, C. Rich and R. Waters, ed., chap. IX, Morgan Kaufmann, Los Altos, CA, pp. 475-490. Reprinted from ACM Transactions on Programming Languages and Systems.
  504. D. N. Jayasimha and Nachum Dershowitz, December 1986, “Bounded Fairness”, Technical Report 615, Center for Supercomputing Research and Development, University of Illinois, Urbana, IL.
  505. *Nachum Dershowitz and Shmuel Zaks, November 1986, “Ordered Trees and Non-Crossing Partitions (Note)”, Discrete Mathematics, vol. 62, no. 2, pp. 215-218. Reviewed in Math. Reviews 88c:05008. 
  506. °Nachum Dershowitz, 1986, “Programming by Analogy”, in: Machine Learning II: An Artificial Intelligence Approach, R. S. Michalski, J. G. Carbonell and T. M. Mitchell, eds., chap. 15, Morgan Kaufmann, Los Altos, CA, pp. 395-423.
  507. N. Alan Josephson and Nachum Dershowitz, September 1986, “An Implementation of Narrowing: The Rite Way”, Proceedings of the IEEE Symposium on Logic Programming, Salt Lake City, UT, pp. 187-197.
  508. Nachum Dershowitz, August 1986, “Deductive Synthesis of Non-expert Knowledge” (Abstract), ISSEK Workshop Programme & Papers, Bled, Yugoslavia.
  509. +Leo Bachmair and Nachum Dershowitz, July 1986, “Commutation, Transformation, and Termination”, Proceedings of the Eighth International Conference on Automated Deduction (CADE, Oxford, England), J. H. Siekmann, ed., Lecture Notes in Computer Science, vol. 230, Springer-Verlag, Berlin, pp. 5-20. Winner of CADE Thoralf Skolem Award 2015.
  510. Leo Bachmair and Nachum Dershowitz, July 1986, “Critical Pair Criteria for the Knuth-Bendix Completion Procedure”, Proceedings of the 1986 ACM Symposium on Symbolic and Algebraic Computation, B. W. Char, ed., Waterloo, Ontario, pp. 215-217.
  511. Leo Bachmair, Nachum Dershowitz and Jieh Hsiang, June 1986, “Orderings for Equational Proofs”, Proceedings of the IEEE Symposium on Logic in Computer Science (LICS), Cambridge, MA, pp. 346-357. Winner of LICS 2006 “Test-of-time” award.
  512. Nachum Dershowitz and David A. Plaisted, April 1986, “Equational Programming”, Report R-86-1265, Department of Computer Science, University of Illinois, Urbana, IL.

    513. 1985

  513. Nachum Dershowitz, Leo Marcus, and Andrzej Tarlecki, December 1985, “Existence, Uniqueness, and Construction of Rewrite Systems”, Report ATR-85(8354)-7, Computer Science Laboratory, The Aerospace Corporation, El Segundo, CA.
  514. Nachum Dershowitz, October 1985, “Completeness of Completion” (Abstract), Bulletin of the European Association for Theoretical Computer Science, vol. 27, pp. 94.
  515. Nachum Dershowitz, August 1985, “Synthesis by Completion”, Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI), Los Angeles, CA, pp. 208-214.
  516. Nachum Dershowitz, August 1985, “Termination of Rewriting”, Report R-85-1220, Department of Computer Science, University of Illinois, Urbana, IL.
  517. *Nachum Dershowitz, July 1985, “Program Abstraction and Instantiation”, ACM Transactions on Programming Languages and Systems, vol. 7, no. 3, pp. 446-477.
  518. Nachum Dershowitz and David A. Plaisted, July 1985, “Logic Programming cum Applicative Programming”, Proceedings of the IEEE Symposium on Logic Programming, Boston, MA, pp. 54-66.
  519. *Nachum Dershowitz, May/June 1985, “Computing with Rewrite Systems”, Information and Control, vol. 64, no. 2/3, pp. 122-157. Reviewed in Math. Reviews 87e:68098 and Zbl 584.68020. 
  520. Nachum Dershowitz, May 1985, “Termination”, Proceedings of the First International Conference on Rewriting Techniques and Applications (Dijon, France), Lecture Notes in Computer Science, vol. 202, Springer-Verlag, Berlin, pp. 180-224. Reviewed in Zbl 581.68031. RTA Test-of-Time Award 2014.
  521. Nachum Dershowitz, et al., March 1985, “Center for Applied Logic and Artificial Intelligence (CALAI): Interim Report”, Department of Mathematics and Computer Science, Bar-Ilan University, Ramat Gan, Israel.
  522. *Nachum Dershowitz, March 1985, “Synthetic Programming”, Artificial Intelligence, vol. 25, pp. 323-373. Reviewed in Computing Reviews 8601-0062. 
  523. Nachum Dershowitz, March 1985, “Synthesis by Completion”, Interim report, Center for Applied Logic and Artificial Intelligence, Bar-Ilan University, Ramat-Gan, Israel.
  524. Nachum Dershowitz, February 1985, “Rewriting and Verification” (Position Paper), Proceedings of a Formal Verification Workshop (VERkshop III), Watsonville, CA, p. 60, ACM SIGSOFT Software Engineering Notes 10, 4 (August 1985). 
  525. Nachum Dershowitz and David A. Plaisted, February 1985, “Conditional Rewriting”, Proceedings of a Formal Verification Workshop (VERkshop III), ACM Software Engineering Notes 10, 4 (August 1985), Watsonville, CA, pp. 55-59. 
  526. Nachum Dershowitz and Shmuel Zaks, January 1985, “Patterns in Trees”, Report LCS/TM-271, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA.

    527. 1984

  527. @KBPA Research Group (Mehdi T. Harandi, Donald Michie, Roy H. Campbell, Nachum Dershowitz, David A. Plaisted, eds.), December 1984, “Knowledge-Based Programming Assistant: An Intelligent Programming Support Environment”, Progress Report (January-December 1984), Department of Computer Science, University of Illinois, Urbana, IL.
  528. Nachum Dershowitz and Leo Marcus, August 1984, “Existence and Construction of Rewrite Systems” (revised), Office of Information Sciences Research, The Aerospace Corp., El Segundo, CA.
  529. Nachum Dershowitz and N. Alan Josephson, July 1984, “Logic Programming by Completion”, Proceedings of the Second International Logic Programming Conference, Uppsala, Sweden, pp. 313-320.
  530. Nachum Dershowitz, May 1984, “Equations as Programming Language”, Proceedings of the Fourth Jerusalem Conference on Information Technology, IEEE Computer Society, Jerusalem, Israel, pp. 114-124.
  531. Nachum Dershowitz and Shmuel Zaks, March 1984, “Patterns in Trees”, Ninth Colloquium on Trees in Algebra and Programming (CAAP), B. Courcelle, ed., Cambridge University Press, Bordeaux, France, pp. 93-102.
  532. Nachum Dershowitz, January 1984, “Programming by Analogy”, Rapport, Laboratoire de Recherche en Informatique, Universite de Paris-Sud, Orsay, France.

    533. 1983

  533. Nachum Dershowitz, September 1983, “Computing With Rewrite Systems”, Proceedings of the NSF Workshop on the Rewrite Rule Laboratory, General Electric Research and Development, Schenectady, NY, pp. 269-298.
  534. +Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, and David A. Plaisted, August 1983, “Associative-Commutative Rewriting”, Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI), Karlsruhe, West Germany, pp. 940-944.
  535. +Jieh Hsiang and Nachum Dershowitz, July 1983, “Rewrite Methods for Clausal and Non-Clausal Theorem Proving”, European Association of Theoretical Computer Science, Proceedings of the Tenth International Colloquium on Automata, Languages and Programming (ICALP), Barcelona, Spain, Lecture Notes in Computer Science, vol. 154, Springer-Verlag, Berlin, pp. 331-346.
  536. Nachum Dershowitz, June 1983, “Programming by Analogy”, Proceedings of the Second International Workshop on Machine Learning, University of Illinois, Monticello, IL, pp. 26-31.
  537. @Nachum Dershowitz, May 1983, “Building Well-Founded Orderings”, in Well-Founded Orderings, Technical Report ATR-83(8478)-3, Office of Information Sciences Research, The Aerospace Corporation, El Segundo, CA.
  538. @Nachum Dershowitz, May 1983, “Implementing Recursive Path Orderings”, in Well-Founded Orderings, Technical Report ATR-83(8478)-3, Office of Information Sciences Research, The Aerospace Corporation, El Segundo, CA.
  539. @Nachum Dershowitz, May 1983, “A Termination Proof that Requires More than Polynomials”, in Well-Founded Orderings, Technical Report ATR-83(8478)-3, Office of Information Sciences Research, The Aerospace Corporation, El Segundo, CA.
  540. Nachum Dershowitz, May 1983, “Applications of the Knuth-Bendix Completion Procedure”, Technical Report ATR-83(8478)-2, Office of Information Sciences Research, The Aerospace Corporation, El Segundo, CA.
  541. Nachum Dershowitz, January 1983, “Computing with Rewrite Systems”, Technical Report ATR-83(8478)-1, Office of Information Sciences Research, The Aerospace Corp., El Segundo, CA.
  542. **Nachum Dershowitz, 1983, The Evolution of Programs, Birkhäuser, Boston, MA (358 pages). Reviewed in Computing Reviews 84:09-0705, Software Maintenance News, December 1984, Zbl 642.68002, and IEEE Software, May 1985.

    543. 1982

  543. Nachum Dershowitz, December 1982, “Applications of the Knuth-Bendix Completion Procedure”, Proceedings of the Seminaire d'Informatique Theorique, Paris, France, pp. 95-111.
  544. Nachum Dershowitz and Leo Marcus, December 1982, “Existence and Construction of Rewrite Systems”, Technical Report ATR-82(8478)-3, Office of Information Sciences Research, The Aerospace Corporation, El Segundo, CA.
  545. Nachum Dershowitz and Shmuel Zaks, April 1982, “The Cycle Lemma and Some Applications”, Technical Report 238, Department of Computer Science, Technion, Haifa, Israel.
  546. @George F. Badger, Jr., Roy H. Campbell, Nachum Dershowitz, Mehdi T. Harandi, Andrew L. Laursen, Ryszard S. Michalski, Donald Michie, Robert Penka and Margaret Simmonds, April 1982, “Knowledge Based Programming Assistant, KBPA-1”, Report DCS-F-82-894, Department of Computer Science, University of Illinois, Urbana, IL.
  547. *Nachum Dershowitz, March 1982, “Orderings for Term-Rewriting Systems”, Theoretical Computer Science, vol. 17, no. 3, pp. 279-301. Reviewed in Zbl 525.68054. Number 12 on “List of the 100 most cited articles to appear in Theoretical Computer Science”. Re-appeared in the virtual special issue: 40th Anniversary of Theoretical Computer Science -- Top Cited Articles: 1975-2014.

    548. 1981

  548. +Nachum Dershowitz, July 1981, “Termination of Linear Rewriting Systems (Preliminary Version)”, European Association of Theoretical Computer Science, Proceedings of the Eighth International Colloquium on Automata, Languages and Programming (ICALP), Acre, Israel, Lecture Notes in Computer Science, vol. 115, Springer-Verlag, Berlin, pp. 448-458.
  549. Nachum Dershowitz, June 1981, “The Evolution of Programs: Program Abstraction and Instantiation”, Report DCS-R-80-1011, Department of Computer Science, University of Illinois, Urbana, IL.
  550. *Nachum Dershowitz and Zohar Manna, March 1981, “Inference Rules for Program Annotation”, IEEE Trans. on Software Engineering, vol. SE-7, no. 2, pp. 207-222. 
  551. Nachum Dershowitz, March 1981, “The Evolution of Programs: Program Abstraction and Instantiation”, Proceedings of the Fifth International Conference on Software Engineering, San Diego, CA, pp. 79-89. 
  552. Nachum Dershowitz and Shmuel Zaks, March 1981, “Applied Tree Enumerations”, Proceedings of the Sixth Colloquium on Trees in Algebra and Programming (CAAP), Genoa, Italy, Lecture Notes in Computer Science, vol. 112, Springer-Verlag, Berlin, pp. 180-193. Reviewed in Math. Reviews 83d:68060.

    553. 1980

  553. *Nachum Dershowitz, November 1980, “The Schorr-Waite Marking Algorithm Revisited”, Information Processing Letters, vol. 11, no. 3, pp. 141-143.
  554. *Nachum Dershowitz and Shmuel Zaks, July 1980, “Enumerations of Ordered Trees”, Discrete Mathematics, vol. 31, no. 1, pp. 9-28. Reviewed in Math. Reviews 81g:05069 and Zbl 443.05049. 
  555. Nachum Dershowitz, May 1980, “The Evolution of Programs”, Report DCS-R-80-1017, Department of Computer Science, University of Illinois, Urbana, IL.
  556. Nachum Dershowitz, 1980, “On the Representation of Ordinals up to Γ0”, Unpublished note, Department of Computer Science, University of Illinois, Urbana, IL.
  557. Zohar Manna (prepared in cooperation with N. Dershowitz), January 1980, Synthesized Structured Programming, Final Technical Report RADC-TR-79-326, Rome Air Development Center, Air Force Systems Command.

    558. 1979

  558. *Nachum Dershowitz, November 1979, “A Note on Simplification Orderings”, Information Processing Letters, vol. 9, no. 5, pp. 212-215. Reviewed in Math. Reviews 81f:68021. 
  559. Nachum Dershowitz, November 1979, “The Schorr-Waite Marking Algorithm Revisited”, Report DCS-R-79-999, Department of Computer Science, University of Illinois, Urbana, IL.
  560. Nachum Dershowitz, October 1979, “Orderings for Term-Rewriting Systems”, Proceedings of the Twentieth IEEE Symposium on Foundations of Computer Science (FOCS), San Juan, PR, pp. 123-131.
  561. *Nachum Dershowitz and Zohar Manna, August 1979, “Proving Termination With Multiset Orderings”, Communications of the ACM (CACM), vol. 22, no. 8, pp. 465-476. 
  562. Nachum Dershowitz, August 1979, “Orderings for Term-Rewriting Systems”, Report DCS-R-79-987, Department of Computer Science, University of Illinois, Urbana, Il.
  563. Nachum Dershowitz and Zohar Manna, July 1979, “Proving Termination with Multiset Orderings”, Proceedings of the Sixth International EATCS Colloquium on Automata, Languages and Programming (ICALP), Graz, Austria, Lecture Notes in Computer Science, vol. 71, Springer-Verlag, Berlin, pp. 188-202.
  564. Nachum Dershowitz and Shmuel Zaks, June 1979, “Enumerations of Ordered Trees”, Report DCS-R-79-970, Department of Computer Science, University of Illinois, Urbana, IL.
  565. Nachum Dershowitz, April 1979, “A Note on Simplification Orderings”, Report DCS-4-79-986, Department of Computer Science, University of Illinois, Urbana, IL.

    566. 1978

  566. Nachum Dershowitz and Zohar Manna, May 1978, “Inference Rules for Program Annotation”, Proceedings of the Third International Conference on Software Engineering, Atlanta, GA, pp. 158-166. Reviewed in Computing Reviews 20:34,421.
  567. Nachum Dershowitz and Zohar Manna, March 1978, “Proving Termination with Multiset Orderings”, Memo AIM-310, STAN-CS-78-651, Stanford Artificial Intelligence Laboratory, Stanford University, Stanford, CA.
  568. *Rony Attar, Yaacov Choueka, Nachum Dershowitz, and Aviezri S. Fraenkel, January 1978, “KEDMA—Linguistic Tools for Retrieval Systems”, J. of the Association of Computing Machinery (JACM), vol. 25, no. 1, pp. 52-66. Reviewed in Computing Reviews 19:33,532 and Math. Reviews 57 #4702.

    569. 1977

  569. *Nachum Dershowitz and Zohar Manna, November 1977, “The Evolution of Programs: Automatic Program Modification”, IEEE Trans. on Software Engineering, vol. SE-3, no. 6, pp. 377-385. Reviewed in Computing Reviews 19:32,987 and Math. Reviews 56 #10100.
  570. Nachum Dershowitz and Zohar Manna, October 1977, “Inference Rules for Program Annotation”, Memo AIM-303, STAN-CS-77-631, Stanford Artificial Intelligence Laboratory, Stanford University, Stanford, CA.
  571. Nachum Dershowitz, August 1977, “Automatic Program Annotation”, Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI), Cambridge, MA, pp. 378.
  572. Rony Attar, Yaacov Choueka, Nachum Dershowitz, and Aviezri S. Fraenkel, May 1977, “KEDMA—Linguistic Tools for Retrieval Systems”, Technical Report No. 4 (June 1976; revised May 1977), The Responsa Retrieval Project, The Institute for Information Retrieval and Computational Linguistics (IRCOL), Bar-Ilan University and Department of Applied Mathematics, The Weizmann Institute of Science, Israel.
  573. Nachum Dershowitz and Zohar Manna, January 1977, “The Evolution of Programs: A System for Automatic Program Modification”, Proceedings of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, CA, pp. 144-154.

    574. 1976

  574. Nachum Dershowitz and Zohar Manna, December 1976, “The Evolution of Programs: A System for Automatic Program Modification”, Memo AIM-294, STAN-CS-76-586, Stanford Artificial Intelligence Laboratory, Stanford University, Stanford, CA.

    575. 1975

  575. Nachum Dershowitz and Zohar Manna, July 1975, “On Automating Structured Programming”, Proceedings of the IRIA Symposium on Proving and Improving Programs (Construction, amélioration et vérification de programmes), G. Huet and G. Kahn, eds., Institut de recherche d'informatique et d'automatique, Arc-et-Senans, France, pp. 167-193.
  576. Nachum Dershowitz and Zohar Manna, July 1975, “On Automating Structured Programming”, Report, Department of Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel.
  577. *Nachum Dershowitz, June 1975, “A Simplified Loop-Free Algorithm for Generating Permutations”, BIT (Numerical Mathematics), vol. 15, no. 2, pp. 158-164. Reviewed in Zbl 0317.05006.


Legend

**Book (latest edition)
++Edited work
°°Collection
*Journal article
°Chapter in book
$Software or resource
+Conference paper (refereed; not superceded)
#Review or abstract or essay (not superceded)
@Technical report or informal paper (not superceded)