dblp.uni-trier.dewww.uni-trier.de

Yoad Lustig

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
9EEYoad Lustig, Moshe Y. Vardi: Synthesis from Component Libraries. FOSSACS 2009: 395-409
2008
8EEDana Fisman, Orna Kupferman, Yoad Lustig: On Verifying Fault Tolerance of Distributed Protocols. TACAS 2008: 315-331
7EEOrna Kupferman, Yoad Lustig: Multi-valued Logics, Automata, Simulations, and Games. VMCAI 2008: 5
2007
6EEOrna Kupferman, Yoad Lustig: Latticed Simulation Relations and Games. ATVA 2007: 316-330
5EEOrna Kupferman, Yoad Lustig: What Triggers a Behavior? FMCAD 2007: 146-153
4EEOrna Kupferman, Yoad Lustig: Lattice Automata. VMCAI 2007: 199-213
2006
3EEOrna Kupferman, Yoad Lustig, Moshe Y. Vardi: On Locally Checkable Properties. LPAR 2006: 302-316
2EEDaniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref: Supporting SAT based BMC on Finite Path Models. Electr. Notes Theor. Comput. Sci. 144(1): 67-77 (2006)
2003
1EECindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout: Reasoning with Temporal Logic on Truncated Paths. CAV 2003: 27-39

Coauthor Index

1David Van Campenhout [1]
2Cindy Eisner [1]
3Dana Fisman [1] [8]
4Daniel Geist [2]
5Mark Ginzburg [2]
6John Havlicek [1]
7Orna Kupferman [3] [4] [5] [6] [7] [8]
8Anthony McIsaac [1]
9Ishai Rabinovitz [2]
10Ohad Shacham [2]
11Rachel Tzoref [2]
12Moshe Y. Vardi [3] [9]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)