Concepedia

Yoram Hirshfeld

YH

16

Publications

654

Citations

15

H-Index

1996

Active since

Affiliations

Tel Aviv University(Current)

University of Edinburgh

Swedish Institute

Yoram Hirshfeld is an author at Tel Aviv University specializing in engineering, formal methods, and computer science.

Top concepts

Publications per year

1996–2008

16

Publications

16

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

Yoram Hirshfeld, Mark Jerrum, Faron Moller · Theoretical Computer Science · 1996 · 140 citations

, , +8

Logics for Real Time: Decidability and Complexity

Yoram Hirshfeld, Alexander Rabinovich · 2004 · 103 citations

A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes

Yoram Hirshfeld, Mark Jerrum, Faron Moller · Mathematical Structures in Computer Science · 1996 · 81 citations

, , +16

Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes

Søren Christensen, Yoram Hirshfeld, Faron Moller · 2002 · 42 citations

, , +15

Meadows and the equational specification of division

J.A. Bergstra, Yoram Hirshfeld, John V. Tucker · Theoretical Computer Science · 2008 · 39 citations

, , +4

Rows per page

1–5 of 16