Joram Hirshfeld

Professor

Former affiliation
1988 …2015

Research activity per year

Filter
Conference contribution

Search results

  • 2010

    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

    Open Access
    12 Scopus citations
  • 2008

    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

    2 Scopus citations
  • 2006

    An expressive temporal logic for real time

    Hirshfeld, Y. & Rabinovich, A., 2006, Mathematical Foundations of Computer Science 2006 - 31st International Symposium, MFCS 2006, Proceedings. Springer Verlag, p. 492-504 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4162 LNCS).

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

    Open Access
    17 Scopus citations
  • 1999

    A framework for decidable metrical logics

    Hirshfeld, Y. & Rabinovich, A., 1999, Automata, Languages and Programming - 26th International Colloquium, ICALP 1999, Proceedings. Springer Verlag, p. 422-432 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1644 LNCS).

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

    Open Access
    22 Scopus citations
  • Bisimulation equivalence is decidable for normed process algebra (extended abstract)

    Hirshfeld, Y. & Jerrum, M., 1999, Automata, Languages and Programming - 26th International Colloquium, ICALP 1999, Proceedings. Springer Verlag, p. 412-421 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1644 LNCS).

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

    41 Scopus citations
  • Quantitative temporal logic

    Hirshfeld, Y. & Rabinovich, A., 1999, Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings. Flum, J. & Rodriguez-Artalejo, M. (eds.). Springer Verlag, p. 172-187 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1683).

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

    28 Scopus citations
  • 1996

    Decidability results in automata and process theory

    Hirshfeld, Y. & Moller, F., 1996, Logics for Concurrency - Structure versus Automata. Moller, F. & Birtwistle, G. (eds.). Springer Verlag, p. 102-148 47 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1043).

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

    Open Access
    10 Scopus citations
  • 1994

    A fast algorithm for deciding bisimilarity of normed context-free processes

    Hirshfeld, Y. & Moller, F., 1994, CONCUR 1994: Concurrency Theory - 5th International Conference, Proceedings. Jonsson, B. & Parrow, J. (eds.). Springer Verlag, p. 48-63 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 836 LNCS).

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

    12 Scopus citations
  • Petri nets and the equivalence problem

    Hirshfeld, Y., 1994, Computer Science Logic - 7th Workshop, CSL 1993, Selected Papers. Borger, E., Gurevich, Y. & Meinke, K. (eds.). Springer Verlag, p. 165-174 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 832 LNCS).

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

    48 Scopus citations
  • 1993

    Bisimulation equivalence is decidable for basic parallel processes

    Christensen, S., Hirshfeld, Y. & Moller, F., 1993, CONCUR 1993 - 4th International Conference on Concurrency Theory, Proceedings. Best, E. (ed.). Springer Verlag, p. 143-157 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 715 LNCS).

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

    113 Scopus citations
  • Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes

    Christensen, S., Hirshfeld, Y. & Moller, F., 1993, Logic in Computer Science. Publ by IEEE, p. 386-396 11 p. (Proceedings - Symposium on Logic in Computer Science).

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

    32 Scopus citations
  • 1992

    Safe queries in relational databases with functions

    Hirshfeld, J., 1992, Computer Science Logic - 5th Workshop, CSL 1991, Proceedings. Borger, E., Jager, G., Buning, H. K. & Richter, M. M. (eds.). Springer Verlag, p. 173-183 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 626 LNCS).

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

    2 Scopus citations
  • 1991

    On first order database query languages

    Avron, A. & Hirshfeld, J., Jul 1991, Proceedings - Symposium on Logic in Computer Science. Publ by IEEE, p. 226-231 6 p. (Proceedings - Symposium on Logic in Computer Science).

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

    6 Scopus citations
  • 1989

    Discerning causality in interleaving behavior

    Hirshfeld, J., Rabinovich, A. & Trakhtenbrot, B. A., 1989, Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Meyer, A. R. & Taitslin, M. A. (eds.). Springer Verlag, p. 146-162 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 363 LNCS).

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

    5 Scopus citations