Skip to main navigation Skip to search Skip to main content
אדוארד הירש

View Scopus Profile

Edward Hirsch

Prof.

 https://orcid.org/0009-0003-2779-5536
1997 …2026

Research activity per year

Fingerprint

Dive into the research topics where Edward Hirsch is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Gregory Tseytin Obituary

    Artemov, S. N., Beklemishev, L. D., Borkin, L., Dantsin, E., Gurevich, Y., Hirsch, E. A., Ibragimov, I. A., Kalmens, G., Koubenski, D., Kreinovich, V., Lodkin, A. A., Matiyasevich, Y. V., Novikov, B. A., Orevkov, V. P., Semenov, A. L., Shen, A., Slissenko, A. & Vershik, A. M., 2026, Uncertainty Quantification and Uncertainty Propagation under Traditional and AI-Based Data Processing (and Related Topics): Legacy of Grigory Tseytin. Springer Science and Business Media Deutschland GmbH, p. 3-13 11 p. (Studies in Systems, Decision and Control; vol. 660).

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

  • Upper and Lower Bounds for the Linear Ordering Principle

    Hirsch, E. A. & Volkovich, I., 2026, 43rd International Symposium on Theoretical Aspects of Computer Science, STACS 2026. Mahajan, M., Manea, F., McIver , A. & Nguyen, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 52. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 364).

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

    1 Scopus citations

  • The power of the Binary Value Principle

    Alekseev, Y. & Hirsch, E. A., 1 Aug 2025, In: Annals of Pure and Applied Logic. 176, 9, 103614.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Tropical Proof Systems: Between R(CP) and Resolution

    Alekseev, Y., Grigoriev, D. & Hirsch, E. A., 24 Feb 2025, 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025. Beyersdorff, O., Pilipczuk, M., Pimentel, E. & Thang, N. K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 327).

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

  • Proving Unsatisfiability with Hitting Formulas

    Filmus, Y., Hirsch, E. A., Riazanov, A., Smal, A. & Vinyals, M., Jan 2024, 15th Innovations in Theoretical Computer Science Conference, ITCS 2024. Guruswami, V. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 48. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 287).

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

    2 Scopus citations
View all 59 Research outputs