Nachum Dershowitz

274 papers A* 26A 22B 15C 6Misc 1Journal 103Unranked 84

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Building Patient Journeys in Hebrew: A Language Model for Clinical Timeline Extraction. CoRR Kai Golan Hashiloni, Brenda Kasabe Nokai, Michal Shevach, Esthy Shemesh, Ronit Bartin, Anna Bergrin, Liran Harel, Nachum Dershowitz, Liat Nadai Arad, Kfir Bar
2025	J	`jnl`	Domain-independent deception: a new taxonomy and linguistic analysis. Frontiers Big Data Rakesh M. Verma, Nachum Dershowitz, Victor Zeng, Dainis Boumber, Xuting Liu
2025	J	`jnl`	Estimating the Influence of Sequentially Correlated Literary Properties in Textual Classification: A Data-Centric Hypothesis-Testing Approach. J. Quant. Linguistics Gideon Yoffe, Nachum Dershowitz, Ariel Vishne, Barak Sober
2025	—	`conf`	Layer Duplication in LLMs. EMNLP (Findings) Neo Eyal, Nachum Dershowitz, Kfir Bar
2024	—	`conf`	Alternate Semantics of the Guarded Conditional. LPAR Complementary Volume Nachum Dershowitz
2024	—	`conf`	Code-Switching and Back-Transliteration Using a Bilingual Model. EACL (Findings) Daniel Weisberg Mitelman, Nachum Dershowitz, Kfir Bar
2024	—	`conf`	Computational Paleography of Medieval Hebrew Scripts. CHR Berat Kurar-Barakat, Daria Vasyutinsky Shapira, Sharva Gogawale, Mohammad Suliman, Nachum Dershowitz
2024	J	`jnl`	Domain-Independent Deception: A New Taxonomy and Linguistic Analysis. CoRR Rakesh M. Verma, Nachum Dershowitz, Victor Zeng, Dainis Boumber, Xuting Liu
2024	J	`jnl`	Drag Rewriting. CoRR Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas
2024	J	`jnl`	Estimating the Influence of Sequentially Correlated Literary Properties in Textual Classification: A Data-Centric Hypothesis-Testing Approach. CoRR Gideon Yoffe, Nachum Dershowitz, Ariel Vishne, Barak Sober
2024	J	`jnl`	Exact Exploration. CoRR Andreas Blass, Nachum Dershowitz, Yuri Gurevich
2024	—	`conf`	MiDRASH - A Project for Computational Analysis of Medieval Hebrew Manuscripts. GCH Daria Vasyutinsky Shapira, Berat Kurar-Barakat, Sharva Gogawale, Mohammad Suliman, Nachum Dershowitz
2024	J	`jnl`	Pitfalls of Publishing in the Age of LLMs. AI Matters Rakesh M. Verma, Nachum Dershowitz
2024	J	`jnl`	Segmentation of Ink and Parchment in Dead Sea Scroll Fragments. CoRR Berat Kurar-Barakat, Nachum Dershowitz
2024	J	`jnl`	Segmenting Dead Sea Scroll Fragments for a Scientific Image Set. CoRR Bronson Brown-DeVost, Berat Kurar-Barakat, Nachum Dershowitz
2024	J	`jnl`	The Pitfalls of Publishing in the Age of LLMs: Strange and Surprising Adventures with a High-Impact NLP Journal. CoRR Rakesh M. Verma, Nachum Dershowitz
2023	—	`conf`	A Statistical Exploration of Text Partition Into Constituents: The Case of the Priestly Source in the Books of Genesis and Exodus. ACL (Findings) Gideon Yoffe, Axel Bühler, Nachum Dershowitz, Thomas Römer, Eli Piasetzky, Israel Finkelstein, Barak Sober
2023	J	`jnl`	A Statistical Exploration of Text Partition Into Constituents: The Case of the Priestly Source in the Books of Genesis and Exodus. CoRR Gideon Yoffe, Axel Bühler, Nachum Dershowitz, Israel Finkelstein, Eli Piasetzky, Thomas Römer, Barak Sober
2023	—	`conf`	A Statistical Exploration of the Hypothesized Partition of the Books of Genesis and Exodus into Priestly and non-Priestly Components. DH Gideon Yoffe, Axel Bühler, Thomas Römer, Nachum Dershowitz, Eli Piasetzky, Israel Finkelstein, Barak Sober
2023	—	`conf`	Linguistic Knowledge Within Handwritten Text Recognition Models: A Real-World Case Study. ICDAR (4) Samuel Londner, Yoav Phillips, Hadar Miller, Nachum Dershowitz, Tsvi Kuflik, Moshe Lavee
2023	J	`jnl`	Rebutting Rebuttals. Commun. ACM Nachum Dershowitz, Rakesh M. Verma
2023	J	`jnl`	Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanhuma Material. J. Data Min. Digit. Humanit. Shlomo Tannor, Nachum Dershowitz, Moshe Lavee
2022	J	`jnl`	Domain-Independent Deception: Definition, Taxonomy and the Linguistic Cues Debate. CoRR Rakesh M. Verma, Nachum Dershowitz, Victor Zeng, Xuting Liu
2022	J	`jnl`	How Much Does Lookahead Matter for Disambiguation? Partial Arabic Diacritization Case Study. Comput. Linguistics Saeed Esmail, Kfir Bar, Nachum Dershowitz
2022	J	`jnl`	Metaphor Interpretation Using Word Embeddings. Computación y Sistemas Kfir Bar, Nachum Dershowitz, Lena Dankin
2022	J	`jnl`	Preface. Fundam. Informaticae Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
2022	J	`jnl`	Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanhuma Material. CoRR Shlomo Tannor, Nachum Dershowitz, Moshe Lavee
2021	A*	`conf`	Computational Visual Ceramicology: Matching Image Outlines to Catalog Sketches. AAAI Barak Itkin, Lior Wolf, Nachum Dershowitz
2021	J	`jnl`	Let's be honest. Commun. ACM Nachum Dershowitz
2021	A*	`conf`	The communication complexity of multiparty set disjointness under product distributions. STOC Nachum Dershowitz, Rotem Oshman, Tal Roth
2020	J	`jnl`	Automatic Metaphor Interpretation Using Word Embeddings. CoRR Kfir Bar, Nachum Dershowitz, Lena Dankin
2020	J	`jnl`	Between Broadway and the Hudson. CoRR Nachum Dershowitz
2020	—	`conf`	Fast Search with Poor OCR. DH Taivanbat Badamdorj, Adiel Ben-Shalom, Nachum Dershowitz, Lior Wolf
2020	—	`ed.`	Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday Fields of Logic and Computation III Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
2020	B	`conf`	Transcription Alignment for Highly Fragmentary Historical Manuscripts: The Dead Sea Scrolls. ICFHR Daniel Stökl Ben Ezra, Bronson Brown-DeVost, Nachum Dershowitz, Alexey Pechorin, Benjamin Kiessling
2020	—	`conf`	Transliteration of Judeo-Arabic Texts into Arabic Script Using Recurrent Neural Networks. WANLP@COLING Ori Terner, Kfir Bar, Nachum Dershowitz
2020	J	`jnl`	Transliteration of Judeo-Arabic Texts into Arabic Script Using Recurrent Neural Networks. CoRR Nachum Dershowitz, Ori Terner
2019	J	`jnl`	A Hackathon for Classical Tibetan. J. Data Min. Digit. Humanit. Orna Almogi, Lena Dankin, Nachum Dershowitz, Lior Wolf
2019	—	`conf`	Computability and Stability for Hybrid Algorithms. ICSI (1) Nachum Dershowitz, Zvi Retchkiman Königsberg
2019	J	`jnl`	Computational Ceramicology. CoRR Barak Itkin, Lior Wolf, Nachum Dershowitz
2019	J	`jnl`	Drags: A compositional algebraic framework for graph rewriting. Theor. Comput. Sci. Nachum Dershowitz, Jean-Pierre Jouannaud
2019	J	`jnl`	Fast Search with Poor OCR. CoRR Taivanbat Badamdorj, Adiel Ben-Shalom, Nachum Dershowitz, Lior Wolf
2019	J	`jnl`	Nonleaf Patterns in Trees: Protected Nodes and Fine Numbers. CoRR Nachum Dershowitz
2019	J	`jnl`	Semantic Characteristics of Schizophrenic Speech. CoRR Kfir Bar, Vered Zilberstein, Ido Ziv, Heli Baram, Nachum Dershowitz, Samuel Itzikowitz, Eiran Vadim Harel
2019	A	`conf`	Transductive Learning for Reading Handwritten Tibetan Manuscripts. ICDAR Sivan Keret, Lior Wolf, Nachum Dershowitz, Eric Werner, Orna Almogi, Dorji Wangchuk
2019	J	`jnl`	Zohar Manna (1939-2018). Formal Aspects Comput. Nachum Dershowitz, Richard Waldinger
2018	A	`conf`	A Method for Segmentation, Matching and Alignment of Dead Sea Scrolls. WACV Gil Levi, Pinhas Nisnevich, Adiel Ben-Shalom, Nachum Dershowitz, Lior Wolf
2018	B	`conf`	Graph Path Orderings. LPAR Nachum Dershowitz, Jean-Pierre Jouannaud
2018	A	`conf`	Well-Founded Unions. IJCAR Jeremy E. Dawson, Nachum Dershowitz, Rajeev Goré
2017	—	`conf`	Image and text correction using language models. ASAR Ido Kissos, Nachum Dershowitz
2017	A	`conf`	Qumran Letter Restoration by Rotation and Reflection Modified PixelCNN. ICDAR Lior Uzan, Nachum Dershowitz, Lior Wolf
2017	A	`conf`	Relating Articles Textually and Visually. ICDAR Nachum Dershowitz, Daniel Labenski, Adi Silberpfennig, Lior Wolf, Yaron Tsur
2017	J	`jnl`	Touchard's Drunkard. J. Integer Seq. Nachum Dershowitz
2017	A	`conf`	VASESKETCH: Automatic 3D Representation of Pottery from Paper Catalog Drawings. ICDAR Francesco Banterle, Barak Itkin, Matteo Dellepiane, Lior Wolf, Marco Callieri, Nachum Dershowitz, Roberto Scopigno
2016	J	`jnl`	1700 Forests. CoRR Nachum Dershowitz
2016	J	`jnl`	A Hackathon for Classical Tibetan. CoRR Orna Almogi, Lena Dankin, Nachum Dershowitz, Lior Wolf
2016	J	`jnl`	Active Congruency-Based Reranking. Frontiers Digit. Humanit. Itai Ben-Shalom, Noga Levy, Lior Wolf, Nachum Dershowitz, Adiel Ben-Shalom, Roni Shweka, Yaacov Choueka, Tamir Hazan, Yaniv Bar
2016	C	`conf`	Axiomatizing Analog Algorithms. CiE Olivier Bournez, Nachum Dershowitz, Pierre Néron
2016	J	`jnl`	Axiomatizing Analog Algorithms. CoRR Olivier Bournez, Nachum Dershowitz, Pierre Néron
2016	J	`jnl`	Boris (Boaz) Trakhtenbrot, 1921-2016. Bull. EATCS Nachum Dershowitz
2016	J	`jnl`	Cayley's Formula: A Page From The Book. Am. Math. Mon. Arnon Avron, Nachum Dershowitz
2016	—	`ch.`	Honest Computability and Complexity. Martin Davis on Computability, Computational Logic, and Mathematical Foundations Udi Boker, Nachum Dershowitz
2016	B	`conf`	OCR Error Correction Using Character Correction and Feature-Based Word Classification. DAS Ido Kissos, Nachum Dershowitz
2016	J	`jnl`	OCR Error Correction Using Character Correction and Feature-Based Word Classification. CoRR Ido Kissos, Nachum Dershowitz
2016	J	`jnl`	On the parallel computation thesis. Log. J. IGPL Nachum Dershowitz, Evgenia Falkovich-Derzhavetz
2016	—	`conf`	Stemming and Segmentation for Classical Tibetan. CICLing (1) Orna Almogi, Lena Dankin, Nachum Dershowitz, Yair Hoffman, Dimitri Pauls, Dorji Wangchuk, Lior Wolf
2016	J	`jnl`	Touchard's Drunkard. CoRR Nachum Dershowitz
2016	J	`jnl`	Tripartite Unions. CoRR Nachum Dershowitz
2016	J	`jnl`	Universality in two dimensions. J. Log. Comput. Nachum Dershowitz, Gilles Dowek
2015	—	`ed.`	Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday Fields of Logic and Computation II Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
2015	A	`conf`	Hints Revealed. SAT Jonathan Kalechstain, Vadim Ryvchin, Nachum Dershowitz
2015	A	`conf`	Improving OCR for an under-resourced script using unsupervised word-spotting. ICDAR Adi Silberpfennig, Lior Wolf, Nachum Dershowitz, Seraogi Bhagesh, Bidyut B. Chaudhuri
2015	A	`conf`	Viral transcript alignment. ICDAR Gil Sadeh, Lior Wolf, Tal Hassner, Nachum Dershowitz, Daniel Stökl Ben Ezra
2014	B	`conf`	A Simple and Fast Word Spotting Method. ICFHR Alon Kovalchuk, Lior Wolf, Nachum Dershowitz
2014	—	`conf`	Arabic Character Recognition. Language, Culture, Computation (1) Nachum Dershowitz, Andrey Rosenberg
2014	—	`conf`	Cellular Automata are Generic. DCM Nachum Dershowitz, Evgenia Falkovich
2014	—	`conf`	Confluence by Critical Pair Analysis. RTA-TLCA Jiaxiang Liu, Nachum Dershowitz, Jean-Pierre Jouannaud
2014	A*	`conf`	Congruency-Based Reranking. CVPR Itai Ben-Shalom, Noga Levy, Lior Wolf, Nachum Dershowitz, Adiel Ben-Shalom, Roni Shweka, Yaacov Choueka, Tamir Hazan, Yaniv Bar
2014	—	`conf`	Finding Inexact Quotations Within a Tibetan Buddhist Corpus. DH Benjamin Eliot Klein, Nachum Dershowitz, Lior Wolf, Orna Almogi, Dorji Wangchuk
2014	C	`conf`	Generic Parallel Algorithms. CiE Nachum Dershowitz, Evgenia Falkovich
2014	—	`conf`	Inferring Paraphrases for a Highly Inflected Language from a Monolingual Corpus. CICLing (2) Kfir Bar, Nachum Dershowitz
2014	J	`jnl`	Joint word2vec Networks for Bilingual Semantic Representations. Int. J. Comput. Linguistics Appl. Lior Wolf, Yair Hanani, Kfir Bar, Nachum Dershowitz
2014	—	`ed.`	Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I Language, Culture, Computation (1) Nachum Dershowitz, Ephraim Nissan
2014	—	`ed.`	Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II Language, Culture, Computation (2) Nachum Dershowitz, Ephraim Nissan
2014	—	`ed.`	Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III Language, Culture, Computation (3) Nachum Dershowitz, Ephraim Nissan
2014	—	`conf`	Matching Phrases for Arabic-to-English Example-Based Translation System. Language, Culture, Computation (3) Kfir Bar, Yaacov Choueka, Nachum Dershowitz
2014	—	`conf`	Matching with a Hierarchical Ontology. Language, Culture, Computation (1) Yaacov Choueka, Nachum Dershowitz, Liad Tal
2014	—	`conf`	Orthography and Biblical Criticism. DH Idan Dershowitz, Nachum Dershowitz, Tomer Hasid, Amnon Ta-Shma
2014	—	`conf`	The Tel Aviv University System for the Code-Switching Workshop Shared Task. CodeSwitch@EMNLP Kfir Bar, Nachum Dershowitz
2014	—	`conf`	Where is my Other Half? DH Adiel Ben-Shalom, Yaacov Choueka, Nachum Dershowitz, Roni Shweka, Lior Wolf
2014	—	`conf`	Yaacov Choueka: A Profile. Language, Culture, Computation (1) Nachum Dershowitz, Ephraim Nissan
2013	J	`jnl`	Automatic extraction of catalog data from digital images of historical manuscripts. Lit. Linguistic Comput. Roni Shweka, Yaacov Choueka, Lior Wolf, Nachum Dershowitz
2013	—	`conf`	Canonical Ground Horn Theories. Programming Logics Maria Paola Bonacina, Nachum Dershowitz
2013	A	`conf`	Integrating Copies Obtained from Old and New Preservation Efforts. ICDAR Yoram Zarai, Tamar Lavee, Nachum Dershowitz, Lior Wolf
2013	A	`conf`	OCR-Free Transcript Alignment. ICDAR Tal Hassner, Lior Wolf, Nachum Dershowitz
2013	B	`conf`	Res Publica: The Universal Model of Computation (Invited Talk). CSL Nachum Dershowitz
2012	B	`conf`	Deriving Paraphrases for Highly Inflected Languages from Comparable Documents. COLING Kfir Bar, Nachum Dershowitz
2012	—	`conf`	Estimating the Distinctiveness of Graphemes and Allographs in Palaeographic Classification. DH Noga Levy, Lior Wolf, Nachum Dershowitz, Peter A. Stokes
2012	J	`jnl`	Jumping and escaping: Modular termination and the abstract path ordering. Theor. Comput. Sci. Nachum Dershowitz
2012	—	`conf`	Language Classification and Segmentation of Noisy Documents in Hebrew Scripts. LaTeCH@EACL Alex Zhicharevich, Nachum Dershowitz
2012	J	`jnl`	Modulo intervals: a proposed notation. SIGACT News Nachum Dershowitz, Edward M. Reingold
2012	C	`conf`	Towards an Axiomatization of Simple Analog Algorithms. TAMC Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich
2011	—	`conf`	A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract- DCM Nachum Dershowitz, Evgenia Falkovich
2011	A*	`conf`	Active clustering of document fragments using information derived from both images and catalogs. ICCV Lior Wolf, Lior Litwak, Nachum Dershowitz, Roni Shweka, Yaacov Choueka
2011	—	`conf`	Automatic Extraction of Catalog Data from Genizah Fragments' Images. DH Roni Shweka, Yaacov Choueka, Lior Wolf, Nachum Dershowitz, Masha Zeldin
2011	B	`conf`	Computerized paleography: Tools for historical manuscripts. ICIP Lior Wolf, Liza Potikha, Nachum Dershowitz, Roni Shweka, Yaacov Choueka
2011	J	`jnl`	From Total Assignment Enumeration to Modern SAT Solver CoRR Nachum Dershowitz, Alexander Nadel
2011	J	`jnl`	Identifying Join Candidates in the Cairo Genizah. Int. J. Comput. Vis. Lior Wolf, Rotem Littman, Naama Mayer, Tanya German, Nachum Dershowitz, Roni Shweka, Yaacov Choueka
2011	J	`jnl`	Introduction. Nat. Comput. José Félix Costa, Nachum Dershowitz
2011	—	`conf`	The Generic Model of Computation DCM Nachum Dershowitz
2011	A*	`conf`	Unsupervised Decomposition of a Document into Authorial Components. ACL Moshe Koppel, Navot Akiva, Idan Dershowitz, Nachum Dershowitz
2010	J	`jnl`	Complexity of propositional proofs under a promise. ACM Trans. Comput. Log. Nachum Dershowitz, Iddo Tzameret
2010	B	`conf`	Exact Exploration and Hanging Algorithms. CSL Andreas Blass, Nachum Dershowitz, Yuri Gurevich
2010	—	`ed.`	Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday Fields of Logic and Computation Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
2010	—	`conf`	Tel aviv university's system description for IWSLT 2010. IWSLT Kfir Bar, Nachum Dershowitz
2010	—	`conf`	Three Paths to Effectiveness. Fields of Logic and Computation Udi Boker, Nachum Dershowitz
2010	—	`conf`	Yuri, Logic, and Computer Science. Fields of Logic and Computation Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
2009	—	`conf`	Automatically identifying join candidates in the Cairo Genizah. ICCV Workshops Lior Wolf, Rotem Littman, Naama Mayer, Nachum Dershowitz, Roni Shweka, Yaacov Choueka
2009	J	`jnl`	More Patterns in Trees: Up and Down, Young and Old, Odd and Even. SIAM J. Discret. Math. Nachum Dershowitz, Shmuel Zaks
2009	—	`conf`	On Lazy Commutation. Languages: From Formal to Natural Nachum Dershowitz
2009	J	`jnl`	The influence of domain interpretations on computational models. Appl. Math. Comput. Udi Boker, Nachum Dershowitz
2009	C	`ed.`	Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings UC Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg
2009	J	`jnl`	When are two algorithms the same? Bull. Symb. Log. Andreas Blass, Nachum Dershowitz, Yuri Gurevich
2008	J	`jnl`	A Natural Axiomatization of Computability and Proof of Church's Thesis. Bull. Symb. Log. Nachum Dershowitz, Yuri Gurevich
2008	—	`conf`	Bit Inference. PAAR/ESHOL Nachum Dershowitz
2008	—	`conf`	Boris A. Trakhtenbrot: Academic Genealogy and Publications. Pillars of Computer Science Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
2008	—	`book`	Calendrical calculations (3. ed.). Nachum Dershowitz, Edward M. Reingold
2008	A	`conf`	Canonical Inference for Implicational Systems. IJCAR Maria Paola Bonacina, Nachum Dershowitz
2008	A	`conf`	Canonicity! IJCAR Nachum Dershowitz
2008	—	`ed.`	Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday Pillars of Computer Science Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
2008	—	`conf`	SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets. Concurrency, Graphs and Models Nachum Dershowitz, Claude Kirchner
2008	—	`conf`	The Church-Turing Thesis over Arbitrary Domains. Pillars of Computer Science Udi Boker, Nachum Dershowitz
2008	J	`jnl`	When are two algorithms the same? CoRR Andreas Blass, Nachum Dershowitz, Yuri Gurevich
2007	J	`jnl`	Abstract canonical inference. ACM Trans. Comput. Log. Maria Paola Bonacina, Nachum Dershowitz
2007	A*	`conf`	Complexity of Propositional Proofs Under a Promise. ICALP Nachum Dershowitz, Iddo Tzameret
2007	J	`jnl`	Complexity of Propositional Proofs under a Promise CoRR Nachum Dershowitz, Iddo Tzameret
2007	J	`jnl`	Leanest quasi-orderings. Inf. Comput. Nachum Dershowitz, E. Castedo Ellerman
2007	B	`ed.`	Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings LPAR Nachum Dershowitz, Andrei Voronkov
2007	J	`jnl`	Space-Efficient Bounded Model Checking CoRR Jacob Katz, Ziyad Hanna, Nachum Dershowitz
2007	—	`conf`	The Hydra Battle Revisited. Rewriting, Computation and Proof Nachum Dershowitz, Georg Moser
2007	A	`conf`	Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver. SAT Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
2006	J	`jnl`	A Scalable Algorithm for Minimal Unsatisfiable Core Extraction CoRR Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
2006	A	`conf`	A Scalable Algorithm for Minimal Unsatisfiable Core Extraction. SAT Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
2006	J	`jnl`	A hypercomputational alien. Appl. Math. Comput. Udi Boker, Nachum Dershowitz
2006	J	`jnl`	Abstract canonical presentations. Theor. Comput. Sci. Nachum Dershowitz, Claude Kirchner
2006	B	`conf`	Boolean Rings for Intersection-Based Satisfiability. LPAR Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss
2006	J	`jnl`	Comparing Computational Power. Log. J. IGPL Udi Boker, Nachum Dershowitz
2006	J	`jnl`	Enumeration Problems Related to Ground Horn Theories CoRR Nachum Dershowitz, Mitchell A. Harris, Guan-Shieng Huang
2005	A	`conf`	A Clause-Based Heuristic for SAT Solvers. SAT Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
2005	—	`conf`	Abstract Effective Models. DCM@ICALP Udi Boker, Nachum Dershowitz
2005	J	`jnl`	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. Nachum Dershowitz
2005	A	`conf`	Bounded Model Checking with QBF. SAT Nachum Dershowitz, Ziyad Hanna, Jacob Katz
2005	J	`jnl`	Comparing Computational Power CoRR Udi Boker, Nachum Dershowitz
2005	C	`conf`	How to Compare the Power of Computational Models. CiE Udi Boker, Nachum Dershowitz
2005	—	`conf`	Leanest Quasi-orderings. RTA Nachum Dershowitz, E. Castedo Ellerman
2005	—	`conf`	Open. Closed. Open. RTA Nachum Dershowitz
2005	—	`conf`	Primitive Rewriting. Processes, Terms and Cycles Nachum Dershowitz
2005	A	`conf`	Space-Efficient Bounded Model Checking. DATE Jacob Katz, Ziyad Hanna, Nachum Dershowitz
2005	B	`conf`	The Four Sons of Penrose. LPAR Nachum Dershowitz
2004	J	`jnl`	Abstract Canonical Inference CoRR Maria Paola Bonacina, Nachum Dershowitz
2004	A	`conf`	Boolean Ring Satisfiability. SAT Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss
2004	—	`conf`	Parallel Multithreaded Satisfiability Solver: Design and Implementation. PDMC Yulik Feldman, Nachum Dershowitz, Ziyad Hanna
2004	B	`conf`	Termination by Abstraction. ICLP Nachum Dershowitz
2003	A*	`conf`	Abstract Saturation-Based Inference. LICS Nachum Dershowitz, Claude Kirchner
2003	—	`conf`	Bounded Fairness. Verification: Theory and Practice Nachum Dershowitz, Doddaballapur Narasimha-Murthy Jayasimha, Seungjoon Park
2003	—	`conf`	Canonicity. FTP Nachum Dershowitz
2003	C	`conf`	Gap Embedding for Well-Quasi-Orderings. WoLLIC Nachum Dershowitz, Iddo Tzameret
2003	J	`jnl`	Ground Canonicity CoRR Nachum Dershowitz
2003	—	`conf`	Pæan to Zohar Manna. Verification: Theory and Practice Nachum Dershowitz
2003	—	`ed.`	Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday Verification: Theory and Practice Nachum Dershowitz
2002	—	`book`	Calendrical Tabulations - 1900 - 2200. Edward M. Reingold, Nachum Dershowitz
2002	—	`book`	Calendrical calcuations - the millenium edition. Edward M. Reingold, Nachum Dershowitz
2001	J	`jnl`	A General Framework for Automatic Termination Analysis of Logic Programs. Appl. Algebra Eng. Commun. Comput. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2001	—	`ch.`	Rewriting. Handbook of Automated Reasoning Nachum Dershowitz, David A. Plaisted
2000	J	`jnl`	A General Framework for Automatic Termination Analysis of Logic Programs CoRR Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2000	J	`jnl`	Abstract and-parallel Machines. Comput. Artif. Intell. Naomi Lindenstrauss, Nachum Dershowitz
2000	J	`jnl`	Artificial intelligence: Retrospective/prospective. Ann. Math. Artif. Intell. Nachum Dershowitz
2000	J	`jnl`	Automatic Termination Analysis of Programs Containing Arithmetic Predicates CoRR Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1999	—	`conf`	Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Verification of Logic Programs@ICLP Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1999	—	`conf`	Jeopardy. RTA Nachum Dershowitz, Subrata Mitra
1998	—	`conf`	An On-line Problem Database. RTA Nachum Dershowitz, Ralf Treinen
1997	—	`conf`	Abstract And-Parallel Machines. Euro-Par Nachum Dershowitz, Naomi Lindenstrauss
1997	—	`conf`	Innocuous Constructor-Sharing Combinations. RTA Nachum Dershowitz
1997	B	`conf`	When are Two Rewrite Systems More than None? MFCS Nachum Dershowitz
1995	—	`ed.`	Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings CTRS Nachum Dershowitz, Naomi Lindenstrauss
1995	—	`conf`	Goal Solving as Operational Semantics. ILPS Nachum Dershowitz
1995	J	`jnl`	Natural Termination. Theor. Comput. Sci. Nachum Dershowitz, Charles Hoot
1995	—	`conf`	Problems in Rewriting III. RTA Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop
1994	J	`jnl`	Equational Inference, Canonical Proofs, and Proof Orderings. J. ACM Leo Bachmair, Nachum Dershowitz
1994	—	`conf`	From Specifications to Programs: Induction in the Service of Synthesis (Abstract). AII/ALT Nachum Dershowitz
1994	—	`conf`	Hierachical Termination. CTRS Nachum Dershowitz
1993	—	`conf`	A Taste of Rewrite Systems. Functional Programming, Concurrency, Simulation and Automated Reasoning Nachum Dershowitz
1993	J	`jnl`	Calendrical Calculations, II: Three Historical Calendars. Softw. Pract. Exp. Edward M. Reingold, Nachum Dershowitz, Stewart M. Clamen
1993	—	`conf`	Debugging Logic Programs Using Specifications. AADEBUG Yuh-Jeng Lee, Nachum Dershowitz
1993	J	`jnl`	Deductive and Inductive Synthesis of Equational Programs. J. Symb. Comput. Nachum Dershowitz, Uday S. Reddy
1993	—	`conf`	Examples of Termination. Term Rewriting Nachum Dershowitz
1993	—	`conf`	Higher-Order and Semantic Unification. FSTTCS Nachum Dershowitz, Subrata Mitra
1993	J	`jnl`	Logical Debugging. J. Symb. Comput. Nachum Dershowitz, Yuh-Jeng Lee
1993	—	`conf`	More Problems in Rewriting. RTA Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop
1993	—	`conf`	Topics in Termination. RTA Nachum Dershowitz, Charles Hoot
1993	—	`conf`	Trees, Ordinals and Termination. TAPSOFT Nachum Dershowitz
1992	A	`conf`	Decidable Matching for Convergent Systems (Preliminary Version). CADE Nachum Dershowitz, Subrata Mitra, G. Sivakumar
1992	Misc	`conf`	Ordinal Arithmetic with List Structures. LFCS Nachum Dershowitz, Edward M. Reingold
1992	—	`conf`	Path Orderings for Termination of Associative-Commutative Rewriting. CTRS Nachum Dershowitz, Subrata Mitra
1992	—	`conf`	Semigroups Satisfying x CTRS Nachum Dershowitz
1991	A*	`conf`	Cononical Sets of Horn Clauses. ICALP Nachum Dershowitz
1991	J	`jnl`	Notations for Rewting. Bull. EATCS Nachum Dershowitz, Jean-Pierre Jouannaud
1991	—	`conf`	Open Problems in Rewriting. RTA Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop
1991	A*	`conf`	Ordering-Based Strategies for Horn Clauses. IJCAI Nachum Dershowitz
1991	J	`jnl`	Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . . Theor. Comput. Sci. Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted
1990	—	`conf`	A Maximal-Literal Unit Strategy for Horn Clauses. CTRS Nachum Dershowitz
1990	J	`jnl`	A Rationale for Conditional Equational Programming. Theor. Comput. Sci. Nachum Dershowitz, Mitsuhiro Okada
1990	—	`conf`	A parallel implementation of equational programming. Jerusalem Conference on Information Technology Nachum Dershowitz, Naomi Lindenstrauss
1990	—	`conf`	An Abstract Concurrent Machine for Rewriting. ALP Nachum Dershowitz, Naomi Lindenstrauss
1990	J	`jnl`	Calendrical Calculations. Softw. Pract. Exp. Nachum Dershowitz, Edward M. Reingold
1990	—	`conf`	Equation Solving in Conditional AC-Theories. ALP Nachum Dershowitz, Subrata Mitra, G. Sivakumar
1990	A*	`conf`	Inductive Synthesis of Equational Programs. AAAI Nachum Dershowitz, Eli Pinchover
1990	—	`ch.`	Rewrite Systems. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) Nachum Dershowitz, Jean-Pierre Jouannaud
1990	J	`jnl`	The Cycle Lemma and Some Applications. Eur. J. Comb. Nachum Dershowitz, Shmuel Zaks
1989	J	`jnl`	An Implementation of Narrowing. J. Log. Program. N. Alan Josephson, Nachum Dershowitz
1989	B	`conf`	Average Time Analyses Related to Logic Programming. ICLP Nachum Dershowitz, Naomi Lindenstrauss
1989	J	`jnl`	Completion for Rewriting Modulo a Congruence. Theor. Comput. Sci. Leo Bachmair, Nachum Dershowitz
1989	—	`conf`	Fast Exchange Sorts. FODO Nachum Dershowitz, Hon Wai Leong
1989	A*	`conf`	Infinite Normal Forms (Preliminary Version). ICALP Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted
1989	J	`jnl`	Patterns in trees. Discret. Appl. Math. Nachum Dershowitz, Shmuel Zaks
1989	A*	`conf`	Rewrite, Rewrite, Rewrite, Rewrite, Rewrite. POPL Nachum Dershowitz, Stéphane Kaplan
1989	—	`ed.`	Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings RTA Nachum Dershowitz
1988	A	`conf`	Canonical Conditional Rewrite Systems. CADE Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
1988	—	`conf`	Conditional Equational Programming and the Theory of Conditional Term Rewriting. FGCS Nachum Dershowitz, Mitsuhiro Okada
1988	J	`jnl`	Critical Pair Criteria for Completion. J. Symb. Comput. Leo Bachmair, Nachum Dershowitz
1988	J	`jnl`	Existence, Uniqueness, and Construction of Rewrite Systems. SIAM J. Comput. Nachum Dershowitz, Leo Marcus, Andrzej Tarlecki
1988	A*	`conf`	Goal-Directed Equation Solving. AAAI Nachum Dershowitz, G. Sivakumar
1988	A*	`conf`	Proof-Theoretic Techniques for Term Rewriting Theory LICS Nachum Dershowitz, Mitsuhiro Okada
1987	—	`conf`	A critical pair criterion for completion modulo a congruence. EUROCAL Leo Bachmair, Nachum Dershowitz
1987	—	`conf`	Completion for Rewriting Modulo a Congruence. RTA Leo Bachmair, Nachum Dershowitz
1987	—	`conf`	Confluence of Conditional Rewrite Systems. CTRS Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
1987	—	`conf`	Deductive Debugging. SLP Nachum Dershowitz, Yuh-Jeng Lee
1987	A*	`conf`	Inference Rules for Rewrite-Based First-Order Theorem Proving LICS Leo Bachmair, Nachum Dershowitz
1987	—	`conf`	Solving Goals in Equational Languages. CTRS Nachum Dershowitz, G. Sivakumar
1987	J	`jnl`	Termination of Rewriting. J. Symb. Comput. Nachum Dershowitz
1986	—	`conf`	An Implementation of Narrowing: The RITE Way. SLP N. Alan Josephson, Nachum Dershowitz
1986	A	`conf`	Commutation, Transformation, and Termination. CADE Leo Bachmair, Nachum Dershowitz
1986	—	`conf`	Critical-pair criteria for the Knuth-Bendix completion procedure. SYMSAC Leo Bachmair, Nachum Dershowitz
1986	J	`jnl`	Ordered trees and non-crossing partitions. Discret. Math. Nachum Dershowitz, Shmuel Zaks
1986	A*	`conf`	Orderings for Equational Proofs LICS Leo Bachmair, Nachum Dershowitz, Jieh Hsiang
1985	J	`jnl`	Computing with Rewrite Systems Inf. Control. Nachum Dershowitz
1985	J	`jnl`	Conditional rewriting. ACM SIGSOFT Softw. Eng. Notes Nachum Dershowitz, David A. Plaisted
1985	—	`conf`	Logic Programming cum Applicative Programming. SLP Nachum Dershowitz, David A. Plaisted
1985	J	`jnl`	Program Abstraction and Instantiation. ACM Trans. Program. Lang. Syst. Nachum Dershowitz
1985	J	`jnl`	Rewriting and verification. ACM SIGSOFT Softw. Eng. Notes Nachum Dershowitz
1985	A*	`conf`	Synthesis by Completion. IJCAI Nachum Dershowitz
1985	J	`jnl`	Synthetic Programming. Artif. Intell. Nachum Dershowitz
1985	—	`conf`	Termination. RTA Nachum Dershowitz
1984	B	`conf`	Logic Programming by Completion. ICLP Nachum Dershowitz, N. Alan Josephson
1984	—	`conf`	Patterns in Trees. CAAP Nachum Dershowitz, Shmuel Zaks
1983	A*	`conf`	Associative-Commutative Rewriting. IJCAI Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted
1983	A*	`conf`	Rewrite Methods for Clausal and Non-Clausal Theorem Proving. ICALP Jieh Hsiang, Nachum Dershowitz
1983	—	`book`	The evolution of programs. Nachum Dershowitz
1982	J	`jnl`	Orderings for Term-Rewriting Systems. Theor. Comput. Sci. Nachum Dershowitz
1981	—	`conf`	Applied Tree Enumerations. CAAP Nachum Dershowitz, Shmuel Zaks
1981	J	`jnl`	Inference Rules for Program Annotation. IEEE Trans. Software Eng. Nachum Dershowitz, Zohar Manna
1981	A*	`conf`	Termination of Linear Rewriting Systems (Preliminary Version). ICALP Nachum Dershowitz
1981	A*	`conf`	The Evolution of Programs: Program Abstraction and Instantiation. ICSE Nachum Dershowitz
1980	J	`jnl`	Enumerations of ordered trees. Discret. Math. Nachum Dershowitz, Shmuel Zaks
1980	J	`jnl`	The Schorr-Waite Marking Algorithm Revisited. Inf. Process. Lett. Nachum Dershowitz
1979	J	`jnl`	A Note on Simplification Orderings. Inf. Process. Lett. Nachum Dershowitz
1979	A*	`conf`	Orderings for Term-Rewriting Systems FOCS Nachum Dershowitz
1979	J	`jnl`	Proving Termination with Multiset Orderings. Commun. ACM Nachum Dershowitz, Zohar Manna
1979	A*	`conf`	Proving termination with Multiset Orderings. ICALP Nachum Dershowitz, Zohar Manna
1978	A*	`conf`	Inference Rules for Program Annotation. ICSE Nachum Dershowitz, Zohar Manna
1978	J	`jnl`	KEDMA - Linguistic Tools for Retrieval Systems. J. ACM R. Attar, Yaacov Choueka, Nachum Dershowitz, Aviezri S. Fraenkel
1977	A*	`conf`	Automatic Program Annotation. IJCAI Nachum Dershowitz
1977	A*	`conf`	The Evolution of Programs: A System for Automatic Program Modification. POPL Nachum Dershowitz, Zohar Manna
1977	J	`jnl`	The Evolution of Programs: Automatic Program Modification. IEEE Trans. Software Eng. Nachum Dershowitz, Zohar Manna