Nachum Dershowitz
Affiliations:- Tel Aviv University, Israel
According to our database1,
Nachum Dershowitz
authored at least 228 papers
between 1977 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2024
The Pitfalls of Publishing in the Age of LLMs: Strange and Surprising Adventures with a High-Impact NLP Journal.
CoRR, 2024
Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024
Proceedings of the Findings of the Association for Computational Linguistics: EACL 2024, 2024
2023
Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanhuma Material.
J. Data Min. Digit. Humanit., 2023
Linguistic Knowledge Within Handwritten Text Recognition Models: A Real-World Case Study.
Proceedings of the Document Analysis and Recognition - ICDAR 2023, 2023
A Statistical Exploration of the Hypothesized Partition of the Books of Genesis and Exodus into Priestly and non-Priestly Components.
Proceedings of the Annual International Conference of the Alliance of Digital Humanities Organizations, 2023
A Statistical Exploration of Text Partition Into Constituents: The Case of the Priestly Source in the Books of Genesis and Exodus.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023
2022
CoRR, 2022
How Much Does Lookahead Matter for Disambiguation? Partial Arabic Diacritization Case Study.
Comput. Linguistics, 2022
2021
The communication complexity of multiparty set disjointness under product distributions.
Proceedings of the STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Transliteration of Judeo-Arabic Texts into Arabic Script Using Recurrent Neural Networks.
CoRR, 2020
Transliteration of Judeo-Arabic Texts into Arabic Script Using Recurrent Neural Networks.
Proceedings of the Fifth Arabic Natural Language Processing Workshop, 2020
Transcription Alignment for Highly Fragmentary Historical Manuscripts: The Dead Sea Scrolls.
Proceedings of the 17th International Conference on Frontiers in Handwriting Recognition, 2020
Proceedings of the 15th Annual International Conference of the Alliance of Digital Humanities Organizations, 2020
2019
Theor. Comput. Sci., 2019
Proceedings of the Advances in Swarm Intelligence - 10th International Conference, 2019
Proceedings of the 2019 International Conference on Document Analysis and Recognition, 2019
2018
Proceedings of the 2018 IEEE Winter Conference on Applications of Computer Vision, 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
Proceedings of the 14th IAPR International Conference on Document Analysis and Recognition, 2017
Proceedings of the 14th IAPR International Conference on Document Analysis and Recognition, 2017
Proceedings of the 14th IAPR International Conference on Document Analysis and Recognition, 2017
Proceedings of the 1st International Workshop on Arabic Script Analysis and Recognition, 2017
2016
OCR Error Correction Using Character Correction and Feature-Based Word Classification.
Proceedings of the 12th IAPR Workshop on Document Analysis Systems, 2016
Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2016
Proceedings of the Martin Davis on Computability, 2016
2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Proceedings of the 13th International Conference on Document Analysis and Recognition, 2015
Proceedings of the 13th International Conference on Document Analysis and Recognition, 2015
2014
Int. J. Comput. Linguistics Appl., 2014
Proceedings of the Proceedings Tenth International Workshop on Developments in Computational Models, 2014
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014
Proceedings of the 14th International Conference on Frontiers in Handwriting Recognition, 2014
Proceedings of the 9th Annual International Conference of the Alliance of Digital Humanities Organizations, 2014
Proceedings of the 9th Annual International Conference of the Alliance of Digital Humanities Organizations, 2014
Proceedings of the 9th Annual International Conference of the Alliance of Digital Humanities Organizations, 2014
Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition, 2014
Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2014
Proceedings of the Language, Culture, Computation. Computing - Theory and Technology, 2014
Proceedings of the Language, Culture, Computation. Computing - Theory and Technology, 2014
Proceedings of the Language, Culture, Computation. Computing - Theory and Technology, 2014
Proceedings of the Language, Culture, Computation. Computing of the Humanities, 2014
Proceedings of the First Workshop on Computational Approaches to Code Switching@EMNLP 2014, 2014
2013
Lit. Linguistic Comput., 2013
Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013
Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013
2012
Theor. Comput. Sci., 2012
Proceedings of the Theory and Applications of Models of Computation, 2012
Proceedings of the 6th Workshop on Language Technology for Cultural Heritage, 2012
Estimating the Distinctiveness of Graphemes and Allographs in Palaeographic Classification.
Proceedings of the 7th Annual International Conference of the Alliance of Digital Humanities Organizations, 2012
Proceedings of the COLING 2012, 2012
2011
Proceedings of the Proceedings 7th International Workshop on Developments of Computational Methods, 2011
Proceedings of the Proceedings 7th International Workshop on Developments of Computational Methods, 2011
Proceedings of the 18th IEEE International Conference on Image Processing, 2011
Active clustering of document fragments using information derived from both images and catalogs.
Proceedings of the IEEE International Conference on Computer Vision, 2011
Proceedings of the 6th Annual International Conference of the Alliance of Digital Humanities Organizations, 2011
Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, 2011
2010
Proceedings of the 2010 International Workshop on Spoken Language Translation, 2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
Proceedings of the Fields of Logic and Computation, 2010
Proceedings of the Fields of Logic and Computation, 2010
2009
SIAM J. Discret. Math., 2009
Appl. Math. Comput., 2009
Proceedings of the 12th IEEE International Conference on Computer Vision Workshops, 2009
2008
Bull. Symb. Log., 2008
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
Proceedings of the Concurrency, 2008
Proceedings of the Pillars of Computer Science, 2008
Proceedings of the Pillars of Computer Science, 2008
Calendrical calculations (3. ed.).
Cambridge University Press, ISBN: 978-0-521-88540-9, 2008
2007
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
Proceedings of the Logic for Programming, 2006
2005
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., 2005
Proceedings of the First International Workshop on Developments in Computational Models, 2005
Proceedings of the Theory and Applications of Satisfiability Testing, 2005
Proceedings of the Theory and Applications of Satisfiability Testing, 2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
Proceedings of the New Computational Paradigms, 2005
2004
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
2003
Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003
Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003
2002
Cambridge University Press, ISBN: 978-0-521-78253-1, 2002
Calendrical calcuations - the millenium edition.
Cambridge University Press, ISBN: 978-0-521-77752-0, 2002
2001
Appl. Algebra Eng. Commun. Comput., 2001
2000
1999
Proceedings of the Workshop on Verification of Logic Programs 1999, 1999
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999
1998
Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998
1997
Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
1995
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995
1994
Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994
Proceedings of the Algorithmic Learning Theory, 1994
1993
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993
1992
Proceedings of the Logical Foundations of Computer Science, 1992
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992
Proceedings of the Automated Deduction, 1992
1991
Notations for Rewting.
Bull. EATCS, 1991
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991
1990
Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990
Proceedings of the Conditional and Typed Rewriting Systems, 1990
Proceedings of the Algebraic and Logic Programming, 1990
Proceedings of the Algebraic and Logic Programming, 1990
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990
1989
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989
Average Time Analyses Related to Logic Programming.
Proceedings of the Logic Programming, 1989
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989
Proceedings of the Foundations of Data Organization and Algorithms, 1989
1988
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988
Conditional Equational Programming and the Theory of Conditional Term Rewriting.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
Proceedings of the 9th International Conference on Automated Deduction, 1988
Proceedings of the 7th National Conference on Artificial Intelligence, 1988
1987
Deductive Debugging.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987
Inference Rules for Rewrite-Based First-Order Theorem Proving
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987
Proceedings of the EUROCAL '87, 1987
Proceedings of the Conditional Term Rewriting Systems, 1987
Proceedings of the Conditional Term Rewriting Systems, 1987
1986
An Implementation of Narrowing: The RITE Way.
Proceedings of the 1986 Symposium on Logic Programming, 1986
Orderings for Equational Proofs
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
1985
Logic Programming cum Applicative Programming.
Proceedings of the 1985 Symposium on Logic Programming, 1985
Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985
1984
Logic Programming by Completion.
Proceedings of the Second International Logic Programming Conference, 1984
1983
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
Proceedings of the Automata, 1983
The evolution of programs.
Progress in computer science 5, Birkhäuser, ISBN: 978-0-8176-3171-0, 1983
1982
1981
Proceedings of the 5th International Conference on Software Engineering, 1981
Proceedings of the Automata, 1981
1980
1979
1978
1977
IEEE Trans. Software Eng., 1977
Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977