default search action
Nachum Dershowitz
Person information
- affiliation: Tel Aviv University, Israel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c150]Berat Kurar-Barakat, Daria Vasyutinsky Shapira, Sharva Gogawale, Mohammad Suliman, Nachum Dershowitz:
Computational Paleography of Medieval Hebrew Scripts. CHR 2024: 707-717 - [c149]Daniel Weisberg Mitelman, Nachum Dershowitz, Kfir Bar:
Code-Switching and Back-Transliteration Using a Bilingual Model. EACL (Findings) 2024: 1501-1511 - [c148]Nachum Dershowitz:
Alternate Semantics of the Guarded Conditional. LPAR Complementary Volume 2024: 30-52 - [i32]Rakesh M. Verma, Nachum Dershowitz, Victor Zeng, Dainis Boumber, Xuting Liu:
Domain-Independent Deception: A New Taxonomy and Linguistic Analysis. CoRR abs/2402.01019 (2024) - [i31]Bronson Brown-DeVost, Berat Kurar-Barakat, Nachum Dershowitz:
Segmenting Dead Sea Scroll Fragments for a Scientific Image Set. CoRR abs/2406.15692 (2024) - [i30]Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas:
Drag Rewriting. CoRR abs/2406.16046 (2024) - [i29]Rakesh M. Verma, Nachum Dershowitz:
The Pitfalls of Publishing in the Age of LLMs: Strange and Surprising Adventures with a High-Impact NLP Journal. CoRR abs/2407.12026 (2024) - [i28]Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
Exact Exploration. CoRR abs/2410.10706 (2024) - 2023
- [j65]Nachum Dershowitz, Rakesh M. Verma:
Rebutting Rebuttals. Commun. ACM 66(9): 35-41 (2023) - [j64]Shlomo Tannor, Nachum Dershowitz, Moshe Lavee:
Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanhuma Material. J. Data Min. Digit. Humanit. 2023 (2023) - [c147]Gideon Yoffe, Axel Bühler, Nachum Dershowitz, Thomas Römer, Eli Piasetzky, Israel Finkelstein, Barak Sober:
A Statistical Exploration of Text Partition Into Constituents: The Case of the Priestly Source in the Books of Genesis and Exodus. ACL (Findings) 2023: 1918-1940 - [c146]Gideon Yoffe, Axel Bühler, Thomas Römer, Nachum Dershowitz, Eli Piasetzky, Israel Finkelstein, Barak Sober:
A Statistical Exploration of the Hypothesized Partition of the Books of Genesis and Exodus into Priestly and non-Priestly Components. DH 2023 - [c145]Samuel Londner, Yoav Phillips, Hadar Miller, Nachum Dershowitz, Tsvi Kuflik, Moshe Lavee:
Linguistic Knowledge Within Handwritten Text Recognition Models: A Real-World Case Study. ICDAR (4) 2023: 147-164 - [i27]Gideon Yoffe, Axel Bühler, Nachum Dershowitz, Israel Finkelstein, Eli Piasetzky, Thomas Römer, Barak Sober:
A Statistical Exploration of Text Partition Into Constituents: The Case of the Priestly Source in the Books of Genesis and Exodus. CoRR abs/2305.02170 (2023) - 2022
- [j63]Saeed Esmail, Kfir Bar, Nachum Dershowitz:
How Much Does Lookahead Matter for Disambiguation? Partial Arabic Diacritization Case Study. Comput. Linguistics 48(4): 1103-1123 (2022) - [j62]Kfir Bar, Nachum Dershowitz, Lena Dankin:
Metaphor Interpretation Using Word Embeddings. Computación y Sistemas 26(3) (2022) - [j61]Arnon Avron, Nachum Dershowitz, Alexander Rabinovich:
Preface. Fundam. Informaticae 186(1-4) (2022) - [i26]Rakesh M. Verma, Nachum Dershowitz, Victor Zeng, Xuting Liu:
Domain-Independent Deception: Definition, Taxonomy and the Linguistic Cues Debate. CoRR abs/2207.01738 (2022) - [i25]Shlomo Tannor, Nachum Dershowitz, Moshe Lavee:
Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanhuma Material. CoRR abs/2211.09710 (2022) - 2021
- [j60]Nachum Dershowitz:
Let's be honest. Commun. ACM 64(5): 37-41 (2021) - [c144]Barak Itkin, Lior Wolf, Nachum Dershowitz:
Computational Visual Ceramicology: Matching Image Outlines to Catalog Sketches. AAAI 2021: 14822-14830 - [c143]Nachum Dershowitz, Rotem Oshman, Tal Roth:
The communication complexity of multiparty set disjointness under product distributions. STOC 2021: 1194-1207 - 2020
- [c142]Taivanbat Badamdorj, Adiel Ben-Shalom, Nachum Dershowitz, Lior Wolf:
Fast Search with Poor OCR. DH 2020 - [c141]Daniel Stökl Ben Ezra, Bronson Brown-DeVost, Nachum Dershowitz, Alexey Pechorin, Benjamin Kiessling:
Transcription Alignment for Highly Fragmentary Historical Manuscripts: The Dead Sea Scrolls. ICFHR 2020: 361-366 - [c140]Ori Terner, Kfir Bar, Nachum Dershowitz:
Transliteration of Judeo-Arabic Texts into Arabic Script Using Recurrent Neural Networks. WANLP@COLING 2020: 85-96 - [e12]Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner:
Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 12180, Springer 2020, ISBN 978-3-030-48005-9 [contents] - [i24]Nachum Dershowitz, Ori Terner:
Transliteration of Judeo-Arabic Texts into Arabic Script Using Recurrent Neural Networks. CoRR abs/2004.11405 (2020) - [i23]Nachum Dershowitz:
Between Broadway and the Hudson. CoRR abs/2006.06516 (2020) - [i22]Kfir Bar, Nachum Dershowitz, Lena Dankin:
Automatic Metaphor Interpretation Using Word Embeddings. CoRR abs/2010.02665 (2020)
2010 – 2019
- 2019
- [j59]Nachum Dershowitz, Richard Waldinger:
Zohar Manna (1939-2018). Formal Aspects Comput. 31(6): 643-660 (2019) - [j58]Orna Almogi, Lena Dankin, Nachum Dershowitz, Lior Wolf:
A Hackathon for Classical Tibetan. J. Data Min. Digit. Humanit. 2019 (2019) - [j57]Nachum Dershowitz, Jean-Pierre Jouannaud:
Drags: A compositional algebraic framework for graph rewriting. Theor. Comput. Sci. 777: 204-231 (2019) - [c139]Sivan Keret, Lior Wolf, Nachum Dershowitz, Eric Werner, Orna Almogi, Dorji Wangchuk:
Transductive Learning for Reading Handwritten Tibetan Manuscripts. ICDAR 2019: 214-221 - [c138]Nachum Dershowitz, Zvi Retchkiman Königsberg:
Computability and Stability for Hybrid Algorithms. ICSI (1) 2019: 395-401 - [i21]Kfir Bar, Vered Zilberstein, Ido Ziv, Heli Baram, Nachum Dershowitz, Samuel Itzikowitz, Eiran Vadim Harel:
Semantic Characteristics of Schizophrenic Speech. CoRR abs/1904.07953 (2019) - [i20]Nachum Dershowitz:
Nonleaf Patterns in Trees: Protected Nodes and Fine Numbers. CoRR abs/1908.04329 (2019) - [i19]Taivanbat Badamdorj, Adiel Ben-Shalom, Nachum Dershowitz, Lior Wolf:
Fast Search with Poor OCR. CoRR abs/1909.07899 (2019) - [i18]Barak Itkin, Lior Wolf, Nachum Dershowitz:
Computational Ceramicology. CoRR abs/1911.09960 (2019) - 2018
- [c137]Jeremy E. Dawson, Nachum Dershowitz, Rajeev Goré:
Well-Founded Unions. IJCAR 2018: 117-133 - [c136]Nachum Dershowitz, Jean-Pierre Jouannaud:
Graph Path Orderings. LPAR 2018: 307-325 - [c135]Gil Levi, Pinhas Nisnevich, Adiel Ben-Shalom, Nachum Dershowitz, Lior Wolf:
A Method for Segmentation, Matching and Alignment of Dead Sea Scrolls. WACV 2018: 208-217 - 2017
- [j56]Nachum Dershowitz:
Touchard's Drunkard. J. Integer Seq. 20(1): 17.1.5 (2017) - [c134]Ido Kissos, Nachum Dershowitz:
Image and text correction using language models. ASAR 2017: 158-162 - [c133]Lior Uzan, Nachum Dershowitz, Lior Wolf:
Qumran Letter Restoration by Rotation and Reflection Modified PixelCNN. ICDAR 2017: 23-29 - [c132]Nachum Dershowitz, Daniel Labenski, Adi Silberpfennig, Lior Wolf, Yaron Tsur:
Relating Articles Textually and Visually. ICDAR 2017: 274-280 - [c131]Francesco Banterle, Barak Itkin, Matteo Dellepiane, Lior Wolf, Marco Callieri, Nachum Dershowitz, Roberto Scopigno:
VASESKETCH: Automatic 3D Representation of Pottery from Paper Catalog Drawings. ICDAR 2017: 683-690 - 2016
- [j55]Nachum Dershowitz:
Boris (Boaz) Trakhtenbrot, 1921-2016. Bull. EATCS 120 (2016) - [j54]Itai Ben-Shalom, Noga Levy, Lior Wolf, Nachum Dershowitz, Adiel Ben-Shalom, Roni Shweka, Yaacov Choueka, Tamir Hazan, Yaniv Bar:
Active Congruency-Based Reranking. Frontiers Digit. Humanit. 3: 7 (2016) - [j53]Nachum Dershowitz, Evgenia Falkovich-Derzhavetz:
On the parallel computation thesis. Log. J. IGPL 24(3): 346-374 (2016) - [j52]Nachum Dershowitz, Gilles Dowek:
Universality in two dimensions. J. Log. Comput. 26(1): 143-167 (2016) - [j51]Arnon Avron, Nachum Dershowitz:
Cayley's Formula: A Page From The Book. Am. Math. Mon. 123(7): 699-700 (2016) - [c130]Orna Almogi, Lena Dankin, Nachum Dershowitz, Yair Hoffman, Dimitri Pauls, Dorji Wangchuk, Lior Wolf:
Stemming and Segmentation for Classical Tibetan. CICLing (1) 2016: 294-306 - [c129]Olivier Bournez, Nachum Dershowitz, Pierre Néron:
Axiomatizing Analog Algorithms. CiE 2016: 215-224 - [c128]Ido Kissos, Nachum Dershowitz:
OCR Error Correction Using Character Correction and Feature-Based Word Classification. DAS 2016: 198-203 - [p3]Udi Boker, Nachum Dershowitz:
Honest Computability and Complexity. Martin Davis on Computability, Computational Logic, and Mathematical Foundations 2016: 151-173 - [i17]Olivier Bournez, Nachum Dershowitz, Pierre Néron:
Axiomatizing Analog Algorithms. CoRR abs/1604.04295 (2016) - [i16]Ido Kissos, Nachum Dershowitz:
OCR Error Correction Using Character Correction and Feature-Based Word Classification. CoRR abs/1604.06225 (2016) - [i15]Nachum Dershowitz:
Tripartite Unions. CoRR abs/1606.01148 (2016) - [i14]Nachum Dershowitz:
1700 Forests. CoRR abs/1608.08740 (2016) - [i13]Orna Almogi, Lena Dankin, Nachum Dershowitz, Lior Wolf:
A Hackathon for Classical Tibetan. CoRR abs/1609.08389 (2016) - [i12]Nachum Dershowitz:
Touchard's Drunkard. CoRR abs/1612.04076 (2016) - 2015
- [c127]Adi Silberpfennig, Lior Wolf, Nachum Dershowitz, Seraogi Bhagesh, Bidyut B. Chaudhuri:
Improving OCR for an under-resourced script using unsupervised word-spotting. ICDAR 2015: 706-710 - [c126]Gil Sadeh, Lior Wolf, Tal Hassner, Nachum Dershowitz, Daniel Stökl Ben Ezra:
Viral transcript alignment. ICDAR 2015: 711-715 - [c125]Jonathan Kalechstain, Vadim Ryvchin, Nachum Dershowitz:
Hints Revealed. SAT 2015: 71-87 - [e11]Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte:
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 9300, Springer 2015, ISBN 978-3-319-23533-2 [contents] - 2014
- [j50]Lior Wolf, Yair Hanani, Kfir Bar, Nachum Dershowitz:
Joint word2vec Networks for Bilingual Semantic Representations. Int. J. Comput. Linguistics Appl. 5(1): 27-42 (2014) - [c124]Kfir Bar, Nachum Dershowitz:
The Tel Aviv University System for the Code-Switching Workshop Shared Task. CodeSwitch@EMNLP 2014: 139-143 - [c123]Nachum Dershowitz, Ephraim Nissan:
Yaacov Choueka: A Profile. Language, Culture, Computation (1) 2014: 19-36 - [c122]Kfir Bar, Yaacov Choueka, Nachum Dershowitz:
Matching Phrases for Arabic-to-English Example-Based Translation System. Language, Culture, Computation (3) 2014: 54-63 - [c121]Yaacov Choueka, Nachum Dershowitz, Liad Tal:
Matching with a Hierarchical Ontology. Language, Culture, Computation (1) 2014: 395-398 - [c120]Nachum Dershowitz, Andrey Rosenberg:
Arabic Character Recognition. Language, Culture, Computation (1) 2014: 584-602 - [c119]Kfir Bar, Nachum Dershowitz:
Inferring Paraphrases for a Highly Inflected Language from a Monolingual Corpus. CICLing (2) 2014: 254-270 - [c118]Nachum Dershowitz, Evgenia Falkovich:
Generic Parallel Algorithms. CiE 2014: 133-142 - [c117]Itai Ben-Shalom, Noga Levy, Lior Wolf, Nachum Dershowitz, Adiel Ben-Shalom, Roni Shweka, Yaacov Choueka, Tamir Hazan, Yaniv Bar:
Congruency-Based Reranking. CVPR 2014: 2107-2114 - [c116]Adiel Ben-Shalom, Yaacov Choueka, Nachum Dershowitz, Roni Shweka, Lior Wolf:
Where is my Other Half? DH 2014 - [c115]Idan Dershowitz, Nachum Dershowitz, Tomer Hasid, Amnon Ta-Shma:
Orthography and Biblical Criticism. DH 2014 - [c114]Benjamin Eliot Klein, Nachum Dershowitz, Lior Wolf, Orna Almogi, Dorji Wangchuk:
Finding Inexact Quotations Within a Tibetan Buddhist Corpus. DH 2014 - [c113]Alon Kovalchuk, Lior Wolf, Nachum Dershowitz:
A Simple and Fast Word Spotting Method. ICFHR 2014: 3-8 - [c112]Jiaxiang Liu, Nachum Dershowitz, Jean-Pierre Jouannaud:
Confluence by Critical Pair Analysis. RTA-TLCA 2014: 287-302 - [c111]Nachum Dershowitz, Evgenia Falkovich:
Cellular Automata are Generic. DCM 2014: 17-32 - [e10]Nachum Dershowitz, Ephraim Nissan:
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 8001, Springer 2014, ISBN 978-3-642-45320-5 [contents] - [e9]Nachum Dershowitz, Ephraim Nissan:
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 8002, Springer 2014, ISBN 978-3-642-45323-6 [contents] - [e8]Nachum Dershowitz, Ephraim Nissan:
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III. Lecture Notes in Computer Science 8003, Springer 2014, ISBN 978-3-642-45326-7 [contents] - 2013
- [j49]Roni Shweka, Yaacov Choueka, Lior Wolf, Nachum Dershowitz:
Automatic extraction of catalog data from digital images of historical manuscripts. Lit. Linguistic Comput. 28(2): 315-330 (2013) - [c110]Maria Paola Bonacina, Nachum Dershowitz:
Canonical Ground Horn Theories. Programming Logics 2013: 35-71 - [c109]Nachum Dershowitz:
Res Publica: The Universal Model of Computation (Invited Talk). CSL 2013: 5-10 - [c108]Yoram Zarai, Tamar Lavee, Nachum Dershowitz, Lior Wolf:
Integrating Copies Obtained from Old and New Preservation Efforts. ICDAR 2013: 47-51 - [c107]Tal Hassner, Lior Wolf, Nachum Dershowitz:
OCR-Free Transcript Alignment. ICDAR 2013: 1310-1314 - 2012
- [j48]Nachum Dershowitz, Edward M. Reingold:
Modulo intervals: a proposed notation. SIGACT News 43(3): 60-64 (2012) - [j47]Nachum Dershowitz:
Jumping and escaping: Modular termination and the abstract path ordering. Theor. Comput. Sci. 464: 35-47 (2012) - [c106]Kfir Bar, Nachum Dershowitz:
Deriving Paraphrases for Highly Inflected Languages from Comparable Documents. COLING 2012: 185-200 - [c105]Noga Levy, Lior Wolf, Nachum Dershowitz, Peter A. Stokes:
Estimating the Distinctiveness of Graphemes and Allographs in Palaeographic Classification. DH 2012: 264-267 - [c104]Alex Zhicharevich, Nachum Dershowitz:
Language Classification and Segmentation of Noisy Documents in Hebrew Scripts. LaTeCH@EACL 2012: 112-117 - [c103]Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich:
Towards an Axiomatization of Simple Analog Algorithms. TAMC 2012: 525-536 - 2011
- [j46]Lior Wolf, Rotem Littman, Naama Mayer, Tanya German, Nachum Dershowitz, Roni Shweka, Yaacov Choueka:
Identifying Join Candidates in the Cairo Genizah. Int. J. Comput. Vis. 94(1): 118-135 (2011) - [j45]José Félix Costa, Nachum Dershowitz:
Introduction. Nat. Comput. 10(4): 1215-1217 (2011) - [c102]Moshe Koppel, Navot Akiva, Idan Dershowitz, Nachum Dershowitz:
Unsupervised Decomposition of a Document into Authorial Components. ACL 2011: 1356-1364 - [c101]Roni Shweka, Yaacov Choueka, Lior Wolf, Nachum Dershowitz, Masha Zeldin:
Automatic Extraction of Catalog Data from Genizah Fragments' Images. DH 2011: 224-225 - [c100]Lior Wolf, Lior Litwak, Nachum Dershowitz, Roni Shweka, Yaacov Choueka:
Active clustering of document fragments using information derived from both images and catalogs. ICCV 2011: 1661-1667 - [c99]Lior Wolf, Liza Potikha, Nachum Dershowitz, Roni Shweka, Yaacov Choueka:
Computerized paleography: Tools for historical manuscripts. ICIP 2011: 3545-3548 - [c98]Nachum Dershowitz:
The Generic Model of Computation. DCM 2011: 59-71 - [c97]Nachum Dershowitz, Evgenia Falkovich:
A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-. DCM 2011: 72-78 - [i11]Nachum Dershowitz, Alexander Nadel:
From Total Assignment Enumeration to Modern SAT Solver. CoRR abs/1110.5867 (2011) - 2010
- [j44]Nachum Dershowitz, Iddo Tzameret:
Complexity of propositional proofs under a promise. ACM Trans. Comput. Log. 11(3): 18:1-18:30 (2010) - [c96]Andreas Blass, Nachum Dershowitz, Wolfgang Reisig:
Yuri, Logic, and Computer Science. Fields of Logic and Computation 2010: 1-48 - [c95]Udi Boker, Nachum Dershowitz:
Three Paths to Effectiveness. Fields of Logic and Computation 2010: 135-146 - [c94]Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
Exact Exploration and Hanging Algorithms. CSL 2010: 140-154 - [c93]Kfir Bar, Nachum Dershowitz:
Tel aviv university's system description for IWSLT 2010. IWSLT 2010: 169-174 - [e7]Andreas Blass, Nachum Dershowitz, Wolfgang Reisig:
Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 6300, Springer 2010, ISBN 978-3-642-15024-1 [contents]
2000 – 2009
- 2009
- [j43]Udi Boker, Nachum Dershowitz:
The influence of domain interpretations on computational models. Appl. Math. Comput. 215(4): 1323-1339 (2009) - [j42]Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
When are two algorithms the same? Bull. Symb. Log. 15(2): 145-168 (2009) - [j41]Nachum Dershowitz, Shmuel Zaks:
More Patterns in Trees: Up and Down, Young and Old, Odd and Even. SIAM J. Discret. Math. 23(1): 447-465 (2009) - [c92]Nachum Dershowitz:
On Lazy Commutation. Languages: From Formal to Natural 2009: 59-82 - [c91]Lior Wolf, Rotem Littman, Naama Mayer, Nachum Dershowitz, Roni Shweka, Yaacov Choueka:
Automatically identifying join candidates in the Cairo Genizah. ICCV Workshops 2009: 978-979 - [e6]Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg:
Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings. Lecture Notes in Computer Science 5715, Springer 2009, ISBN 978-3-642-03744-3 [contents] - 2008
- [b4]Nachum Dershowitz, Edward M. Reingold:
Calendrical calculations (3. ed.). Cambridge University Press 2008, ISBN 978-0-521-88540-9, pp. I-XXIX, 1-479 - [j40]Nachum Dershowitz, Yuri Gurevich:
A Natural Axiomatization of Computability and Proof of Church's Thesis. Bull. Symb. Log. 14(3): 299-350 (2008) - [c90]Arnon Avron, Nachum Dershowitz, Alexander Rabinovich:
Boris A. Trakhtenbrot: Academic Genealogy and Publications. Pillars of Computer Science 2008: 46-57 - [c89]Nachum Dershowitz, Claude Kirchner:
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets. Concurrency, Graphs and Models 2008: 194-208 - [c88]Udi Boker, Nachum Dershowitz:
The Church-Turing Thesis over Arbitrary Domains. Pillars of Computer Science 2008: 199-229 - [c87]Nachum Dershowitz:
Canonicity! IJCAR 2008: 327-331 - [c86]Maria Paola Bonacina, Nachum Dershowitz:
Canonical Inference for Implicational Systems. IJCAR 2008: 380-395 - [c85]Nachum Dershowitz:
Bit Inference. PAAR/ESHOL 2008 - [e5]Arnon Avron, Nachum Dershowitz, Alexander Rabinovich:
Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Lecture Notes in Computer Science 4800, Springer 2008, ISBN 978-3-540-78126-4 [contents] - [i10]Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
When are two algorithms the same? CoRR abs/0811.0811 (2008) - 2007
- [j39]Nachum Dershowitz, E. Castedo Ellerman:
Leanest quasi-orderings. Inf. Comput. 205(4): 535-556 (2007) - [j38]Maria Paola Bonacina, Nachum Dershowitz:
Abstract canonical inference. ACM Trans. Comput. Log. 8(1): 6 (2007) - [c84]Nachum Dershowitz, Georg Moser:
The Hydra Battle Revisited. Rewriting, Computation and Proof 2007: 1-27 - [c83]Nachum Dershowitz, Iddo Tzameret:
Complexity of Propositional Proofs Under a Promise. ICALP 2007: 291-302 - [c82]Nachum Dershowitz, Ziyad Hanna, Alexander Nadel:
Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver. SAT 2007: 287-293 - [e4]Nachum Dershowitz, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Lecture Notes in Computer Science 4790, Springer 2007, ISBN 978-3-540-75558-6 [contents] - [i9]Nachum Dershowitz, Iddo Tzameret:
Complexity of Propositional Proofs under a Promise. CoRR abs/0707.4255 (2007) - [i8]Jacob Katz, Ziyad Hanna, Nachum Dershowitz:
Space-Efficient Bounded Model Checking. CoRR abs/0710.4629 (2007) - 2006
- [j37]Udi Boker, Nachum Dershowitz:
A hypercomputational alien. Appl. Math. Comput. 178(1): 44-57 (2006) - [j36]Udi Boker, Nachum Dershowitz:
Comparing Computational Power. Log. J. IGPL 14(5): 633-647 (2006) - [j35]Nachum Dershowitz, Claude Kirchner:
Abstract canonical presentations. Theor. Comput. Sci. 357(1-3): 53-69 (2006) - [c81]Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss:
Boolean Rings for Intersection-Based Satisfiability. LPAR 2006: 482-496 - [c80]Nachum Dershowitz, Ziyad Hanna, Alexander Nadel:
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction. SAT 2006: 36-41 - [i7]Nachum Dershowitz, Ziyad Hanna, Alexander Nadel:
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction. CoRR abs/cs/0605085 (2006) - [i6]Nachum Dershowitz, Mitchell A. Harris, Guan-Shieng Huang:
Enumeration Problems Related to Ground Horn Theories. CoRR abs/cs/0610054 (2006) - 2005
- [j34]Nachum Dershowitz:
Book review: Term Rewriting Systems by "Terese" (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6. Theory Pract. Log. Program. 5(3): 395-399 (2005) - [c79]Nachum Dershowitz:
Primitive Rewriting. Processes, Terms and Cycles 2005: 127-147 - [c78]Udi Boker, Nachum Dershowitz:
How to Compare the Power of Computational Models. CiE 2005: 54-64 - [c77]Jacob Katz, Ziyad Hanna, Nachum Dershowitz:
Space-Efficient Bounded Model Checking. DATE 2005: 686-687 - [c76]Nachum Dershowitz:
The Four Sons of Penrose. LPAR 2005: 125-138 - [c75]Nachum Dershowitz, E. Castedo Ellerman:
Leanest Quasi-orderings. RTA 2005: 32-45 - [c74]Nachum Dershowitz:
Open. Closed. Open. RTA 2005: 376-393 - [c73]Nachum Dershowitz, Ziyad Hanna, Alexander Nadel:
A Clause-Based Heuristic for SAT Solvers. SAT 2005: 46-60 - [c72]Nachum Dershowitz, Ziyad Hanna, Jacob Katz:
Bounded Model Checking with QBF. SAT 2005: 408-414 - [c71]Udi Boker, Nachum Dershowitz:
Abstract Effective Models. DCM@ICALP 2005: 15-23 - [i5]Udi Boker, Nachum Dershowitz:
Comparing Computational Power. CoRR abs/cs/0510069 (2005) - 2004
- [c70]Nachum Dershowitz:
Termination by Abstraction. ICLP 2004: 1-18 - [c69]Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss:
Boolean Ring Satisfiability. SAT 2004 - [c68]Yulik Feldman, Nachum Dershowitz, Ziyad Hanna:
Parallel Multithreaded Satisfiability Solver: Design and Implementation. PDMC 2004: 75-90 - [i4]Maria Paola Bonacina, Nachum Dershowitz:
Abstract Canonical Inference. CoRR cs.LO/0406030 (2004) - 2003
- [c67]Nachum Dershowitz:
Pæan to Zohar Manna. Verification: Theory and Practice 2003: 1-10 - [c66]Nachum Dershowitz, Doddaballapur Narasimha-Murthy Jayasimha, Seungjoon Park:
Bounded Fairness. Verification: Theory and Practice 2003: 304-317 - [c65]Nachum Dershowitz, Claude Kirchner:
Abstract Saturation-Based Inference. LICS 2003: 65-74 - [c64]Nachum Dershowitz, Iddo Tzameret:
Gap Embedding for Well-Quasi-Orderings. WoLLIC 2003: 80-90 - [c63]Nachum Dershowitz:
Canonicity. FTP 2003: 120-132 - [e3]Nachum Dershowitz:
Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday. Lecture Notes in Computer Science 2772, Springer 2003, ISBN 3-540-21002-4 [contents] - [i3]Nachum Dershowitz:
Ground Canonicity. CoRR cs.LO/0304017 (2003) - 2002
- [b3]Edward M. Reingold, Nachum Dershowitz:
Calendrical Tabulations - 1900 - 2200. Cambridge University Press 2002, ISBN 978-0-521-78253-1, pp. I-XXX, 1-606 - [b2]Edward M. Reingold, Nachum Dershowitz:
Calendrical calcuations - the millenium edition. Cambridge University Press 2002, ISBN 978-0-521-77752-0, pp. I-XXXII, 1-422 - 2001
- [j33]Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik:
A General Framework for Automatic Termination Analysis of Logic Programs. Appl. Algebra Eng. Commun. Comput. 12(1/2): 117-156 (2001) - [p2]Nachum Dershowitz, David A. Plaisted:
Rewriting. Handbook of Automated Reasoning 2001: 535-610 - 2000
- [j32]Nachum Dershowitz:
Artificial intelligence: Retrospective/prospective. Ann. Math. Artif. Intell. 28(1-4): 3-5 (2000) - [j31]Naomi Lindenstrauss, Nachum Dershowitz:
Abstract and-parallel Machines. Comput. Artif. Intell. 19(5): 475-493 (2000) - [i2]Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik:
Automatic Termination Analysis of Programs Containing Arithmetic Predicates. CoRR cs.PL/0011036 (2000) - [i1]Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik:
A General Framework for Automatic Termination Analysis of Logic Programs. CoRR cs.PL/0012008 (2000)
1990 – 1999
- 1999
- [c62]Nachum Dershowitz, Subrata Mitra:
Jeopardy. RTA 1999: 16-29 - [c61]Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik:
Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Verification of Logic Programs@ICLP 1999: 39-58 - 1998
- [c60]Nachum Dershowitz, Ralf Treinen:
An On-line Problem Database. RTA 1998: 332-342 - 1997
- [c59]Nachum Dershowitz, Naomi Lindenstrauss:
Abstract And-Parallel Machines. Euro-Par 1997: 1221-1225 - [c58]Nachum Dershowitz:
When are Two Rewrite Systems More than None? MFCS 1997: 37-43 - [c57]Nachum Dershowitz:
Innocuous Constructor-Sharing Combinations. RTA 1997: 202-216 - 1995
- [j30]Nachum Dershowitz, Charles Hoot:
Natural Termination. Theor. Comput. Sci. 142(2): 179-207 (1995) - [c56]Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop:
Problems in Rewriting III. RTA 1995: 457-471 - [c55]Nachum Dershowitz:
Goal Solving as Operational Semantics. ILPS 1995: 3-17 - [e2]Nachum Dershowitz, Naomi Lindenstrauss:
Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings. Lecture Notes in Computer Science 968, Springer 1995, ISBN 3-540-60381-6 [contents] - 1994
- [j29]Leo Bachmair, Nachum Dershowitz:
Equational Inference, Canonical Proofs, and Proof Orderings. J. ACM 41(2): 236-276 (1994) - [c54]Nachum Dershowitz:
From Specifications to Programs: Induction in the Service of Synthesis (Abstract). AII/ALT 1994: 6-7 - [c53]Nachum Dershowitz:
Hierachical Termination. CTRS 1994: 89-105 - 1993
- [j28]Nachum Dershowitz, Uday S. Reddy:
Deductive and Inductive Synthesis of Equational Programs. J. Symb. Comput. 15(5/6): 467-494 (1993) - [j27]Nachum Dershowitz, Yuh-Jeng Lee:
Logical Debugging. J. Symb. Comput. 15(5/6): 745-773 (1993) - [j26]Edward M. Reingold, Nachum Dershowitz, Stewart M. Clamen:
Calendrical Calculations, II: Three Historical Calendars. Softw. Pract. Exp. 23(4): 383-404 (1993) - [c52]Yuh-Jeng Lee, Nachum Dershowitz:
Debugging Logic Programs Using Specifications. AADEBUG 1993: 75-84 - [c51]Nachum Dershowitz:
Examples of Termination. Term Rewriting 1993: 16-26 - [c50]Nachum Dershowitz, Subrata Mitra:
Higher-Order and Semantic Unification. FSTTCS 1993: 139-150 - [c49]Nachum Dershowitz:
A Taste of Rewrite Systems. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 199-228 - [c48]Nachum Dershowitz, Charles Hoot:
Topics in Termination. RTA 1993: 198-212 - [c47]Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop:
More Problems in Rewriting. RTA 1993: 468-487 - [c46]Nachum Dershowitz:
Trees, Ordinals and Termination. TAPSOFT 1993: 243-250 - 1992
- [c45]Nachum Dershowitz, Subrata Mitra, G. Sivakumar:
Decidable Matching for Convergent Systems (Preliminary Version). CADE 1992: 589-602 - [c44]Nachum Dershowitz, Subrata Mitra:
Path Orderings for Termination of Associative-Commutative Rewriting. CTRS 1992: 168-174 - [c43]Nachum Dershowitz:
Semigroups Satisfying xm+n = xn. CTRS 1992: 307-314 - [c42]Nachum Dershowitz, Edward M. Reingold:
Ordinal Arithmetic with List Structures. LFCS 1992: 117-126 - 1991
- [j25]Nachum Dershowitz, Jean-Pierre Jouannaud:
Notations for Rewting. Bull. EATCS 43: 162-174 (1991) - [j24]Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted:
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . . Theor. Comput. Sci. 83(1): 71-96 (1991) - [c41]Nachum Dershowitz:
Cononical Sets of Horn Clauses. ICALP 1991: 267-278 - [c40]Nachum Dershowitz:
Ordering-Based Strategies for Horn Clauses. IJCAI 1991: 118-125 - [c39]Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop:
Open Problems in Rewriting. RTA 1991: 445-456 - 1990
- [j23]Nachum Dershowitz, Shmuel Zaks:
The Cycle Lemma and Some Applications. Eur. J. Comb. 11(1): 35-40 (1990) - [j22]Nachum Dershowitz, Edward M. Reingold:
Calendrical Calculations. Softw. Pract. Exp. 20(9): 899-928 (1990) - [j21]Nachum Dershowitz, Mitsuhiro Okada:
A Rationale for Conditional Equational Programming. Theor. Comput. Sci. 75(1&2): 111-138 (1990) - [c38]Nachum Dershowitz, Eli Pinchover:
Inductive Synthesis of Equational Programs. AAAI 1990: 234-239 - [c37]Nachum Dershowitz, Subrata Mitra, G. Sivakumar:
Equation Solving in Conditional AC-Theories. ALP 1990: 283-297 - [c36]Nachum Dershowitz, Naomi Lindenstrauss:
An Abstract Concurrent Machine for Rewriting. ALP 1990: 318-331 - [c35]Nachum Dershowitz:
A Maximal-Literal Unit Strategy for Horn Clauses. CTRS 1990: 14-25 - [c34]Nachum Dershowitz, Naomi Lindenstrauss:
A parallel implementation of equational programming. Jerusalem Conference on Information Technology 1990: 426-435 - [p1]Nachum Dershowitz, Jean-Pierre Jouannaud:
Rewrite Systems. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 243-320
1980 – 1989
- 1989
- [j20]Nachum Dershowitz, Shmuel Zaks:
Patterns in trees. Discret. Appl. Math. 25(3): 241-255 (1989) - [j19]N. Alan Josephson, Nachum Dershowitz:
An Implementation of Narrowing. J. Log. Program. 6(1&2): 57-77 (1989) - [j18]Leo Bachmair, Nachum Dershowitz:
Completion for Rewriting Modulo a Congruence. Theor. Comput. Sci. 67(2&3): 173-201 (1989) - [c33]Nachum Dershowitz, Hon Wai Leong:
Fast Exchange Sorts. FODO 1989: 101-113 - [c32]Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted:
Infinite Normal Forms (Preliminary Version). ICALP 1989: 249-262 - [c31]Nachum Dershowitz, Naomi Lindenstrauss:
Average Time Analyses Related to Logic Programming. ICLP 1989: 369-381 - [c30]Nachum Dershowitz, Stéphane Kaplan:
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite. POPL 1989: 250-259 - [e1]Nachum Dershowitz:
Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings. Lecture Notes in Computer Science 355, Springer 1989, ISBN 3-540-51081-8 [contents] - 1988
- [j17]Leo Bachmair, Nachum Dershowitz:
Critical Pair Criteria for Completion. J. Symb. Comput. 6(1): 1-18 (1988) - [j16]Nachum Dershowitz, Leo Marcus, Andrzej Tarlecki:
Existence, Uniqueness, and Construction of Rewrite Systems. SIAM J. Comput. 17(4): 629-639 (1988) - [c29]Nachum Dershowitz, G. Sivakumar:
Goal-Directed Equation Solving. AAAI 1988: 166-170 - [c28]Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar:
Canonical Conditional Rewrite Systems. CADE 1988: 538-549 - [c27]Nachum Dershowitz, Mitsuhiro Okada:
Conditional Equational Programming and the Theory of Conditional Term Rewriting. FGCS 1988: 337-346 - [c26]Nachum Dershowitz, Mitsuhiro Okada:
Proof-Theoretic Techniques for Term Rewriting Theory. LICS 1988: 104-111 - 1987
- [j15]Nachum Dershowitz:
Termination of Rewriting. J. Symb. Comput. 3(1/2): 69-116 (1987) - [c25]Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar:
Confluence of Conditional Rewrite Systems. CTRS 1987: 31-44 - [c24]Nachum Dershowitz, G. Sivakumar:
Solving Goals in Equational Languages. CTRS 1987: 45-55 - [c23]Leo Bachmair, Nachum Dershowitz:
A critical pair criterion for completion modulo a congruence. EUROCAL 1987: 452-453 - [c22]Leo Bachmair, Nachum Dershowitz:
Inference Rules for Rewrite-Based First-Order Theorem Proving. LICS 1987: 331-337 - [c21]Leo Bachmair, Nachum Dershowitz:
Completion for Rewriting Modulo a Congruence. RTA 1987: 192-203 - [c20]Nachum Dershowitz, Yuh-Jeng Lee:
Deductive Debugging. SLP 1987: 298-306 - 1986
- [j14]Nachum Dershowitz, Shmuel Zaks:
Ordered trees and non-crossing partitions. Discret. Math. 62(2): 215-218 (1986) - [c19]Leo Bachmair, Nachum Dershowitz:
Commutation, Transformation, and Termination. CADE 1986: 5-20 - [c18]Leo Bachmair, Nachum Dershowitz:
Critical-pair criteria for the Knuth-Bendix completion procedure. SYMSAC 1986: 215-217 - [c17]Leo Bachmair, Nachum Dershowitz, Jieh Hsiang:
Orderings for Equational Proofs. LICS 1986: 346-357 - [c16]N. Alan Josephson, Nachum Dershowitz:
An Implementation of Narrowing: The RITE Way. SLP 1986: 187-197 - 1985
- [j13]Nachum Dershowitz:
Synthetic Programming. Artif. Intell. 25(3): 323-373 (1985) - [j12]Nachum Dershowitz:
Computing with Rewrite Systems. Inf. Control. 65(2/3): 122-157 (1985) - [j11]Nachum Dershowitz, David A. Plaisted:
Conditional rewriting. ACM SIGSOFT Softw. Eng. Notes 10(4): 55-59 (1985) - [j10]Nachum Dershowitz:
Rewriting and verification. ACM SIGSOFT Softw. Eng. Notes 10(4): 60 (1985) - [j9]Nachum Dershowitz:
Program Abstraction and Instantiation. ACM Trans. Program. Lang. Syst. 7(3): 446-477 (1985) - [c15]Nachum Dershowitz:
Synthesis by Completion. IJCAI 1985: 208-214 - [c14]Nachum Dershowitz:
Termination. RTA 1985: 180-224 - [c13]Nachum Dershowitz, David A. Plaisted:
Logic Programming cum Applicative Programming. SLP 1985: 54-66 - 1984
- [c12]Nachum Dershowitz, Shmuel Zaks:
Patterns in Trees. CAAP 1984: 93-102 - [c11]Nachum Dershowitz, N. Alan Josephson:
Logic Programming by Completion. ICLP 1984: 313-320 - 1983
- [b1]Nachum Dershowitz:
The evolution of programs. Progress in computer science 5, Birkhäuser 1983, ISBN 978-0-8176-3171-0, pp. 1-357 - [c10]Jieh Hsiang, Nachum Dershowitz:
Rewrite Methods for Clausal and Non-Clausal Theorem Proving. ICALP 1983: 331-346 - [c9]Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted:
Associative-Commutative Rewriting. IJCAI 1983: 940-944 - 1982
- [j8]Nachum Dershowitz:
Orderings for Term-Rewriting Systems. Theor. Comput. Sci. 17: 279-301 (1982) - 1981
- [j7]Nachum Dershowitz, Zohar Manna:
Inference Rules for Program Annotation. IEEE Trans. Software Eng. 7(2): 207-222 (1981) - [c8]Nachum Dershowitz, Shmuel Zaks:
Applied Tree Enumerations. CAAP 1981: 180-193 - [c7]Nachum Dershowitz:
Termination of Linear Rewriting Systems (Preliminary Version). ICALP 1981: 448-458 - [c6]Nachum Dershowitz:
The Evolution of Programs: Program Abstraction and Instantiation. ICSE 1981: 79-89 - 1980
- [j6]Nachum Dershowitz, Shmuel Zaks:
Enumerations of ordered trees. Discret. Math. 31(1): 9-28 (1980) - [j5]Nachum Dershowitz:
The Schorr-Waite Marking Algorithm Revisited. Inf. Process. Lett. 11(3): 141-143 (1980)
1970 – 1979
- 1979
- [j4]Nachum Dershowitz, Zohar Manna:
Proving Termination with Multiset Orderings. Commun. ACM 22(8): 465-476 (1979) - [j3]Nachum Dershowitz:
A Note on Simplification Orderings. Inf. Process. Lett. 9(5): 212-215 (1979) - [c5]Nachum Dershowitz:
Orderings for Term-Rewriting Systems. FOCS 1979: 123-131 - [c4]Nachum Dershowitz, Zohar Manna:
Proving termination with Multiset Orderings. ICALP 1979: 188-202 - 1978
- [j2]R. Attar, Yaacov Choueka, Nachum Dershowitz, Aviezri S. Fraenkel:
KEDMA - Linguistic Tools for Retrieval Systems. J. ACM 25(1): 52-66 (1978) - [c3]Nachum Dershowitz, Zohar Manna:
Inference Rules for Program Annotation. ICSE 1978: 158-167 - 1977
- [j1]Nachum Dershowitz, Zohar Manna:
The Evolution of Programs: Automatic Program Modification. IEEE Trans. Software Eng. 3(6): 377-385 (1977) - [c2]Nachum Dershowitz:
Automatic Program Annotation. IJCAI 1977: 378 - [c1]Nachum Dershowitz, Zohar Manna:
The Evolution of Programs: A System for Automatic Program Modification. POPL 1977: 144-154
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 22:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint