Research output per year
Research output per year
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 journal › Article › peer-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 proceeding › Conference contribution › peer-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 journal › Article › peer-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 journal › Article › peer-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 proceeding › Conference contribution › peer-review