| 2005 | ||
|---|---|---|
| 4 | EE | Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou: A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference 2005: 539-550 |
| 2001 | ||
| 3 | EE | Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256(1-2): 93-112 (2001) |
| 1997 | ||
| 2 | Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic Model Checking with Rich ssertional Languages. CAV 1997: 424-435 | |
| 1996 | ||
| 1 | Monica Marcus, Amir Pnueli: Using Ghost Variables to Prove Refinement. AMAST 1996: 226-240 | |
| 1 | Alin Deutsch | [4] |
| 2 | Yonit Kesten | [2] [3] |
| 3 | Oded Maler | [2] [3] |
| 4 | Amir Pnueli | [1] [2] [3] |
| 5 | Elad Shahar | [2] [3] |
| 6 | Liying Sui | [4] |
| 7 | Victor Vianu | [4] |
| 8 | Dayou Zhou | [4] |
Colors in the list of coauthors