Search the dblp DataBase

Publications of Author

1. Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
   Reasoning with Temporal Logic on Truncated Paths. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:27-39 [Conf]
   
2. Orna Kupferman, Yoad Lustig, Moshe Y. Vardi
   On Locally Checkable Properties. [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:302-316 [Conf]
   
3. Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
   Supporting SAT based BMC on Finite Path Models. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:67-77 [Journal]
   
4. Orna Kupferman, Yoad Lustig
   Latticed Simulation Relations and Games. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:316-330 [Conf]
   
5. 
   What Triggers a Behavior? [Citation Graph (, )][DBLP]
   
   
6. 
   Synthesis from Component Libraries. [Citation Graph (, )][DBLP]
   
   
7. 
   On Verifying Fault Tolerance of Distributed Protocols. [Citation Graph (, )][DBLP]
   
   
8. 
   Rational Synthesis. [Citation Graph (, )][DBLP]
   
   
9. 
   Lattice Automata. [Citation Graph (, )][DBLP]
   
   
10. 
    Multi-valued Logics, Automata, Simulations, and Games. [Citation Graph (, )][DBLP]
    
    
11. 
    Rational Synthesis [Citation Graph (, )][DBLP]