Yoad Lustig

	2011
16		Yoad Lustig, Sumit Nain, Moshe Y. Vardi: Synthesis from Probabilistic Components. CSL 2011: 412-427
15		Yoad Lustig, Moshe Y. Vardi: Synthesis from Recursive-Components Libraries GandALF 2011: 1-16
14		Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis: Temporal Synthesis for Bounded Systems and Environments. STACS 2011: 615-626
	2010
13		Dana Fisman, Orna Kupferman, Yoad Lustig: Rational Synthesis. TACAS 2010: 190-204
12		Orna Kupferman, Yoad Lustig: Latticed Simulation Relations and Games. Int. J. Found. Comput. Sci. 21(2): 167-189 (2010)
	2009
11		Yoad Lustig, Moshe Y. Vardi: Synthesis from Component Libraries. FOSSACS 2009: 395-409
10		Dana Fisman, Orna Kupferman, Yoad Lustig: Rational Synthesis CoRR abs/0907.3019: (2009)
	2008
9		Dana Fisman, Orna Kupferman, Yoad Lustig: On Verifying Fault Tolerance of Distributed Protocols. TACAS 2008: 315-331
8		Orna Kupferman, Yoad Lustig: Multi-valued Logics, Automata, Simulations, and Games. VMCAI 2008: 5
	2007
7		Orna Kupferman, Yoad Lustig: Latticed Simulation Relations and Games. ATVA 2007: 316-330
6		Orna Kupferman, Yoad Lustig: What Triggers a Behavior? FMCAD 2007: 146-153
5		Orna Kupferman, Yoad Lustig: Lattice Automata. VMCAI 2007: 199-213
	2006
4		Orna Kupferman, Yoad Lustig, Moshe Y. Vardi: On Locally Checkable Properties. LPAR 2006: 302-316
3		Daniel 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
2		Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout: Reasoning with Temporal Logic on Truncated Paths. CAV 2003: 27-39
	2002
1		Oded Goldreich, Yoad Lustig, Moni Naor: On Chosen Ciphertext Security of Multiple Encryptions. IACR Cryptology ePrint Archive 2002: 89 (2002)

Coauthor Index

1	David Van Campenhout	[2]
2	Cindy Eisner	[2]
3	Dana Fisman	[2] [9] [10] [13]
4	Daniel Geist	[3]
5	Mark Ginzburg	[3]
6	Oded Goldreich	[1]
7	John Havlicek	[2]
8	Orna Kupferman	[4] [5] [6] [7] [8] [9] [10] [12] [13] [14]
9	Anthony McIsaac	[2]
10	Sumit Nain	[16]
11	Moni Naor	[1]
12	Ishai Rabinovitz	[3]
13	Ohad Shacham	[3]
14	Rachel Tzoref (Rachel Tzoref-Brill)	[3]
15	Moshe Y. Vardi	[4] [11] [14] [15] [16]
16	Mihalis Yannakakis	[14]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page