The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yoad Lustig: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002