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
showing all ?? records
2020 – today
- 2024
- [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 - [i31]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) - [i30]Bronson Brown-DeVost, Berat Kurar-Barakat, Nachum Dershowitz:
Segmenting Dead Sea Scroll Fragments for a Scientific Image Set. CoRR abs/2406.15692 (2024) - [i29]Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas:
Drag Rewriting. CoRR abs/2406.16046 (2024) - [i28]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) - 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]