Searching for authors named "Yoram Hirshfeld" – sorted by Relevance.
-
An Expressive Temporal Logic for Real Time
- An Expressive Temporal Logic for Real Time Yoram Hirshfeld and Alexander Rabinovich School
- Add To MetaCart
-
On the Star Height of Unary Regular Behaviours
- ) On the Star Height of Unary Regular Behaviours Yoram Hirshfeld Tel Aviv University Faron Moller Uppsala
- Add To MetaCart
-
Future Temporal Logic Needs in Finitely Many Modalities
- Future temporal logic needs innitely many modalities Yoram Hirshfeld Alexander Rabinovich y
- Add To MetaCart
-
LePUS - A Formal Language for Negotiating Design Patterns: A Case Study
- : A Case Study Amnon H. Eden iii Yoram Hirshfeld Amiram Yehudai eden@(email omitted); yoram
- Add To MetaCart
-
A Framework for Decidable Metrical Logics
- A Framework for Decidable Metrical Logics Yoram Hirshfeld and Alexander Rabinovich Tel Aviv
- Cited by 7 (3 self) – Add To MetaCart
-
Quantitative Temporal Logic
- Quantitative Temporal Logic Yoram Hirshfeld and Alexander Rabinovich Sackler Faculty of Exact
- Cited by 15 (7 self) – Add To MetaCart
-
Decidable Subsets of CCS
- Decidable Subsets of CCS So/ren Christensen\Lambda Yoram Hirshfeldy Faron Mollerz Laboratory
- Cited by 13 (0 self) – Add To MetaCart
-
Principles in Formal Specification of Object Oriented Architectures
- - Yoram Hirshfeld School of Mathematics Tel-Aviv University Tel Aviv, Israel yoram@(email omitted); oriented
- Cited by 6 (4 self) – Add To MetaCart
-
A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes
- A polynomial algorithm for deciding bisimilarity of normed context-free processes Yoram
- Cited by 35 (6 self) – Add To MetaCart
-
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
- -time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes Yoram Hirshfeld School
- Cited by 4 (1 self) – Add To MetaCart

