Searching for authors named "Yoram Hirshfeld" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
