World's Best Scientists 2026 revealed!
Nachum Dershowitz

Nachum Dershowitz

D-Index & Metrics

Computer Science

D-Index
50
Citations
13249
World Ranking
5519
National Ranking
87

Mathematics

D-Index
41
Citations
8921
World Ranking
1880
National Ranking
32

Research.com Recognitions

  • 2013 - Member of Academia Europaea

Overview

Nachum Dershowitz is affiliated with Tel Aviv University in Israel and has a research focus primarily within computer science. Their body of work includes 39 publications in this main field, with significant contributions to subfields such as artificial intelligence, computer vision and pattern recognition, archeology, religious studies, and social psychology.

The scientist has examined a variety of topics including natural language processing techniques, handwritten text recognition techniques, biblical studies and interpretation, image processing and 3D reconstruction, topic modeling, breast cancer treatment studies, and advanced breast cancer therapies.

Frequent coauthors collaborating with Nachum Dershowitz include Kfir Bar, Rakesh Verma, Gideon Yoffe, Barak Sober, and Yael Bar.

Their recent papers include:

  • The automatic recognition of ceramics from only one photo: The ArchAIDE app (2021), Journal of Archaeological Science Reports
  • Morphological characteristics of spoken language in schizophrenia patients - an exploratory study (2021), Scandinavian Journal of Psychology
  • The contribution of prosody to machine classification of schizophrenia (2024), Schizophrenia
  • The length of a scroll: Quantitative evaluation of material reconstructions (2020), PLoS ONE
  • How Much Does Lookahead Matter for Disambiguation? Partial Arabic Diacritization Case Study (2022), Computational Linguistics

Nachum Dershowitz has published frequently in venues such as arXiv (Cornell University), The Breast, Communications of the ACM, Zeitschrift für die Alttestamentliche Wissenschaft, and the Journal of Archaeological Science Reports.

The scientist was recognized as a member of Academia Europaea in 2013.

Best Publications

  • Rewrite systems

    Nachum Dershowitz;Jean-Pierre Jouannaud

  • Termination of rewriting

    Nachum Dershowitz

  • Orderings for term-rewriting systems☆

    Nachum Dershowitz

  • Proving termination with multiset orderings

    Nachum Dershowitz;Zohar Manna

  • CHAPTER 6 – Rewrite Systems

    Nachum Dershowitz

  • Search engine method and apparatus

    Tal Rubenczyk;Nachum Dershowitz;Yaacov Choueka;Michael Flor

  • Completion Without Failure

    Leo Bachmair;Nachum Dershowitz;David A. Plaisted

  • Orderings for Equational Proofs

    Leo Bachmair;Nachum Dershowitz;Jieh Hsiang

  • Verification: Theory and Practice

    Nachum Dershowitz

  • Commutation, transformation, and termination

    Leo Bachmair;Nachum Dershowitz

  • Calendrical Calculations

    Nachum Dershowitz;Edward M. Reingold

  • A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH'S THESIS

    Nachum Dershowitz;Yuri Gurevich

  • Computing with rewrite systems

    Nachum Dershowitz

  • Rewrite, rewrite, rewrite, rewrite, rewrite, …

    Nachum Dershowitz;Stéphane Kaplan;David A. Plaisted

  • A rationale for conditional equational programming

    Nachum Dershowitz;M. Okada

  • Enumerations of ordered trees

    Nachum Dershowitz;Shmuel Zaks

  • Bounded model checking with QBF

    Nachum Dershowitz;Ziyad Hanna;Jacob Katz

  • Equational inference, canonical proofs, and proof orderings

    Leo Bachmair;Nachum Dershowitz

  • A note on simplification orderings

    Nachum Dershowitz

  • Termination of Linear Rewriting Systems (Preliminary Version)

    Nachum Dershowitz

  • Rewrite Methods for Clausal and Non-Clausal Theorem Proving

    Jieh Hsiang;Nachum Dershowitz

Frequent Co-Authors

Lior Wolf
Lior Wolf Tel Aviv University
Zohar Manna
Zohar Manna Stanford University
Jan Willem Klop
Jan Willem Klop Vrije Universiteit Amsterdam
Yuri Gurevich
Yuri Gurevich University of Michigan–Ann Arbor
Arnon Avron
Arnon Avron Tel Aviv University
Andreas Blass
Andreas Blass University of Michigan–Ann Arbor
Alexander Serebrenik
Alexander Serebrenik Eindhoven University of Technology
Tal Hassner
Tal Hassner Facebook (United States)
Moshe Koppel
Moshe Koppel Bar-Ilan University
Wolfgang Reisig
Wolfgang Reisig Humboldt-Universität zu Berlin

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Pursuing a Mathematics degree in the USA opens doors to diverse career pathways, often enhanced by complementary qualifications. Many students explore business-related fields through an shortest online MBA, which offers flexibility and quick completion without compromising quality.

For those interested in marketing analytics or data-driven decision-making, a masters degree in marketing is a viable option. This degree equips graduates with essential skills that complement mathematical expertise in the competitive job market.

Many professionals prefer accelerated study options such as 1 year MBA programs in USA, which allow them to enhance leadership and management capabilities swiftly while maintaining career momentum.

Additionally, online programs offering online MBA transfer credits provide flexibility to those who have completed relevant coursework, making it easier to finish degrees efficiently and with minimal redundancy.

Best Scientists Citing Nachum Dershowitz

Trending Scientists