No photo of Nachum Dershowitz

View Scopus Profile

Nachum Dershowitz

Professor

Former affiliation
 https://orcid.org/0000-0003-0363-2735
1975 …2024

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    CodeSwitching and BackTransliteration Using a Bilingual Model

    Mitelman, D. W., Dershowitz, N. & Bar, K., 2024, EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Findings of EACL 2024. Graham, Y., Purver, M. & Purver, M. (eds.). Association for Computational Linguistics (ACL), p. 1501-1511 11 p. (EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Findings of EACL 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations
  • 2023

    A Statistical Exploration of Text Partition Into Constituents: The Case of the Priestly Source in the Books of Genesis and Exodus

    Yoffe, G., Bühler, A., Dershowitz, N., Finkelstein, I., Piasetzky, E., Römer, T. & Sober, B., 2023, Findings of the Association for Computational Linguistics, ACL 2023. Association for Computational Linguistics (ACL), p. 1918-1940 23 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Linguistic Knowledge Within Handwritten Text Recognition Models: A Real-World Case Study

    Londner, S., Phillips, Y., Miller, H., Dershowitz, N., Kuflik, T. & Lavee, M., 2023, Document Analysis and Recognition – ICDAR 2023 - 17th International Conference, Proceedings. Fink, G. A., Jain, R., Kise, K. & Zanibbi, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 147-164 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14190 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2022

    Can Yes-No Question-Answering Models be Useful for Few-Shot Metaphor Detection?

    Dankin, L., Bar, K. & Dershowitz, N., 2022, FLP 2022 - 3rd Workshop on Figurative Language Processing, Proceedings of the Workshop. Association for Computational Linguistics (ACL), p. 125-130 6 p. (FLP 2022 - 3rd Workshop on Figurative Language Processing, Proceedings of the Workshop).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Masking Morphosyntactic Categories to Evaluate Salience for Schizophrenia Diagnosis

    Shriki, Y., Ziv, I., Dershowitz, N., Harel, E. V. & Bar, K., 2022, CLPsych 2022 - 8th Workshop on Computational Linguistics and Clinical Psychology, Proceedings. Zirikly, A., Atzil-Slonim, D., Liakata, M., Bedrick, S., Desmet, B., Ireland, M., Lee, A., MacAvaney, S., Purver, M., Resnik, R. & Yates, A. (eds.). Association for Computational Linguistics (ACL), p. 148-157 10 p. (CLPsych 2022 - 8th Workshop on Computational Linguistics and Clinical Psychology, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2021

    Computational Visual Ceramicology: Matching Image Outlines to Catalog Sketches

    Itkin, B., Wolf, L. & Dershowitz, N., 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. Association for the Advancement of Artificial Intelligence, p. 14822-14830 9 p. (35th AAAI Conference on Artificial Intelligence, AAAI 2021; vol. 17A).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • The communication complexity of multiparty set disjointness under product distributions

    Dershowitz, N., Oshman, R. & Roth, T., 15 Jun 2021, STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. Khuller, S. & Williams, V. V. (eds.). Association for Computing Machinery, p. 1194-1207 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 2020

    Transcription Alignment for Highly Fragmentary Historical Manuscripts: The Dead Sea Scrolls

    Ben Ezra, D. S., Brown-Devost, B., Dershowitz, N., Pechorin, A. & Kiessling, B., Sep 2020, Proceedings - 2020 17th International Conference on Frontiers in Handwriting Recognition, ICFHR 2020. Institute of Electrical and Electronics Engineers Inc., p. 361-366 6 p. 9257728. (Proceedings of International Conference on Frontiers in Handwriting Recognition, ICFHR; vol. 2020-September).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations
  • 2019

    Computability and stability for hybrid algorithms

    Dershowitz, N. & Retchkiman Königsberg, Z., 2019, Advances in Swarm Intelligence - 10th International Conference, ICSI 2019, Proceedings. Tan, Y., Shi, Y. & Niu, B. (eds.). Springer Verlag, p. 395-401 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11655 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Transductive learning for reading handwritten tibetan manuscripts

    Keret, S., Wolf, L., Dershowitz, N., Werner, E., Almogi, O. & Wangchuk, D., Sep 2019, Proceedings - 15th IAPR International Conference on Document Analysis and Recognition, ICDAR 2019. IEEE Computer Society, p. 214-221 8 p. 8978019. (Proceedings of the International Conference on Document Analysis and Recognition, ICDAR).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations
  • 2018

    A Method for Segmentation, Matching and Alignment of Dead Sea Scrolls

    Levi, G., Nisnevich, P., Ben-Shalom, A., Dershowitz, N. & Wolf, L., 3 May 2018, Proceedings - 2018 IEEE Winter Conference on Applications of Computer Vision, WACV 2018. Institute of Electrical and Electronics Engineers Inc., p. 208-217 10 p. (Proceedings - 2018 IEEE Winter Conference on Applications of Computer Vision, WACV 2018; vol. 2018-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Matching and Searching the Dead Sea Scrolls

    Badamdorj, T., Ben-Shalom, A. & Dershowitz, N., 2 Jul 2018, 2018 IEEE International Conference on the Science of Electrical Engineering in Israel, ICSEE 2018. Institute of Electrical and Electronics Engineers Inc., 8646241. (2018 IEEE International Conference on the Science of Electrical Engineering in Israel, ICSEE 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Stemming and segmentation for classical Tibetan

    Almogi, O., Dankin, L., Dershowitz, N., Hoffman, Y., Pauls, D., Wangchuk, D. & Wolf, L., 2018, Computational Linguistics and Intelligent Text Processing - 17th International Conference, CICLing 2016, Revised Selected Papers. Gelbukh, A. (ed.). Springer Verlag, p. 294-306 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9623 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Well-Founded Unions

    Dawson, J., Dershowitz, N. & Goré, R., 2018, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Sebastiani, R., Galmiche, D. & Schulz, S. (eds.). Springer Verlag, p. 117-133 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2017

    Image and text correction using language models

    Kissos, I. & Dershowitz, N., 13 Oct 2017, 1st IEEE International Workshop on Arabic Script Analysis and Recognition, ASAR 2017. Institute of Electrical and Electronics Engineers Inc., p. 158-162 5 p. 8067779. (1st IEEE International Workshop on Arabic Script Analysis and Recognition, ASAR 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Qumran Letter Restoration by Rotation and Reflection Modified PixelCNN

    Uzan, L., Dershowitz, N. & Wolf, L., 2 Jul 2017, Proceedings - 14th IAPR International Conference on Document Analysis and Recognition, ICDAR 2017. IEEE Computer Society, p. 23-29 7 p. (Proceedings of the International Conference on Document Analysis and Recognition, ICDAR; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Relating Articles Textually and Visually

    Dershowitz, N., Labenski, D., Silberpfennig, A., Wolf, L. & Tsur, Y., 2 Jul 2017, Proceedings - 14th IAPR International Conference on Document Analysis and Recognition, ICDAR 2017. IEEE Computer Society, p. 274-280 7 p. (Proceedings of the International Conference on Document Analysis and Recognition, ICDAR; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • VASESKETCH: Automatic 3D Representation of Pottery from Paper Catalog Drawings

    Banterle, F., Itkin, B., Dellepiane, M., Wolf, L., Callieri, M., Dershowitz, N. & Scopigno, R., 2 Jul 2017, Proceedings - 14th IAPR International Conference on Document Analysis and Recognition, ICDAR 2017. IEEE Computer Society, p. 683-690 8 p. (Proceedings of the International Conference on Document Analysis and Recognition, ICDAR; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    19 Scopus citations
  • 2016

    Axiomatizing analog algorithms

    Bournez, O., Dershowitz, N. & Néron, P., 2016, Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Proceedings. Jonoska, N., Bienvenu, L. & Beckmann, A. (eds.). Springer Verlag, p. 215-224 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9709).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • OCR Error Correction Using Character Correction and Feature-Based Word Classification

    Kissos, I. & Dershowitz, N., 10 Jun 2016, Proceedings - 12th IAPR International Workshop on Document Analysis Systems, DAS 2016. Institute of Electrical and Electronics Engineers Inc., p. 198-203 6 p. 7490117. (Proceedings - 12th IAPR International Workshop on Document Analysis Systems, DAS 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    67 Scopus citations

  • Processing Judeo-Arabic texts

    Bar, K., Dershowitz, N., Wolf, L., Lubarsky, Y. & Choueka, Y., 29 Feb 2016, Proceedings - 1st International Conference on Arabic Computational Linguistics: Advances in Arabic Computational Linguistics, ACLing 2015. Gelbukh, A. & Shaalan, K. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 138-144 7 p. 7422292. (Proceedings - 1st International Conference on Arabic Computational Linguistics: Advances in Arabic Computational Linguistics, ACLing 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 2015

    Fields of logic and computation II: Essays dedicated to yuri gurevich on the occasion of his 75th birthday

    Beklemishev, L. D., Blass, A., Dershowitz, N., Finkbeiner, B. & Schulte, W., 2015, Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Beklemishev, L. D., Blass, A., Dershowitz, N., Finkbeiner, B. & Schulte, W. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9300).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Hints revealed

    Kalechstain, J., Ryvchin, V. & Dershowitz, N., 2015, Theory and Applications of Satisfiability Testing – SAT 2015 - 18th International Conference, Proceedings. Heule, M. & Weaver, S. (eds.). Springer Verlag, p. 71-87 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9340).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Improving OCR for an under-resourced script using unsupervised word-spotting

    Silberpfennig, A., Wolf, L., Dershowitz, N., Bhagesh, S. & Chaudhuri, B. B., 20 Nov 2015, 13th IAPR International Conference on Document Analysis and Recognition, ICDAR 2015 - Conference Proceedings. IEEE Computer Society, p. 706-710 5 p. 7333853. (Proceedings of the International Conference on Document Analysis and Recognition, ICDAR; vol. 2015-November).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Viral transcript alignment

    Sadeh, G., Wolf, L., Hassner, T., Dershowitz, N. & Ben-Ezra, D. S., 20 Nov 2015, 13th IAPR International Conference on Document Analysis and Recognition, ICDAR 2015 - Conference Proceedings. IEEE Computer Society, p. 711-715 5 p. 7333854. (Proceedings of the International Conference on Document Analysis and Recognition, ICDAR; vol. 2015-November).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations
  • 2014

    A Simple and Fast Word Spotting Method

    Kovalchuk, A., Wolf, L. & Dershowitz, N., 9 Dec 2014, Proceedings - 14th International Conference on Frontiers in Handwriting Recognition, ICFHR 2014. Institute of Electrical and Electronics Engineers Inc., p. 3-8 6 p. 6980988. (Proceedings of International Conference on Frontiers in Handwriting Recognition, ICFHR; vol. 2014-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    57 Scopus citations

  • Confluence by critical pair analysis

    Liu, J., Dershowitz, N. & Jouannaud, J. P., 2014, Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 287-302 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Congruency-based reranking

    Ben-Shalom, I., Levy, N., Wolf, L., Dershowitz, N., Ben-Shalom, A., Shweka, R., Choueka, Y., Hazan, T. & Bar, Y., 24 Sep 2014, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. IEEE Computer Society, p. 2107-2114 8 p. 6909667. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Generic parallel algorithms

    Dershowitz, N. & Falkovich, E., 2014, Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Proceedings. Springer Verlag, p. 133-142 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8493 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Inferring paraphrases for a highly inflected language from a monolingual corpus

    Bar, K. & Dershowitz, N., 2014, Computational Linguistics and Intelligent Text Processing - 15th International Conference, CICLing 2014, Proceedings. PART 2 ed. Springer Verlag, p. 254-270 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8404 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • The Tel Aviv University System for the Code-Switching Workshop Shared Task

    Bar, K. & Dershowitz, N., 2014, 1st Workshop on Computational Approaches to Code Switching, Switching 2014 at the 2014 Conference on Empirical Methods in Natural Language Processing, EMNLP 2014 - Proceedings. Diab, M., Hirschberg, J., Fung, P. & Solorio, T. (eds.). Association for Computational Linguistics (ACL), p. 139-143 5 p. (1st Workshop on Computational Approaches to Code Switching, Switching 2014 at the 2014 Conference on Empirical Methods in Natural Language Processing, EMNLP 2014 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations
  • 2013

    Res Publica: The universal model of computation

    Dershowitz, N., 1 Sep 2013, Leibniz International Proceedings in Informatics, LIPIcs. Della Rocca, S. R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 5-10 6 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 23).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 2012

    Language classification and segmentation of noisy documents in Hebrew scripts

    Dershowitz, N. & Zhicharevich, A., 2012, Proceedings of the 6th Workshop on Language Technology for Cultural Heritage, Social Sciences, and Humanities, LaTeCH 2012 at the 13th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2012. Zervanou, K. & van den Bosch, A. (eds.). Association for Computational Linguistics (ACL), p. 112-117 6 p. (Proceedings of the 6th Workshop on Language Technology for Cultural Heritage, Social Sciences, and Humanities, LaTeCH 2012 at the 13th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Towards an axiomatization of simple analog algorithms

    Bournez, O., Dershowitz, N. & Falkovich, E., 2012, Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Proceedings. p. 525-536 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7287 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations
  • 2011

    Active clustering of document fragments using information derived from both images and catalogs

    Wolf, L., Litwak, L., Dershowitz, N., Shweka, R. & Choueka, Y., 2011, 2011 International Conference on Computer Vision, ICCV 2011. p. 1661-1667 7 p. 6126428. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Computerized paleography: Tools for historical manuscripts

    Wolf, L., Potikha, L., Dershowitz, N., Shweka, R. & Choueka, Y., 2011, ICIP 2011: 2011 18th IEEE International Conference on Image Processing. p. 3545-3548 4 p. 6116481. (Proceedings - International Conference on Image Processing, ICIP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    21 Scopus citations

  • Unsupervised decomposition of a document into authorial components

    Koppel, M., Akiva, N., Dershowitz, I. & Dershowitz, N., 2011, ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. p. 1356-1364 9 p. (ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    40 Scopus citations
  • 2010

    Exact exploration and hanging algorithms

    Blass, A., Dershowitz, N. & Gurevich, Y., 2010, Computer Science Logic - 24th International Workshop, CSL 2010, and 19th Annual Conference of the EACSL, Proceedings. p. 140-154 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6247 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Three paths to effectiveness

    Boker, U. & Dershowitz, N., 2010, Fields of Logic and Computation - Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. p. 135-146 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6300 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations
  • 2009

    Automatically identifying join candidates in the Cairo Genizah

    Wolf, L., Littman, R., Mayer, N., Dershowitz, N., Shweka, R. & Choueka, Y., 2009, 2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009. p. 978-979 2 p. 5457596. (2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Scopus citations

  • On lazy commutation

    Dershowitz, N., 2009, Languages: From Formal to Natural - Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. p. 59-82 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5533 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations
  • 2008

    Canonical inference for implicational systems

    Bonacina, M. P. & Dershowitz, N., 2008, Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings. p. 380-395 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5195 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Canonicity!

    Dershowitz, N., 2008, Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings. p. 327-331 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5195 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Spreadspaces: Mathematically-intelligent graphical spreadsheets

    Dershowitz, N. & Kirchner, C., 2008, Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. p. 194-208 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5065 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • The Church-Turing Thesis over arbitrary domains

    Boker, U. & Dershowitz, N., 2008, Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Avron, A., Dershowitz, N. & Rabinovich, A. (eds.). p. 199-229 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4800 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    21 Scopus citations
  • 2007

    Complexity of propositional proofs under a promise

    Dershowitz, N. & Tzameret, I., 2007, Automata, Languages and Programming - 34th International Colloquium, ICALP 2007, Proceedings. Springer Verlag, p. 291-302 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4596 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The hydra battle revisited

    Dershowitz, N. & Moser, G., 2007, Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Springer Verlag, p. 1-27 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4600 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations

  • Towards a better understanding of the functionality of a conflict-driven SAT solver

    Dershowitz, N., Hanna, Z. & Nadel, A., 2007, Theory and Applications of Satisfiability Testing - SAT 2007 - 10th International Conference, Proceedings. Springer Verlag, p. 287-293 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4501 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations
  • 2006

    A scalable algorithm for minimal unsatisfiable core extraction

    Dershowitz, N., Hanna, Z. & Nadel, A., 2006, Theory and Applications of Satisfiability Testing, SAT 2006 - 9th International Conference, Proceedings. Springer Verlag, p. 36-41 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4121 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    63 Scopus citations

  • Boolean rings for intersection-based satisfiability

    Dershowitz, N., Hsiang, J., Huang, G. S. & Kaiss, D., 2006, Logic for Programming, Artificial Intelligence, and Reasoning - 13th International Conference, LPAR 2006, Proceedings. Springer Verlag, p. 482-496 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4246 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations