Moshe Y. Vardi

Results: 38



#Item
1

Crunching The Numbers: 10 minutes on what jobs will be left in 10 years Moshe Y. Vardi Rice University

Add to Reading List

Source URL: www.cs.rice.edu

- Date: 2016-06-24 07:17:49
    2

    Reasoning about Strategies: From module checking to strategy logic Aniello Murano based on joint works with Fabio Mogavero, Giuseppe Perelli, Luigi Sauro, and Moshe Y. Vardi

    Add to Reading List

    Source URL: people.na.infn.it

    Language: English - Date: 2013-12-08 11:30:17
      3

      Hybrid Logics: The Search for Decidability and Tractability Frontiers Moshe Y. Vardi Rice University

      Add to Reading List

      Source URL: hylocore.ruc.dk

      Language: English - Date: 2013-05-29 03:25:23
        4Moshe Y. Vardi / Department of Computer Science / Lydia Kavraki / Education / Year of birth missing / Academia / Rice University

        CS Graduate Student Handbook

        Add to Reading List

        Source URL: www.cs.rice.edu

        Language: English - Date: 2015-02-11 16:44:23
        5

        LTL Satisfiability Checking Revisited Jianwen Li∗ , Lijun Zhang† , Geguang Pu∗ , Moshe Y. Vardi‡ and Jifeng He∗ ∗ Software † State

        Add to Reading List

        Source URL: www.cs.rice.edu

        - Date: 2013-07-18 21:27:54
          6

          Synthesis from Component Libraries? Yoad Lustig?? and Moshe Y. Vardi Rice University, Department of Computer Science, Houston, TX, U.S.A. Email:{yoad,vardi}@cs.rice.edu, URL: http://www.cs.rice.edu/∼ yoad ht

          Add to Reading List

          Source URL: www.cs.rice.edu

          - Date: 2008-12-23 17:14:46
            7

            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
              8

              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
                9

                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
                  10

                  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
                    UPDATE