| |
| 2006 | ||
|---|---|---|
| 3 | EE | Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou: Verification of communicating data-driven web services. PODS 2006: 90-99 |
| 2 | EE | Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou: A system for specification and verification of interactive, data-driven web applications. SIGMOD Conference 2006: 772-774 |
| 2005 | ||
| 1 | EE | Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou: A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference 2005: 539-550 |
| 1 | Alin Deutsch | [1] [2] [3] |
| 2 | Monica Marcus | [1] |
| 3 | Liying Sui | [1] [2] [3] |
| 4 | Victor Vianu | [1] [2] [3] |