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

Source URL: www.cs.rice.edu

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

Source URL: people.na.infn.it

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

Source URL: hylocore.ruc.dk

CS Graduate Student Handbook

Source URL: www.cs.rice.edu

• Moshe Y. Vardi
• Department of Computer Science
• Lydia Kavraki
• Education
• Year of birth missing
• Academia
• Rice University

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

Source URL: www.cs.rice.edu

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

Source URL: www.cs.rice.edu

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

Source URL: www.cs.rice.edu

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

Source URL: www.cs.rice.edu

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

Source URL: www.cs.rice.edu

BY MOSHE Y. VARDI EIC YEARS

Source URL: www.cs.rice.edu