Vardi

Results: 78



#Item
21

Symbolic Techniques in Propositional Satisfiability Solving Moshe Y. Vardi Rice University

Add to Reading List

Source URL: www.cs.rice.edu

- Date: 2012-06-03 23:08:29
    22

    Solving Partial-Information Stochastic Parity Games Sumit Nain and Moshe Y. Vardi Department of Computer Science, Rice University, Houston, Texas, 77005 Email: {nain,vardi}@cs.rice.edu Abstract

    Add to Reading List

    Source URL: www.cs.rice.edu

    - Date: 2013-07-19 14:10:27
      23

      COMP 409 Logic in Computer Science Fall 2012 http://www.cs.rice.edu/˜vardi/comp409/ Background

      Add to Reading List

      Source URL: www.cs.rice.edu

      - Date: 2012-08-22 18:49:51
        24

        Experimental Evaluation of Classical Automata Constructions ⋆ Deian Tabakov1 and Moshe Y. Vardi1 Department of Computer Science, Rice University, Houston, TX {dtabakov,vardi}@cs.rice.edu

        Add to Reading List

        Source URL: www.cs.rice.edu

        Language: English - Date: 2014-08-15 14:22:21
          25

          BY MOSHE Y. VARDI EIC YEARS

          Add to Reading List

          Source URL: www.cs.rice.edu

          Language: English - Date: 2008-01-01 08:22:57
            26

            From Philosophical to Industrial Logics⋆ Moshe Y. Vardi⋆⋆ Rice University, Department of Computer Science, Rice University, Houston, TX, U.S.A., Email: , URL:http://www.cs.rice.edu/∼va

            Add to Reading List

            Source URL: www.cs.rice.edu

            Language: English - Date: 2009-01-14 10:48:26
              27

              Synthesis from Probabilistic Components∗ Yoad Lustig, Sumit Nain, and Moshe Y. Vardi Department of Computer Science Rice University, Houston, TX 77005, USA , ,

              Add to Reading List

              Source URL: www.cs.rice.edu

              Language: English - Date: 2011-09-05 15:41:01
                28

                Automata-Theoretic Model Checking Revisited ⋆ Moshe Y. Vardi ⋆⋆ Rice University, Department of Computer Science, Houston, TX, U.S.A. Email:, URL: http://www.cs.rice.edu/ ∼ vardi Abstr

                Add to Reading List

                Source URL: www.cs.rice.edu

                Language: English - Date: 2011-05-17 18:01:09
                  29

                  BDD-Based Decision Procedures for the Modal Logic K 1 Guoqiang Pan* — Ulrike Sattler** — Moshe Y. Vardi*** * Department of Computer Science, Rice University, Houston, Texas, 77005, USA.

                  Add to Reading List

                  Source URL: www.cs.rice.edu

                  Language: English - Date: 2006-02-24 18:37:42
                    30

                    Semantic Acyclicity on Graph Databases Pablo Barceló Miguel Romero Moshe Vardi

                    Add to Reading List

                    Source URL: www.cs.rice.edu

                    Language: English - Date: 2013-07-17 18:25:18
                      UPDATE