Yoad Lustig

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2011
c12		Yoad Lustig, Sumit Nain, Moshe Y. Vardi: Synthesis from Probabilistic Components. CSL 2011: 412-427
c11		Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis: Temporal Synthesis for Bounded Systems and Environments. STACS 2011: 615-626
c10		Yoad Lustig, Moshe Y. Vardi: Synthesis from Recursive-Components Libraries. GandALF 2011: 1-16
	2010
j2		Orna Kupferman, Yoad Lustig: Latticed Simulation Relations and Games. Int. J. Found. Comput. Sci. 21(2): 167-189 (2010)
c9		Dana Fisman, Orna Kupferman, Yoad Lustig: Rational Synthesis. TACAS 2010: 190-204
	2009
c8		Yoad Lustig, Moshe Y. Vardi: Synthesis from Component Libraries. FOSSACS 2009: 395-409
i2		Dana Fisman, Orna Kupferman, Yoad Lustig: Rational Synthesis. CoRR abs/0907.3019 (2009)
	2008
c7		Dana Fisman, Orna Kupferman, Yoad Lustig: On Verifying Fault Tolerance of Distributed Protocols. TACAS 2008: 315-331
c6		Orna Kupferman, Yoad Lustig: Multi-valued Logics, Automata, Simulations, and Games. VMCAI 2008: 5
	2007
c5		Orna Kupferman, Yoad Lustig: Latticed Simulation Relations and Games. ATVA 2007: 316-330
c4		Orna Kupferman, Yoad Lustig: What Triggers a Behavior? FMCAD 2007: 146-153
c3		Orna Kupferman, Yoad Lustig: Lattice Automata. VMCAI 2007: 199-213
	2006
j1		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)
c2		Orna Kupferman, Yoad Lustig, Moshe Y. Vardi: On Locally Checkable Properties. LPAR 2006: 302-316
	2003
c1		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
i1		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	[c1]
2	Cindy Eisner	[c1]
3	Dana Fisman	[c9] [i2] [c7] [c1]
4	Daniel Geist	[j1]
5	Mark Ginzburg	[j1]
6	Oded Goldreich	[i1]
7	John Havlicek	[c1]
8	Orna Kupferman	[c11] [j2] [c9] [i2] [c7] [c6] [c5] [c4] [c3] [c2]
9	Anthony McIsaac	[c1]
10	Sumit Nain	[c12]
11	Moni Naor	[i1]
12	Ishai Rabinovitz	[j1]
13	Ohad Shacham	[j1]
14	Rachel Tzoref (Rachel Tzoref-Brill)	[j1]
15	Moshe Y. Vardi	[c12] [c11] [c10] [c8] [c2]
16	Mihalis Yannakakis	[c11]

Colors in the list of coauthors

Last update Mon May 20 13:55:02 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page