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
-
לוגיקה למדעי המחשב
הירשפלד, י., בורלא, ר. (Illustrator), גוגנהיימר, י. (Editor), דרשוביץ, נ., יהודאי, ע., מנביץ, ל. & קאופמן, י., 2015, רעננה: האוניברסיטה הפתוחה. 1 p.Research output: Book/Report › Book › peer-review
-
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 Access7 Scopus citations -
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
12 Scopus citations -
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 Access22 Scopus citations -
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 Access3 Scopus citations