Nachum Dershowitz

PUBLICATIONS

Books Favorites Topical Drafts Legend
In Press Pending 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. *Lior Wolf, Yair Hanani, Kfir Bar, and Nachum Dershowitz, 2014, “Joint word2vec Networks for Bilingual Semantic Representations”, International Journal of Computational Linguistics and Applications.
  2. *Noga Levy, Adiel Ben-Shalom, Itai Ben-Shalom, Lior Wolf, Nachum Dershowitz, Roni Shweka, and Yaacov Choueka, 2014, “Consolidating the Results of Automatic Search in Large Scale Digital Collections”, in Digital Palaeography, Stewart Brookes, Malte Rehbein, and Peter Stokes, eds., Digital Research in the Arts and Humanities Series, Ashgate Publishing, Aldershot, UK.
  3. ++Nachum Dershowitz and Ephraim Nissan, editors, 2014, Language, Culture, Computation: Studies in Honor of Yaacov Choueka, Lecture Notes in Computer Science, vols. 8001-8003, Springer-Verlag, Berlin (three volumes).
  4. Nachum Dershowitz and Ephraim Nissan, 2014, “Yaacov Choueka: A Profile”, Language, Culture, Computation: Studies in Honor of Yaacov Choueka, Part I: Computing – Theory and Technology, Nachum Dershowitz and Ephraim Nissan, eds., Lecture Notes in Computer Science, vol. 8001, Springer-Verlag, Heidelberg, pp. 19-36.
  5. *Kfir Bar, Yaacov Choueka, and Nachum Dershowitz, 2014, “Matching Phrases for Arabic-to-English Example-Based Translation System”, Language, Culture, Computation: Studies in Honor of Yaacov Choueka, Part III: Computational Linguistics and Linguistics, Nachum Dershowitz and Ephraim Nissan, eds., Lecture Notes in Computer Science, vol. 8003, Springer-Verlag, Heidelberg, pp. 54-63.
  6. *Yaacov Choueka, Nachum Dershowitz, and Liad Tal, 2014, “Matching with a Hierarchical Ontology”, Language, Culture, Computation: Studies in Honor of Yaacov Choueka, Part I: Computing – Theory and Technology, Nachum Dershowitz and Ephraim Nissan, eds., Lecture Notes in Computer Science, vol. 8001, Springer-Verlag, Heidelberg, pp. 394-397.
  7. *Nachum Dershowitz and Andrey Rosenberg, 2014, “Arabic Character Recognition”, Language, Culture, Computation: Studies in Honor of Yaacov Choueka, Part I: Computing – Theory and Technology, Nachum Dershowitz and Ephraim Nissan, eds., Lecture Notes in Computer Science, vol. 8001, Springer-Verlag, Heidelberg, pp. 583-601.
  8. +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.
  9. Pending

  10. +Nachum Dershowitz and Evgenia Falkovich, 2014, “The Invariance Thesis”.
  11. +Nachum Dershowitz, Qian Wang, and Jean-Pierre Jouannaud, 2013, “The Algebra of Infinite Sequences: Notations and Formalization”.
  12. *Navot Akiva, Idan Dershowitz, Nachum Dershowitz, and Moshe Koppel, 2013, “Computerized Source Criticism of Biblical Texts”.
  13. *Nachum Dershowitz and Christian Rinderknecht, 2013, “The Average Height of Catalan Trees by Counting Lattice Paths”.
  14. Tal Rubenczyk, Nachum Dershowitz, Yaacov Choueka, Michael Flor, Oren Hod, and Assaf Roth, May 2004, “Search Engine Method and Apparatus” (patent pending).
  15. Nachum Dershowitz and Claude Kirchner, May 2006, “Dispositif et procédé de résolution de contraintes (Equation-Solving Method and Device)” (patent pending).
  16. Oren Hod, Assaf Roth, Tal Rubenczyk, Nachum Dershowitz, Erez Lotan, Liad Tal, and Yael Villa, October 2006, “Learning Spelling Corrections from Query Logs” (patent pending).
  17. In Preparation

  18. Nachum Dershowitz and Gilles Dowek, I, Computer.
  19. Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, March 2010, “Exact Exploration”.
  20. Edward M. Reingold and Nachum Dershowitz, Calendrical Calculations: The Ultimate Edition (fourth edition), Cambridge University Press (print and online editions).
  21. Nachum Dershowitz and Edward M. Reingold, Mathematics for the Programmer, McGraw-Hill.
  22. Nachum Dershowitz, Bernhard Gramlich, Mitsuhiro Okada, G. Sivakumar, and Claus-Peter Wirth, “Conditional Confluence”.
  23. 2014

  24. +Nachum Dershowitz and Lior Wolf, July 2014, “From Caves to Cyberspace: AI Aids in the Study of the Dead Sea Scrolls”, Xth Congress of the European Association of Jewish Studies, Paris.
  25. +Nachum Dershowitz, July 2014, “Another Proof for the Recursive Path Ordering”, Informal Proceedings of the 14th International Workshop on Termination (WST 2014), Vienna, Austria.
  26. +Nachum Dershowitz and Evgenia Falkovich, July 2014, “Cellular Automata are Generic”, Proceedings of the Tenth International Workshop on Developments in Computational Models (DCM 2014), Vienna, Austria.
  27. +Jiaxiang Liu, Nachum Dershowitz, and Jean-Pierre Jouannaud, July 2014, “Confluence by Critical Pair Analysis”, Proceedings of the International Conference on Rewriting Techniques and Applications (RTA), Vienna, Austria, Lecture Notes in Computer Science, vol. 8560, Springer-Verlag, Switzerland, pp. 287-302.
  28. #Benjamin Klein, Nachum Dershowitz, Lior Wolf, Orna Almogi, and Dorji Wangchuk, July 2014, “Finding Inexact Quotations Within a Tibetan Buddhist Corpus (Poster)”, Digital Humanities (DH) 2014, Lausanne, Switzerland, pp. 486-488.
  29. #Idan Dershowitz, Nachum Dershowitz, Tomer Hasid, and Amnon Ta-Shma, July 2014, “Orthography and Biblical Criticism (Poster)”, Digital Humanities (DH) 2014, Lausanne, Switzerland, pp. 451-453.
  30. +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.
  31. +Nachum Dershowitz and Evgenia Falkovich, June 2014, “Generic Parallel Algorithms”, Proceedings of Computability in Europe 2014: Language, Life, Limits (CiE), Budapest, Hungary.
  32. +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.
  33. +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, Kathmandu, Nepal, Lecture Notes in Computer Science, vol. 8404, Springer-Verlag, Heidelberg, pp. 254-270.
  34. #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.
  35. 2013

  36. +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.
  37. 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.
  38. Nachum Dershowitz, August 2013, “Ordinal Path Orderings”, Informal Proceedings of the 13th International Workshop on Termination (WST 2013), Bertinoro, Italy, pp. 31-35.
  39. +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, USA.
  40. +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, USA.
  41. #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.
  42. *Nachum Dershowitz and Gilles Dowek, July 2013, “Universality in Two Dimensions”, Journal of Logic and Computation. link
  43. 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.
  44. #Gitit Kehat and Nachum Dershowitz, June 2013, “Statistical Transliteration of Judeo-Arabic Text” (Poster), Israeli Seminar on Computational Linguistics (ISCOL), Beersheba, Israel.
  45. #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.
  46. Arthur Brongniart, Gilles Dowek, and Nachum Dershowitz, 2013, “Turing-2D (Simulation d'une machine de Turing 2D)”, online software.
  47. #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.
  48. *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.
  49. *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. link
  50. 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.
  51. *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.
  52. 2012

  53. +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.
  54. *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. link
  55. Edward M. Reingold and Nachum Dershowitz, October 2012, “Calendars”, McGraw-Hill Encyclopedia of Science & Technology, 11th ed. link
  56. *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.
  57. *Nachum Dershowitz and Edward M. Reingold, September 2012, “Modulo Intervals: A Proposed Notation”, ACM SIGACT News, vol. 43, no. 3, pp. 60-64. link
  58. +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. link
  59. *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. link
  60. *Nachum Dershowitz and Evgenia Falkovich, 2012, “Effectiveness”, Hector Zenil, ed., A Computable Universe; Understanding Computation & Exploring Nature As Computation, World Scientific/Imperial College Press, pp. 77-97.
  61. ++Nachum Dershowitz, ed., June 2012, Proceedings of the ACM/IEEE Symposium on Logic in Computer Science (LICS), Dubrovnik, Croatia. link
  62. ++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.
  63. #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.
  64. +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. link
  65. +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.
  66. 2011

  67. *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.
  68. *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, Norderstedt: Books on Demand, Germany, pp. 157-179.
  69. +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. link
  70. +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.
  71. *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. link
  72. +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.
  73. Nachum Dershowitz, July 2011, “The Generic Model of Computation”, informal publication, arXiv:1208.2585 [cs.LO].
  74. Nachum Dershowitz and Evgenia Falkovich, July 2011, “A Formalization and Proof of the Extended Church-Turing Thesis (Extended Abstract)”, informal publication, arXiv:1207.7148 [cs.LO].
  75. 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.
  76. Lior Wolf and Nachum Dershowitz, July 2011, “Identifying Join Candidates in the Cairo Genizah” (Abstract), ESF Workshop on Digital Palaeography, Würzburg, Germany.
  77. Nachum Dershowitz, July 2011, “What is an Effective Algorithm?” (Abstract), 14th Congress of Logic, Methodology and Philosophy of Science (CLMPS), Nancy, France.
  78. 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.
  79. Alex Zhicharevich and Nachum Dershowitz, June 2011, “Matching Poorly Recognized Texts to a Corpus” (Poster), Israeli Seminar on Computational Linguistics (ISCOL), Bar-Ilan University.
  80. Roni Shweka, Yaacov Choueka, Lior Wolf, Nachum Dershowitz, and Masha Zeldin, June 2011, “Automatic Extraction of Catalog Data from Genizah Fragments' Images” (Extended Abstract), Digital Humanities (DH 2011), Palo Alto, CA.
  81. +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.
  82. +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. link
  83. *Roni Shweka, Yaacov Choueka, Lior Wolf, and Nachum Dershowitz, 2011, “Veqarev otam ehad el ehad’: Zihuy ktav yad vetseruf qit'ei hagnizah beemtsa'ut mahshev (Identifying Handwriting and Joining Genizah Fragments by Computer)”, Ginzei Kedem, vol. 7, pp. 171-207. (In Hebrew.)
  84. ++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. link
  85. #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.
  86. #Nachum Dershowitz, January 2011, “Using Semantics in Translation” (Abstract), Workshop on Machine Translation and Morphologically-rich Languages, Haifa, Israel.
  87. 2010

  88. +Kfir Bar and Nachum Dershowitz, December 2010, “Tel Aviv University's System Description for IWSLT 2010”, International Workshop on Spoken Language Translation (IWSLT 2010), Paris, France.
  89. +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.
  90. +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.
  91. ++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).
  92. +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.
  93. 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.
  94. +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.
  95. Nachum Dershowitz, July 2010, “An Abstract Path Ordering”, Eleventh International Workshop on Termination (WST), Edinburgh, Scotland.
  96. 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.
  97. °°Nachum Dershowitz, Shalom Lappin, and Shuly Wintner, editors, June 2010, Abstracts of the Israeli Seminar on Computational Linguistics (ISCOL), Tel Aviv University, Israel.
  98. *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.).
  99. 2009

  100. 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.
  101. *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. link
  102. +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 (in conjunction with ICCV 2009), Kyoto, Japan. Best paper award.
  103. ++Christian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, and Grzegorz Rozenberg, editors, 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.
  104. Udi Boker and Nachum Dershowitz, September 2009, “Three Paths to Effectiveness”, Preproceedings of HyperNet09: The UC2009 Hypercomputation Workshop, Ponta Delgada, Portugal, pp. 23-28.
  105. 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.
  106. °Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, July 2009, “Exact Exploration”, TechReport MSR-TR-2009-99, Microsoft Research, Redmond, WA.
  107. *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. link
  108. *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.
  109. *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. link
  110. 2008

  111. **Nachum Dershowitz and Edward M. Reingold, 2008, Calendrical Calculations, third edition, Cambridge University Press (477+xxxi pages).
  112. ++Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich, editors, 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). link
  113. +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.
  114. Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, November 2008, “When are Two Algorithms the Same?”, informal publication, arXiv:0811.0811v1 [cs.GL].
  115. +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.
  116. *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.
  117. #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.
  118. +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.
  119. +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.
  120. Nachum Dershowitz, August 2008, “Bit Inference”, Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, pp. 26-35.
  121. +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.
  122. +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.
  123. Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, February 2008, “When are Two Algorithms the Same?”, TechReport MSR-TR-2008-20, Microsoft Research, Redmond, WA.
  124. Nachum Dershowitz and Alexander Nadel, 2008, “From Total Assignment Enumeration to a Modern SAT Solver”, informal publication, arXiv:1110.5867v1 [cs.LO].
  125. 2007

  126. Maria Paola Bonacina and Nachum Dershowitz, October 2007, “Canonical Ground Horn Theories”, Research Report 49/2007, Dipartimento di Informatica, Università degli Studi di Verona.
  127. ++Nachum Dershowitz and Andrei Voronkov, editors, 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).
  128. °°Nachum Dershowitz and Andrei Voronkov, editors, October 2007, Short Papers of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-07), Yerevan, Armenia.
  129. Jacob Katz, Ziyad Hanna, and Nachum Dershowitz, October 2007, “Space-Efficient Bounded Model Checking”, arXiv copy.
  130. Nachum Dershowitz and Iddo Tzameret, July 2007, “Complexity of Propositional Proofs under a Promise”, informal publication, arXiv:0707.4255v1 [cs.CC].
  131. +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. link
  132. Nachum Dershowitz and Yuri Gurevich, July 2007, “A Natural Axiomatization of Church's Thesis”, TechReport MSR-TR-2007-85, Microsoft Research, Redmond, WA.
  133. +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.
  134. 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.
  135. +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. link
  136. *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. link
  137. +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.
  138. *Maria Paola Bonacina and Nachum Dershowitz, January 2007, “Abstract Canonical Inference”, ACM Transactions on Computational Logic, vol. 8, no. 1, article 6. link
  139. 2006

  140. +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. link
  141. Nachum Dershowitz, Guan-Shieng Huang, and Mitchell A. Harris, October 2006, “Enumeration Problems Related to Ground Horn Theories”, informal publication, arXiv:cs/0610054v2 [cs.LO].
  142. ++Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich, editors, October 2006, Special issue on “Logic and Computation: Symposia at Tel Aviv”, Logic Journal of the IGPL, vol. 14, no. 5.
  143. *Udi Boker and Nachum Dershowitz, October 2006, “Comparing Computational Power”, Logic Journal of the IGPL, vol. 14, no. 5, pp. 633-648. link
  144. +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. link
  145. *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. link
  146. *Nachum Dershowitz and Claude Kirchner, July 2006, “Abstract Canonical Presentations”, Theoretical Computer Science, vol. 357, nos. 1-3, pp. 53-69. link
  147. Kfir Bar, Nachum Dershowitz, and Yaacov Choueka, June 2006, “Example-Based Arabic-English Machine Translation” (Abstract), Israeli Seminar in Computational Linguistics, Haifa.
  148. Nachum Dershowitz, “Maimonidean Calendrical Astronomy” (Abstract), unpublished.
  149. Nachum Dershowitz, Ziyad Hanna, and Alexander Nadel, May 2006, “A Scalable Algorithm for Minimal Unsatisfiable Core Extraction”, informal publication, arXiv:cs/0605085v1 [cs.LO].
  150. +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. link
  151. 2005

  152. *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.
  153. +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. link
  154. Nachum Dershowitz, November 2005, “Entropic Questioning”. Unpublished draft.
  155. Udi Boker and Nachum Dershowitz, October 2005, “Comparing Computational Power”, informal publication, arXiv:cs/0510069v1 [cs.LO].
  156. 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.
  157. Nachum Dershowitz, E. Castedo Ellerman, and Edward M. Reingold, July 2005, “Well-Quasi-Orderings on Binary Trees”. Unpublished draft.
  158. 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. link
  159. +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. link
  160. +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. link
  161. Nachum Dershowitz and Iddo Tzameret, June 2005, “A Gap Tree Theorem for Quasi-ordered Labels”. Unpublished draft.
  162. +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. link
  163. 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. link
  164. +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. link
  165. +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. link
  166. +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. link
  167. 2004

  168. Nachum Dershowitz, December 2004, “Hindu Calendrical Calculations” (Abstract), Abstracts of International Conference on History and Heritage of Mathematical Sciences, Indore, India.
  169. +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.
  170. +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.
  171. 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.
  172. Maria Paola Bonacina and Nachum Dershowitz, May 2004, “Abstract Canonical Inference”, Research Report 18/2004, Dipartimento di Informatica, Università degli Studi di Verona.
  173. Maria Paola Bonacina and Nachum Dershowitz, May 2004, “Abstract Canonical Inference”, informal publication, arXiv.org.
  174. °°Nachum Dershowitz and Alexander Rabinovich, editors, March 2004, Abstracts of an International Symposium on Models of Computation, School of Computer Science, Tel Aviv University, Ramat Aviv, Israel.
  175. Nachum Dershowitz, March 2004, “Comparing Computational Power” (Abstract), Abstracts of an International Symposium on Models of Computation, N. Dershowitz and A. Rabinovich, editors, School of Computer Science, Tel Aviv University, Ramat Aviv, Israel.
  176. °°Arnon Avron and Nachum Dershowitz, editors, March 2004, Abstracts of an International Symposium on Logic and Computation, School of Computer Science, Tel Aviv University, Ramat Aviv, Israel.
  177. 2003

  178. ++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).
  179. *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.
  180. +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.
  181. 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, Herzelia, Israel.
  182. Nachum Dershowitz and Mitchell A. Harris, October 2003, “Enumerating Satisfiable Propositional Formulæ”, unpublished draft.
  183. 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.
  184. +Nachum Dershowitz and Iddo Tzameret, August 2003, “Gap Embedding for Well-Quasi Orderings”, Proceedings of the 10th Workshop on Logic, Language, Information and Computation, Ouro Preto, Minas Gerais, Brazil; Electronic Notes in Computer Science, vol. 84, pp. 80-90, September 2003. link
  185. 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).
  186. 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.
  187. 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.
  188. 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.
  189. 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. link
  190. Nachum Dershowitz, April 2003, “Ground Canonicity”, informal publication, arXiv:cs/0304017v1 [cs.LO].
  191. Nachum Dershowitz and Mitchell A. Harris, January 2003, “Enumerating the Propositions Equivalents to a Boolean Formula”. Cf. Chauvin et al.
  192. 2002

  193. Claude Kirchner and Nachum Dershowitz, July 2002, “Abstract Canonical Inference Systems” (Abstract), 16th International Workshop on Unification, Copenhagen, Denmark.
  194. **Edward M. Reingold and Nachum Dershowitz, 2002, Calendrical Tabulations, Cambridge University Press (606+xxx pages).
  195. Nachum Dershowitz and Ely Pinchover, 2002, “Automatic Inductive Synthesis of Functional Programs”, unpublished draft.
  196. 2001

  197. *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.
  198. Nachum Dershowitz and Claude Kirchner, December 2001, “Inversion Strategies”, Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'01), Cyprus.
  199. #Nachum Dershowitz, September 1999, “Sharing Constructors” (Abstract), 14th International Workshop on Algebraic Development Techniques, Bonas, France.
  200. °°Nachum Dershowitz, editor, June 2001, Abstracts of the Bar-Ilan International Symposium on Artificial Intelligence (BISFAI '01), Ramat-Gan, Israel.
  201. °°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.
  202. 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).
  203. Edward M. Reingold and Nachum Dershowitz, with Robert McNally, 2001, Calendrica 2.1 (Calendrical Calculations Millennium Software Package), Cambridge University Press (CD-ROM).
  204. Nachum Dershowitz and Edward M. Reingold, 2001, Calendrica Applet, online software.
  205. *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. link
  206. 2000

  207. +Nachum Dershowitz, 2000, “[Hebrew] Calendar”, Reader's Guide to Judaism, M. Terry, ed., Fitzroy Dearborn, Chicago, IL, pp. 97-98.
  208. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik, December 2000, “A General Framework for Automatic Termination Analysis of Logic Programs”, informal publication, arXiv:cs/0012008v1 [cs.PL].
  209. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik, “Automatic Termination Analysis of Programs Containing Arithmetic Predicates”, November 2000, informal publication, arXiv.org.
  210. *Nachum Dershowitz, October 2000, “Artificial Intelligence: Retrospective/Prospective”, Annals of Mathematics and Artificial Intelligence, vol. 28, nos. 1-4, pp. 3-5. link
  211. Nachum Dershowitz and Claude Kirchner, editors, September 2000, RULE 2000: Proceedings of the First International Workshop on Rule-Based Programming, Montreal, Canada.
  212. 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. link
  213. *Nachum Dershowitz and Naomi Lindenstrauss, 2000, “Abstract And Parallel Machines”, Computers and Artificial Intelligence, vol. 19, pp. 475-493.
  214. 1999

  215. 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, vol. 30, no. 1, pp. 39-58. link
  216. +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.
  217. Nachum Dershowitz, June 1999, “The Power of Simplification: A Survey on Rewriting in Theorem Proving” (Abstract), Bar-Ilan Symposium on Foundations of Artificial Intelligence.
  218. 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.
  219. 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.
  220. Nachum Dershowitz, May 1999, “Undecidability Results that Follow from Results in Recursion Theory” (Abstract), Abstracts of the Fifth International Workshop on Termination, Dagstuhl, Germany.
  221. +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”.
  222. 1998

  223. *Nachum Dershowitz and Edward M. Reingold, 1998, “Implementing Solar Astronomical Calendars”, in: Birashkname, M. Akrami, ed., Shahid Beheshti University, Tehran, Iran, pp. 477-487.
  224. Nachum Dershowitz, September 1998, “Calendar Function Inversion” (Abstract), CCL II Workshop, Jerusalem, Israel.
  225. #Nachum Dershowitz 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.
  226. Nachum Dershowitz and Subrata Mitra, July 1998, “Function Inversion”, Proceedings of the 5th Workshop of Logic, Language, Information and Computation, R. J. G. B. de Queiroz and M. Finger, eds., University of São Paulo, São Paulo, Brazil, pp. 55-59.
  227. Nachum Dershowitz, May 1998, “Realistic Virtuality”, abstract of unpublished essay.
  228. 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.
  229. Nachum Dershowitz, 1998, photo credit, in Schulamith Chava Halevy, HaTirah HaPnimit (Interior Castle: Poems about Being and Being Coerced), in Hebrew, Eked, Tel Aviv, 1998.
  230. °°Nachum Dershowitz and Ralf Treinen, 1998-2010, “The Complete List of RTA Open Problems”, maintained online at http://rtaloop.mancoosi.univ-paris-diderot.fr.
  231. Nachum Dershowitz and Shmuel Zaks, February 1998, “Trees and Paths”, unpublished draft. See Xavier Viennot's counterexample.
  232. Mitchell A. Harris and Nachum Dershowitz, 1998, “Ordered Construction of Combinatorial Objects”, unpublished draft. Cf. the theory of combinatorial species.
  233. 1997

  234. 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.
  235. +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.
  236. +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.
  237. 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.
  238. 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.
  239. 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.
  240. Edward M. Reingold and Nachum Dershowitz, 1997, Calendrica 1.0 (Calendrical Calculations Software Package).
  241. 1996

  242. Nachum Dershowitz, September 1996, “Narrowing Streams” (Abstract), CCL II Workshop, Escorial, Spain.
  243. Nachum Dershowitz, May 1996, “Trees, Ordinals, and Termination” (Abstract), Proceedings of the 3rd Workshop on Logic, Language, Information and Computation, Salvador, Brazil.
  244. Nachum Dershowitz and Laurent Vigneron, “Rewriting Home Page” (web page), maintained online at http://www.rewriting.org.
  245. Nachum Dershowitz, “Software Horror Stories” (web page), maintained online at http://www.cs.tau.ac.il/~nachum/horror.html.
  246. °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.
  247. 1995

  248. +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.
  249. 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).
  250. Nachum Dershowitz, 1995, “Contextual Termination” (Abstract), Second International Workshop on Termination, La Bresse, France.
  251. *Nachum Dershowitz and Charles Hoot, May 1995, “Natural Termination”, Theoretical Computer Science, vol. 142, no. 2, pp. 179-207. link
  252. ++Nachum Dershowitz and Naomi Lindenstrauss, editors, 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).
  253. +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.
  254. °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.
  255. 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.
  256. +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.
  257. 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.
  258. Nachum Dershowitz, Jean-Pierre Jouannaud, and Jan Willem Klop, February 1995, “Problems in Rewriting III”, Technical report IR-380, Computer Science, Vrije University, Amsterdam.
  259. 1994

  260. 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.
  261. Nachum Dershowitz and Naomi Lindenstrauss, eds., July 1994, Abstracts of the International Workshop on Conditional (and Typed) Rewriting Systems, Hebrew University, Jerusalem, Israel.
  262. 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.
  263. *Leo Bachmair and Nachum Dershowitz, March 1994, “Equational Inference, Canonical Proofs, and Proof Orderings”, J. of the Association of Computing Machinery, vol. 41, no. 2, pp. 236-276. link
  264. 1993

  265. +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.
  266. 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.
  267. +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.
  268. Nachum Dershowitz and Charles Hoot, June 1993, “Topics in Termination”, Proceedings of the Fifth International Conference on Rewriting Techniques and Applications (Montreal, Canada), C. Kirchner, ed., Lecture Notes in Computer Science, Berlin, Springer-Verlag.
  269. Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop, 1993, “More Problems in Rewriting”, Report CS-R9332, Centrum voor Wiskunde en Informatica, Amsterdam.
  270. Nachum Dershowitz, 1993, “A Taste of Rewriting”, Leibnitz Center for Research in Computer Science, Hebrew University, Technical report 93-5, Jerusalem, Israel.
  271. Alan Bundy, Nachum Dershowitz, Martin Golumbic, and Hélène Kirchner, editors, August 1993, Proceedings of the Workshop on Heuristics and Search Guiding in Automated Theorem Proving, 13th International Conference on Artificial Intelligence, Chambery, France.
  272. 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 (Montreal, Canada), C. Kirchner, ed., Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 468-487.
  273. *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.
  274. *Nachum Dershowitz and Yuh-jeng Lee, May/June 1993, “Logical Debugging”, J. of Symbolic Computation, vol. 15, issue 5-6, pp. 745-773.
  275. 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.
  276. +Nachum Dershowitz, April 1993, “Trees, Ordinals, and Termination”, Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development (Orsay, France), M.-C. Gaudel and J.-P. Jouannaud, eds., Lecture Notes in Computer Science, vol. 668, Springer-Verlag, Berlin, pp. 243-250.
  277. *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. link
  278. +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.
  279. +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.
  280. 1992

  281. 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.
  282. Nachum Dershowitz, July 1992, “Bands and Related Semigroups”, Preliminary Papers of the Third International Workshop on Conditional Rewriting Systems, M. witch, ed., Pont-a-Mousson, France, pp. 162-164.
  283. +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.
  284. +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.
  285. Edward M. Reingold and Nachum Dershowitz, April 1992, tree.sty (Binary Tree Drawing in LaTeX Using the PiCTeX Macros), TeX macro package.
  286. +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.
  287. 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.
  288. 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.
  289. 1991

  290. Nachum Dershowitz, Jean-Pierre Jouannaud, and Jan Willem Klop, December 1991, “Open Problems in Rewriting”, Technical report CS-R9114, Computer Science, CWI, Amsterdam.
  291. +Nachum Dershowitz, August 1991, “Ordering-Based Strategies for Horn Clauses”, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, pp. 118-124, Sydney, Australia.
  292. +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.
  293. 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.
  294. Nachum Dershowitz, June 1991, “Natural Termination Proofs”, Proceedings of the Bar-Ilan Symposium on Foundations of Artificial Intelligence, Bar-Ilan University, Ramat-Gan, Israel.
  295. *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. link
  296. 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.
  297. +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.
  298. 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.
  299. 1990

  300. *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.
  301. +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.
  302. +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.
  303. +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.
  304. *Nachum Dershowitz and Edward M. Reingold, September 1990, “Calendrical Calculations”, Software—Practice and Experience, vol. 20, no. 9, pp. 899-928.
  305. Nachum Dershowitz, August 1990, “Rewriting Methods for Word Problems”, Abstracts of International Colloquium on Words, Languages and Combinatorics, Kyoto, Japan, pp. 18-20.
  306. Nachum Dershowitz, August 1990, “Infinite Rewriting”, Proceedings of Toyohashi Symposium on Theoretical Computer Science, K. Hashiguchi, ed., Toyohashi, Japan, pp. 27-31.
  307. Nachum Dershowitz and E. Pinchover, July 1990, “Inductive Synthesis of Equational Programs”, Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI, Boston, MA, pp. 234-239.
  308. 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.
  309. Nachum Dershowitz and Edward M. Reingold, April 1990, rangecite.sty (Document-Style Option for any Style with Numeric Citations).
  310. *Nachum Dershowitz and Mitsuhiro Okada, 1990, “A Rationale for Conditional Equational Programming”, Theoretical Computer Science, vol. 75, nos. 1-2, pp. 111-138. link
  311. *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.
  312. 1989

  313. *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. link
  314. *Leo Bachmair and Nachum Dershowitz, October 1989, “Completion for Rewriting Modulo a Congruence”, Theoretical Computer Science, vol. 67, no. 2 & 3. link
  315. *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.
  316. *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.
  317. Edward M. Reingold and Nachum Dershowitz, September 1989, “Calendrical Calculations”, Report DCS-R-89-1541, Department of Computer Science, University of Illinois, Urbana, IL.
  318. 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.
  319. +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.
  320. +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.
  321. ++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).
  322. 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.
  323. *N. Alan Josephson and Nachum Dershowitz, January/March 1989, “An Implementation of Narrowing”, J. Logic Programming, vol. 6, no. 1&2, pp. 57-77. link
  324. 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.
  325. 1988

  326. 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.
  327. *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.
  328. *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.
  329. *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. link
  330. +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.
  331. +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.
  332. +Nachum Dershowitz, Mitsuhiro Okada, and G. Sivakumar, May 1988, “Canonical Conditional Rewrite Systems”, Proceedings of the Ninth Conference on Automated Deduction (Argonne, IL), Lecture Notes in Computer Science, vol. 310, Springer-Verlag, Berlin, pp. 538-549. Reviewed in Zbl 667.68043.
  333. 1987

  334. 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.
  335. 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.
  336. +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.
  337. +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.
  338. +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, Ithaca, NY, pp. 331-337.
  339. 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.
  340. 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.
  341. Nachum Dershowitz, May 1987, “Completion and Its Applications”, Preliminary Proceedings of the Colloquium on the Resolution of Equations in Algebraic Structures, Lakeway, TX.
  342. 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.
  343. Nachum Dershowitz and Yuh-jeng Lee, April 1987, “Deductive Debugging”, Report DCS-F-87-961, Department of Computer Science, University of Illinois, Urbana, IL.
  344. *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.
  345. 1986

  346. 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.
  347. D. N. Jayasimha and Nachum Dershowitz, December 1986, “Bounded Fairness”, Technical Report 615, Center for Supercomputing Research and Development, University of Illinois, Urbana, IL.
  348. *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. link
  349. *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.
  350. 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.
  351. +Leo Bachmair and Nachum Dershowitz, July 1986, “Commutation, Transformation, and Termination”, Proceedings of the Eighth International Conference on Automated Deduction (Oxford, England), J. H. Siekmann, ed., Lecture Notes in Computer Science, vol. 230, Springer-Verlag, Berlin, pp. 5-20. link
  352. 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.
  353. 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.
  354. Nachum Dershowitz and David A. Plaisted, April 1986, “Equational Programming”, Report R-86-1265, Department of Computer Science, University of Illinois, Urbana, IL.
  355. 1985

  356. 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.
  357. Nachum Dershowitz, October 1985, “Completeness of Completion” (Abstract), Bulletin of the European Association for Theoretical Computer Science, vol. 27, pp. 94.
  358. Nachum Dershowitz, August 1985, “Synthesis by Completion”, Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, CA, pp. 208-214.
  359. Nachum Dershowitz, August 1985, “Termination of Rewriting”, Report R-85-1220, Department of Computer Science, University of Illinois, Urbana, IL.
  360. *Nachum Dershowitz, July 1985, “Program Abstraction and Instantiation”, ACM Trans. on Programming Languages and Systems, vol. 7, no. 3, pp. 446-477.
  361. 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.
  362. *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. link
  363. 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.
  364. *Nachum Dershowitz, March 1985, “Synthetic Programming”, Artificial Intelligence, vol. 25, pp. 323-373. Reviewed in Computing Reviews 8601-0062. link
  365. Nachum Dershowitz, March 1985, “Synthesis by Completion”, Interim report, Center for Applied Logic and Artificial Intelligence, Bar-Ilan University, Ramat-Gan, Israel.
  366. 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). link
  367. 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. link
  368. Nachum Dershowitz and Shmuel Zaks, January 1985, “Patterns in Trees”, Report LCS/TM-271, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA.
  369. 1984

  370. °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.
  371. 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.
  372. 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.
  373. 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.
  374. 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.
  375. Nachum Dershowitz, January 1984, “Programming by Analogy”, Rapport, Laboratoire de Recherche en Informatique, Universite de Paris-Sud, Orsay, France.
  376. 1983

  377. 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.
  378. +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.
  379. +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.
  380. Nachum Dershowitz, June 1983, “Programming by Analogy”, Proceedings of the Second International Workshop on Machine Learning, University of Illinois, Monticello, IL, pp. 26-31.
  381. °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.
  382. °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.
  383. °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.
  384. 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.
  385. 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.
  386. **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.
  387. 1982

  388. Nachum Dershowitz, December 1982, “Applications of the Knuth-Bendix Completion Procedure”, Proceedings of the Seminaire d'Informatique Theorique, Paris, France, pp. 95-111.
  389. 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.
  390. Nachum Dershowitz and Shmuel Zaks, April 1982, “The Cycle Lemma and Some Applications”, Technical Report 238, Department of Computer Science, Technion, Haifa, Israel.
  391. °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.
  392. *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”. link
  393. 1981

  394. +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.
  395. 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.
  396. *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. link
  397. 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. link
  398. 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.
  399. 1980

  400. *Nachum Dershowitz, November 1980, “The Schorr-Waite Marking Algorithm Revisited”, Information Processing Letters, vol. 11, no. 3, pp. 141-143. link
  401. *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. link
  402. Nachum Dershowitz, May 1980, “The Evolution of Programs”, Report DCS-R-80-1017, Department of Computer Science, University of Illinois, Urbana, IL.
  403. Nachum Dershowitz, 1980, “On the Representation of Ordinals up to Γ0”, Unpublished, Department of Computer Science, University of Illinois, Urbana, IL.
  404. 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.
  405. 1979

  406. *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. link
  407. Nachum Dershowitz, November 1979, “The Schorr-Waite Marking Algorithm Revisited”, Report DCS-R-79-999, Department of Computer Science, University of Illinois, Urbana, IL.
  408. Nachum Dershowitz, October 1979, “Orderings for Term-Rewriting Systems”, Proceedings of the Twentieth IEEE Symposium on Foundations of Computer Science, San Juan, PR, pp. 123-131.
  409. *Nachum Dershowitz and Zohar Manna, August 1979, “Proving Termination With Multiset Orderings”, Communications of the ACM, vol. 22, no. 8, pp. 465-476. link
  410. Nachum Dershowitz, August 1979, “Orderings for Term-Rewriting Systems”, Report DCS-R-79-987, Department of Computer Science, University of Illinois, Urbana, Il.
  411. 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.
  412. 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.
  413. Nachum Dershowitz, April 1979, “A Note on Simplification Orderings”, Report DCS-4-79-986, Department of Computer Science, University of Illinois, Urbana, IL.
  414. 1978

  415. 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.
  416. 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.
  417. *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, vol. 25, no. 1, pp. 52-66. Reviewed in Computing Reviews 19:33,532 and Math. Reviews 57 #4702. link
  418. 1977

  419. *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. link
  420. 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.
  421. Nachum Dershowitz, August 1977, “Automatic Program Annotation”, Proceedings of the Fifth International Joint Conference on Artificial Intelligence, Cambridge, MA, pp. 378.
  422. 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. link
  423. 1976

  424. 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.
  425. 1975

  426. Nachum Dershowitz and Zohar Manna, July 1975, “On Automating Structured Programming”, Proceedings of the IRIA Symposium on Proving and Improving Programs, G. Huet and G. Kahn, eds., Arc-et-Senans, France, pp. 167-193.
  427. Nachum Dershowitz and Zohar Manna, July 1975, “On Automating Structured Programming”, Report, Department of Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel.
  428. *Nachum Dershowitz, June 1975, “A Simplified Loop-Free Algorithm for Generating Permutations”, Nordisk Tidskr. Informationsbehandling (BIT Numerical Mathematics), vol. 15, no. 2, pp. 158-164. Reviewed in Zbl 0317.05006. link

Legend

**Book (latest edition)
++Edited work
°°Collection
*Journal article or chapter in book
+Conference paper or review (refereed or invited; not superceded)
#Abstract or poster (not superceded)
°Technical report (not superceded)