| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Liying Sui Stéphane Grumbach , Liying Sui, Victor Vianu : Advances in Computer Science - ASIAN 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings Springer 2005 Marco Brambilla , Alin Deutsch , Liying Sui, Victor Vianu : The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae. ICWE 2005 : 557-568 Alin Deutsch , Monica Marcus , Liying Sui, Victor Vianu , Dayou Zhou : A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference 2005 : 539-550 Alin Deutsch , Liying Sui, Victor Vianu : Specification and Verification of Data-driven Web Services. PODS 2004 : 71-82 1 [ 3 ] 2 [ 1 ] [ 2 ] [ 3 ] 3 [ 4 ] 4 [ 2 ] 5 [ 1 ] [ 2 ] [ 3 ] [ 4 ] 6 [ 2 ]  ©2006 Association for Computing Machinery |
