Contact: Virginia Goldacm

First Page		Document Content
Date: 2008-06-30 15:34:26 Paris Kanellakis Award Academia Computing Moshe Y. Vardi ACM SIGACT Paris Kanellakis Pierre Wolper Edmund M. Clarke Brent Hailpern Computer science Year of birth missing Association for Computing Machinery		Contact: Virginia Goldacm Add to Reading List Source URL: spinroot.com Download Document from Source Website File Size: 45,69 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