CS Graduate Student Handbook

First Page		Document Content
Date: 2015-02-11 16:44:23 Moshe 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 Download Document from Source Website File Size: 336,34 KB Share Document on Facebook

	Crunching The Numbers: 10 minutes on what jobs will be left in 10 years Moshe Y. Vardi Rice University DocID: 1q0q1 - View Document
	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 DocID: 1meBj - View Document
	Hybrid Logics: The Search for Decidability and Tractability Frontiers Moshe Y. Vardi Rice University DocID: 1lsVq - View Document
	CS Graduate Student Handbook DocID: 1fUY4 - View Document
	LTL Satisfiability Checking Revisited Jianwen Li∗ , Lijun Zhang† , Geguang Pu∗ , Moshe Y. Vardi‡ and Jifeng He∗ ∗ Software † State DocID: 1feoV - View Document