Yoad Lustig

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 1

Top Topics

Information Gain

Conditional Probabilities

Probabilistic Interpretation

Modular Neural Networks

Top Venues

Int. J. Softw. Tools Technol. Transf.

Log. Methods Comput. Sci.

Publications

Dana Fisman, Yoad Lustig
A Modular Approach for Büchi Determinization. CONCUR (2015)
Sumit Nain, Yoad Lustig, Moshe Y. Vardi
Synthesis from Probabilistic Components. Log. Methods Comput. Sci. 10 (2) (2014)
Yoad Lustig, Moshe Y. Vardi
Synthesis from component libraries. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis
Temporal Synthesis for Bounded Systems and Environments. STACS (2011)
Yoad Lustig, Moshe Y. Vardi
Synthesis from Recursive-Components Libraries GandALF (2011)
Yoad Lustig, Sumit Nain, Moshe Y. Vardi
Synthesis from Probabilistic Components. CSL (2011)
Orna Kupferman, Yoad Lustig
Latticed Simulation Relations and Games. Int. J. Found. Comput. Sci. 21 (2) (2010)
Dana Fisman, Orna Kupferman, Yoad Lustig
Rational Synthesis. TACAS (2010)
Yoad Lustig, Moshe Y. Vardi
Synthesis from Component Libraries. FoSSaCS (2009)
Dana Fisman, Orna Kupferman, Yoad Lustig
Rational Synthesis CoRR (2009)
Dana Fisman, Orna Kupferman, Yoad Lustig
On Verifying Fault Tolerance of Distributed Protocols. TACAS (2008)
Orna Kupferman, Yoad Lustig
Multi-valued Logics, Automata, Simulations, and Games. VMCAI (2008)
Orna Kupferman, Yoad Lustig
Latticed Simulation Relations and Games. ATVA (2007)
Orna Kupferman, Yoad Lustig
Lattice Automata. VMCAI (2007)
Orna Kupferman, Yoad Lustig
What Triggers a Behavior? FMCAD (2007)
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
Supporting SAT based BMC on Finite Path Models. Electron. Notes Theor. Comput. Sci. 144 (1) (2006)
Orna Kupferman, Yoad Lustig, Moshe Y. Vardi
On Locally Checkable Properties. LPAR (2006)
Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
Reasoning with Temporal Logic on Truncated Paths. CAV (2003)
Oded Goldreich, Yoad Lustig, Moni Naor
On Chosen Ciphertext Security of Multiple Encryptions. IACR Cryptol. ePrint Arch. 2002 (2002)