Search Results - Hirshfeld, Yoram

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    Expressiveness of Metric modalities for continuous time

    Expressiveness of Metric modalities for continuous time by Hirshfeld, Yoram, Rabinovich, Alexander

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Continuous time temporal logic with counting

    Continuous time temporal logic with counting by Hirshfeld, Yoram, Rabinovich, Alexander

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Decidable metric logics

    Decidable metric logics by Hirshfeld, Yoram, Rabinovich, Alex

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Timer formulas and decidable metric temporal logic

    Timer formulas and decidable metric temporal logic by Hirshfeld, Yoram, Rabinovich, Alexander

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    A polynomial algorithm for deciding bisimilarity of normed context-free processes

    A polynomial algorithm for deciding bisimilarity of normed context-free processes by Hirshfeld, Yoram, Jerrum, Mark, Moller, Faron

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Pushdown automata, multiset automata, and Petri nets: Algorithmic verification of infinite-state systems

    Pushdown automata, multiset automata, and Petri nets: Algorithmic verification of infinite-state systems by HIRSHFELD, Yoram, MOLLER, Faron

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Future temporal logic needs infinitely many modalities

    Future temporal logic needs infinitely many modalities by Hirshfeld, Yoram, Rabinovich, Alexander

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Pushdown automata, multiset automata, and Petri nets

    Pushdown automata, multiset automata, and Petri nets by Hirshfeld, Yoram, Moller, Faron

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes

    A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes by Hirshfeld, Yoram, Jerrum, Mark, Moller, Faron

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Bisimulation Trees and the Decidability of Weak Bisimulations

    Bisimulation Trees and the Decidability of Weak Bisimulations by Hirshfeld, Yoram

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Expressiveness of Metric modalities for continuous time

    Expressiveness of Metric modalities for continuous time by Hirshfeld, Yoram, Rabinovich, Alexander

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    The probability nesting game

    The probability nesting game by Beauquier, Danièle, Hirshfeld, Yoram, Rabinovich, Alexander, Slissenko, Anatol

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: