Showing 1 - 11 results of 11 for search 'Vardi, Moshe Y.', query time: 0.17s Refine Results
  1. 1
    Explicit or Symbolic Translation of Linear Temporal Logic to Automata
    by Rozier, Kristin Yvonne
    Published 2013
    Other Authors: “...Vardi, Moshe Y....”
    Get full text
    Others
  2. 2
    BDD-based decision procedures for modal logic K
    by Pan, Guoqiang
    Published 2009
    Other Authors: “...Vardi, Moshe Y....”
    Get full text
    Others
  3. 3
    Experimental evaluation of explicit and symbolic automata-theoretic algorithms
    by Tabakov, Deian
    Published 2009
    Other Authors: “...Vardi, Moshe Y....”
    Get full text
    Others
  4. 4
    Structural heuristics for query optimization
    by McMahan, Benjamin James
    Published 2009
    Other Authors: “...Vardi, Moshe Y....”
    Get full text
    Others
  5. 5
    Complexity and structural heuristics for propositional and quantified satisfiability
    by Pan, Guoqiang
    Published 2009
    Other Authors: “...Vardi, Moshe Y....”
    Get full text
    Others
  6. 6
    Probabilistic phenomena in random combinatorial problems
    by Demopoulos, Demetrios D.
    Published 2009
    Other Authors: “...Vardi, Moshe Y....”
    Get full text
    Others
  7. 7
    Linear vs. branching time: A semantical perspective
    Published 2011
    Other Authors: “...Vardi, Moshe Y....”
    Get full text
    Others
  8. 8
    Buchi containment and size-change termination
    Published 2011
    Other Authors: “...Vardi, Moshe Y....”
    Get full text
    Others
  9. 9
    Dynamic Assertion-Based Verification for SystemC
    Published 2013
    Other Authors: “...Vardi, Moshe Y....”
    Get full text
    Others
  10. 10
    Büchi Automata as Specifications for Reactive Systems
    by Fogarty, Seth
    Published 2013
    Other Authors: “...Vardi, Moshe Y....”
    Get full text
    Others
  11. 11
    Büchi Automata as Specifications for Reactive Systems
    by Fogarty, Seth
    Published 2013
    Other Authors: “...Vardi, Moshe Y....”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search