Nachum Dershowitz - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Unsupervised Decomposition of a Document into Authorial ComponentsMoshe Koppel, Navot Akiva, Idan Dershowitz, Nachum Dershowitz. acl 2011: 1356-1364 [doi]

Identifying Join Candidates in the Cairo GenizahLior Wolf, Rotem Littman, Naama Mayer, Tanya German, Nachum Dershowitz, Roni Shweka, Yaacov Choueka. ijcv, 94(1):118-135, 2011. [doi]

2010

Exact Exploration and Hanging AlgorithmsAndreas Blass, Nachum Dershowitz, Yuri Gurevich. csl 2010: 140-154 [doi]

Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th BirthdayAndreas Blass, Nachum Dershowitz, Wolfgang Reisig, editors, Volume 6300 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Yuri, Logic, and Computer ScienceAndreas Blass, Nachum Dershowitz, Wolfgang Reisig. BIRTHDAY 2010: 1-48 [doi]

Three Paths to EffectivenessUdi Boker, Nachum Dershowitz. BIRTHDAY 2010: 135-146 [doi]

Complexity of propositional proofs under a promiseNachum Dershowitz, Iddo Tzameret. tocl, 11(3), 2010. [doi]

2009

When are two algorithms the same?Andreas Blass, Nachum Dershowitz, Yuri Gurevich. bsl, 15(2):145-168, 2009. [doi]

The influence of domain interpretations on computational modelsUdi Boker, Nachum Dershowitz. amc, 215(4):1323-1339, 2009. [doi]

Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. ProceedingsCristian S. Calude, JosÃ© FÃ©lix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg, editors, Volume 5715 of Lecture Notes in Computer Science, Springer, 2009. [doi]

More Patterns in Trees: Up and Down, Young and Old, Odd and EvenNachum Dershowitz, Shmuel Zaks. siamdm, 23(1):447-465, 2009. [doi]

On Lazy CommutationNachum Dershowitz. birthday 2009: 59-82 [doi]

2008

Boris A. Trakhtenbrot: Academic Genealogy and PublicationsArnon Avron, Nachum Dershowitz, Alexander Rabinovich. birthday 2008: 46-57 [doi]

Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th BirthdayArnon Avron, Nachum Dershowitz, Alexander Rabinovich, editors, Volume 4800 of Lecture Notes in Computer Science, Springer, 2008.

The Church-Turing Thesis over Arbitrary DomainsUdi Boker, Nachum Dershowitz. birthday 2008: 199-229 [doi]

Canonical Inference for Implicational SystemsMaria Paola Bonacina, Nachum Dershowitz. cade 2008: 380-395 [doi]

SPREADSPACES: Mathematically-Intelligent Graphical SpreadsheetsNachum Dershowitz, Claude Kirchner. birthday 2008: 194-208 [doi]

A Natural Axiomatization of Computability and Proof of Church s ThesisNachum Dershowitz, Yuri Gurevich. bsl, 14(3):299-350, 2008. [doi]

Canonicity!Nachum Dershowitz. cade 2008: 327-331 [doi]

Bit InferenceNachum Dershowitz. cade 2008: [doi]

Calendrical calculations (3. ed.)Nachum Dershowitz, Edward M. Reingold. Cambridge University Press, 2008.

2007

Abstract canonical inferenceMaria Paola Bonacina, Nachum Dershowitz. tocl, 8(1), 2007. [doi]

Complexity of Propositional Proofs Under a PromiseNachum Dershowitz, Iddo Tzameret. icalp 2007: 291-302 [doi]

Towards a Better Understanding of the Functionality of a Conflict-Driven SAT SolverNachum Dershowitz, Ziyad Hanna, Alexander Nadel. sat 2007: 287-293 [doi]

The Hydra Battle RevisitedNachum Dershowitz, Georg Moser. birthday 2007: 1-27 [doi]

Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ProceedingsNachum Dershowitz, Andrei Voronkov, editors, Volume 4790 of Lecture Notes in Computer Science, Springer, 2007.

Leanest quasi-orderingsNachum Dershowitz, E. Castedo Ellerman. iandc, 205(4):535-556, 2007. [doi]

2006

Comparing Computational PowerUdi Boker, Nachum Dershowitz. igpl, 14(5):633-647, 2006. [doi]

A hypercomputational alienUdi Boker, Nachum Dershowitz. amc, 178(1):44-57, 2006. [doi]

Abstract Effective ModelsUdi Boker, Nachum Dershowitz. ENTCS, 135(3):15-23, 2006. [doi]

A Scalable Algorithm for Minimal Unsatisfiable Core ExtractionNachum Dershowitz, Ziyad Hanna, Alexander Nadel. sat 2006: 36-41 [doi]

Abstract canonical presentationsNachum Dershowitz, Claude Kirchner. TCS, 357(1-3):53-69, 2006. [doi]

Boolean Rings for Intersection-Based SatisfiabilityNachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss. lpar 2006: 482-496 [doi]

2005

How to Compare the Power of Computational ModelsUdi Boker, Nachum Dershowitz. cie 2005: 54-64 [doi]

The Four Sons of PenroseNachum Dershowitz. lpar 2005: 125-138 [doi]

Open. Closed. OpenNachum Dershowitz. RTA 2005: 376-393 [doi]

Primitive RewritingNachum Dershowitz. BIRTHDAY 2005: 127-147 [doi]

Leanest Quasi-orderingsNachum Dershowitz, E. Castedo Ellerman. RTA 2005: 32-45 [doi]

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-6Nachum Dershowitz. tplp, 5(3):395-399, 2005. [doi]

A Clause-Based Heuristic for SAT SolversNachum Dershowitz, Ziyad Hanna, Alexander Nadel. sat 2005: 46-60 [doi]

Bounded Model Checking with QBFNachum Dershowitz, Ziyad Hanna, Jacob Katz. sat 2005: 408-414 [doi]

Parallel Multithreaded Satisfiability Solver: Design and ImplementationYulik Feldman, Nachum Dershowitz, Ziyad Hanna. ENTCS, 128(3):75-90, 2005. [doi]

Space-Efficient Bounded Model CheckingJacob Katz, Ziyad Hanna, Nachum Dershowitz. date 2005: 686-687 [doi]

2004

Boolean Ring SatisfiabilityNachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss. sat 2004: [doi]

Termination by AbstractionNachum Dershowitz. ICLP 2004: 1-18 [doi]

2003

Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th BirthdayNachum Dershowitz, editor, Volume 2772 of Lecture Notes in Computer Science, Springer, 2003.

CanonicityNachum Dershowitz. ENTCS, 86(1), 2003. [doi]

Pæan to Zohar MannaNachum Dershowitz. BIRTHDAY 2003: 1-10 [doi]

Bounded FairnessNachum Dershowitz, D. N. Jayasimha, Seungjoon Park. BIRTHDAY 2003: 304-317 [doi]

Gap Embedding for Well-Quasi-OrderingsNachum Dershowitz, Iddo Tzameret. ENTCS, 84, 2003. [doi]

Abstract Saturation-Based InferenceNachum Dershowitz, Claude Kirchner. lics 2003: 65-74 [doi]

2002

Calendrical calcuations - the millenium editionEdward M. Reingold, Nachum Dershowitz. Cambridge University Press, 2002.

2001

RewritingNachum Dershowitz, David A. Plaisted. In John Alan Robinson, Andrei Voronkov, editors, Handbook of Automated Reasoning (in 2 volumes). pages 535-610, Elsevier and MIT Press, 2001.

A General Framework for Automatic Termination Analysis of Logic ProgramsNachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik. aaecc, 12(1/2):117-156, 2001. [doi]

2000

Artificial intelligence: Retrospective/prospectiveNachum Dershowitz. AMAI, 28(1-4):3-5, 2000.

Proceedings of RULEClaude Kirchner, Nachum Dershowitz, editors, 2000.

Abstract and-parallel MachinesNaomi Lindenstrauss, Nachum Dershowitz. cai, 19(5), 2000.

1999

JeopardyNachum Dershowitz, Subrata Mitra. RTA 1999: 16-29 [doi]

Automatic Termination Analysis of Programs Containing Arithmetic PredicatesNachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik. TCS, 30(1), 1999. [doi]

1998

An On-line Problem DatabaseNachum Dershowitz, Ralf Treinen. RTA 1998: 332-342 [doi]

1997

Innocuous Constructor-Sharing CombinationsNachum Dershowitz. RTA 1997: 202-216

Abstract And-Parallel MachinesNachum Dershowitz, Naomi Lindenstrauss. europar 1997: 1221-1225

When are Two Rewrite Systems More than None?Nachum Dershowitz. mfcs 1997: 37-43

1995

Natural TerminationNachum Dershowitz, Charles Hoot. TCS, 142(2):179-207, 1995. [doi]

Goal Solving as Operational SemanticsNachum Dershowitz. slp 1995: 3-17

Problems in Rewriting IIINachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop. RTA 1995: 457-471

Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, ProceedingsNachum Dershowitz, Naomi Lindenstrauss, editors, Volume 968 of Lecture Notes in Computer Science, Springer, 1995.

1994

Equational Inference, Canonical Proofs, and Proof OrderingsLeo Bachmair, Nachum Dershowitz. JACM, 41(2):236-276, 1994. [doi]

From Specifications to Programs: Induction in the Service of Synthesis (Abstract)Nachum Dershowitz. alt 1994: 6-7

Hierachical TerminationNachum Dershowitz. ctrs 1995: 89-105

1993

Higher-Order and Semantic UnificationNachum Dershowitz, Subrata Mitra. fsttcs 1993: 139-150

Deductive and Inductive Synthesis of Equational ProgramsNachum Dershowitz, Uday S. Reddy. JSC, 15(5/6):467-494, 1993.

Examples of TerminationNachum Dershowitz. ac 1995: 16-26

Topics in TerminationNachum Dershowitz, Charles Hoot. RTA 1993: 198-212

Trees, Ordinals and TerminationNachum Dershowitz. tapsoft 1993: 243-250

Logical DebuggingNachum Dershowitz, Yuh-Jeng Lee. JSC, 15(5/6):745-773, 1993.

More Problems in RewritingNachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop. RTA 1993: 468-487

A Taste of Rewrite SystemsNachum Dershowitz. mcmaster 1993: 199-228

Debugging Logic Programs Using SpecificationsYuh-Jeng Lee, Nachum Dershowitz. AADEBUG 1993: 75-84

Calendrical Calculations, II: Three Historical CalendarsEdward M. Reingold, Nachum Dershowitz, Stewart M. Clamen. SPE, 23(4):383-404, 1993.

1992

Ordinal Arithmetic with List StructuresNachum Dershowitz, Edward M. Reingold. lfcs 1992: 117-126

Decidable Matching for Convergent Systems (Preliminary Version)Nachum Dershowitz, Subrata Mitra, G. Sivakumar. cade 1992: 589-602

Semigroups Satisfying x:::m+n::: = x:::n:::Nachum Dershowitz. ctrs 1993: 307-314

Path Orderings for Termination of Associative-Commutative RewritingNachum Dershowitz, Subrata Mitra. ctrs 1993: 168-174

1991

1990

1989

Patterns in treesNachum Dershowitz, Shmuel Zaks. DAM, 25(3):241-255, 1989. [doi]

Infinite Normal Forms (Preliminary Version)Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted. icalp 1989: 249-262

Fast Exchange SortsNachum Dershowitz, Hon Wai Leong. fodo 1989: 102-113

An Implementation of NarrowingN. Alan Josephson, Nachum Dershowitz. jlp, 6(1&2):57-77, 1989.

PreviousNext