deposit_your_work

Browse the entire archive

Advanced Search

My Account

Login

Rice Scholarship Home

Browsing by Author "Vardi, Moshe Y."

Browse this collection by:

Now showing items 1-11 of 11

BDD-based decision procedures for modal logic K

Pan, Guoqiang (2003)
Buchi containment and size-change termination

Fogarty, Seth (2009)
Complexity and structural heuristics for propositional and quantified satisfiability

Pan, Guoqiang (2007)
Dynamic Assertion-Based Verification for SystemC

Tabakov, Deian (2011)
Experimental evaluation of explicit and symbolic automata-theoretic algorithms

Tabakov, Deian (2006)
Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments

Maly, Matthew R.; Lahijanian, Morteza; Kavraki, Lydia E.; Kress-Gazit, Hadas; Vardi, Moshe Y. (2013)
Linear vs. branching time: A semantical perspective

Nain, Sumit (2009)
Once and for all

Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y. (2012)
Probabilistic phenomena in random combinatorial problems

Demopoulos, Demetrios D. (2003)
Publication Culture in Computing Research

Mehlhorn, Kurt; Vardi, Moshe Y.; Herbstritt, Marc (2012)
Structural heuristics for query optimization

McMahan, Benjamin James (2004)