Yoad Lustig
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
10
Active years
2003–2015
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CONCUR | A Modular Approach for Bchi Determinization. | Dana Fisman, Yoad Lustig |
| 2011 | CSL | Synthesis from Probabilistic Components. | Yoad Lustig, Sumit Nain, Moshe Y. Vardi |
| 2011 | STACS | Temporal Synthesis for Bounded Systems and Environments. | Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis |
| 2010 | TACAS | Rational Synthesis. | Dana Fisman, Orna Kupferman, Yoad Lustig |
| 2009 | FOSSACS | Synthesis from Component Libraries. | Yoad Lustig, Moshe Y. Vardi |
| 2008 | TACAS | On Verifying Fault Tolerance of Distributed Protocols. | Dana Fisman, Orna Kupferman, Yoad Lustig |
| 2008 | VMCAI | Multi-valued Logics, Automata, Simulations, and Games. | Orna Kupferman, Yoad Lustig |
| 2007 | ATVA | Latticed Simulation Relations and Games. | Orna Kupferman, Yoad Lustig |
| 2007 | FMCAD | What Triggers a Behavior? | Orna Kupferman, Yoad Lustig |
| 2007 | VMCAI | Lattice Automata. | Orna Kupferman, Yoad Lustig |
| 2006 | LPAR | On Locally Checkable Properties. | Orna Kupferman, Yoad Lustig, Moshe Y. Vardi |
| 2003 | CAV | Reasoning with Temporal Logic on Truncated Paths. | Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout |