Joram Hirshfeld

Professor

19882012

Research activity per year

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

Fingerprint

Dive into the research topics where Joram Hirshfeld is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
  • Continuous time temporal logic with counting

    Hirshfeld, Y. & Rabinovich, A., May 2012, In: Information and Computation. 214, p. 1-9 9 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Promptness in ω-regular automata

    Almagor, S., Hirshfeld, Y. & Kupferman, O., 2010, Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Proceedings. p. 22-36 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6252 LNCS).

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

  • Meadows and the equational specification of division

    Bergstra, J. A., Hirshfeld, Y. & Tucker, J. V., 17 Mar 2009, In: Theoretical Computer Science. 410, 12-13, p. 1261-1271 11 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Decidable metric logics

    Hirshfeld, Y. & Rabinovich, A., Dec 2008, In: Information and Computation. 206, 12, p. 1425-1442 18 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Fields, meadows and abstract data types

    Bergstra, J., Hirshfeld, Y. & Tucker, J., 2008, Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer Verlag, p. 166-178 13 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