Research output per year
Research output per year
Search results
-
2006
Expressiveness of metric modalities for continuous time
Hirshfeld, Y. & Rabinovich, A., 2006, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3967 LNCS, p. 211-220 10 p.Research output: Contribution to journal › Conference article › peer-review
10 Scopus citations -
2002
The probability nesting game
Beauquier, D., Hirshfeld, Y., Rabinovich, A. & Slissenko, A., Sep 2002, In: Electronic Notes in Theoretical Computer Science. 68, 2, p. 4-14 11 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
1997
Bisimulation trees and the decidability of weak bisimulations
Hirshfeld, Y., 1997, In: Electronic Notes in Theoretical Computer Science. 5, p. 2-13 12 p.Research output: Contribution to journal › Conference article › peer-review
Open Access20 Scopus citations