Nachum Dershowitz

Professor

1975 …2022

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2022

    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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • Matching and Searching the Dead Sea Scrolls

    Badamdorj, T., Ben-Shalom, A. & Dershowitz, N., 20 Feb 2019, 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 2005

    Space-efficient bounded model checking

    Katz, J., Hanna, Z. & Dershowitz, N., 2005, Proceedings - Design, Automation and Test in Europe, DATE '05. p. 686-687 2 p. 1395655. (Proceedings -Design, Automation and Test in Europe, DATE '05; vol. II).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1999

    Jeopardy

    Dershowitz, N. & Mitra, S., 1999, Rewriting Techniques and Applications - 10th International Conference, RTA 1999, Proceedings. Narendran, P. & Rusinowitch, M. (eds.). Springer Verlag, p. 16-29 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1631).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1998

    An on-line problem database

    Dershowitz, N. & Treinen, R., 1998, Rewriting Techniques and Applications - 9th International Conference, RTA 1998, Proceedings. Nipkow, T. (ed.). Springer Verlag, p. 332-342 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1379).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1997

    Innocuous constructor-sharing combinations

    Dershowitz, N., 1997, Rewriting Techniques and Applications - 8th International Conference, RTA 1997, Proceedings. Comon, H. (ed.). Springer Verlag, p. 202-216 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1232).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review