|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yoad Lustig, Moshe Y. Vardi |
Synthesis from Recursive-Components Libraries  |
GandALF  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis |
Temporal Synthesis for Bounded Systems and Environments. |
STACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoad Lustig, Sumit Nain, Moshe Y. Vardi |
Synthesis from Probabilistic Components. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Yoad Lustig |
Latticed Simulation Relations and Games. |
Int. J. Found. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman, Orna Kupferman, Yoad Lustig |
Rational Synthesis. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman, Orna Kupferman, Yoad Lustig |
Rational Synthesis |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yoad Lustig, Moshe Y. Vardi |
Synthesis from Component Libraries. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman, Orna Kupferman, Yoad Lustig |
On Verifying Fault Tolerance of Distributed Protocols. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Yoad Lustig |
Multi-valued Logics, Automata, Simulations, and Games. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Yoad Lustig |
What Triggers a Behavior? |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Yoad Lustig |
Latticed Simulation Relations and Games. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Yoad Lustig |
Lattice Automata. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Yoad Lustig, Moshe Y. Vardi |
On Locally Checkable Properties. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout |
Reasoning with Temporal Logic on Truncated Paths. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Goldreich, Yoad Lustig, Moni Naor |
On Chosen Ciphertext Security of Multiple Encryptions. |
IACR Cryptology ePrint Archive |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")