Vardi - PDFSEARCH.IO - Document Search Engine

Vardi
Results: 78

#	Item
31	Trace Semantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX, USA Abstract Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-05-07 17:25:23
32	¨ Buchi Complementation and Size-Change Termination⋆ Seth Fogarty and Moshe Y. Vardi⋆⋆ Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-01-15 18:34:20
33	Synthesis from Recursive-Components Libraries∗ Yoad Lustig† Moshe Y. Vardi Rice University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2011-05-14 21:11:11
34	Bran hing vs. Linear Time: Final Showdown Moshe Y. Vardi Ri e University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-12-18 11:34:33
35	What purpose is served by a concept of process? Robin Milner, November 2009 This note continues my first response “What is a process?” to the paper Branching and Linear Time: Semantical Perspective by Nain and Vardi. Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2011-05-17 17:30:04
36	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Synthesis from Component Libraries Yoad Lustig and Moshe Y. Vardi⋆ Rice University, Department of Computer Science, Houston, TX 772 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-12-05 16:09:09
37	¨ Efficient Buchi Universality Checking ? Seth Fogarty and Moshe Y. Vardi Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-01-07 03:37:15
38	The Rise and Fall of LTL Moshe Y. Vardi Rice University Monadic Logic Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-12-14 12:42:02
39	Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking Kristin Y. Rozier and Moshe Y. Vardi ⋆ Rice University, Houston, Texas 77005, {kyrozier, vardi}@cs.rice.edu Abstract. The transl Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-11-26 20:31:33
40	Branching vs. Linear Time: Semantical Perspective Version 1.2 ⋆ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science, Houston, TX, USA Abstract. The discussion in the computer-scien Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-08-06 18:57:31

UPDATE