| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Shiyong Lu Shiyong Lu, Yezhou Sun , Mustafa Atay , Farshad Fotouhi : On the consistency of XML DTDs. Data Knowl. Eng. 52 (2): 231-247 (2005) Lei Chen , Shiyong Lu, Jeffrey Ram : Compressed Pattern Matching in DNA Sequences. CSB 2004 : 62-68 Manjeet Rege , Izabell Caraconcea , Shiyong Lu, Farshad Fotouhi : Querying XML Documents from a Relational Database in the Presence of DTDs. ICDCIT 2004 : 168-177 Ziyang Duan , Arthur J. Bernstein , Philip M. Lewis , Shiyong Lu: A model for abstract process specification, verification and composition. ICSOC 2004 : 232-241 Ziyang Duan , Arthur J. Bernstein , Philip M. Lewis , Shiyong Lu: Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. ICWS 2004 : 734-737 Yi Lu , Shiyong Lu, Farshad Fotouhi , Youping Deng , Susan J. Brown : FGKA: a Fast Genetic K-means Clustering Algorithm. SAC 2004 : 622-623 Shiyong Lu, Arthur J. Bernstein , Philip M. Lewis : Correct Execution of Transactions at Different Isolation Levels. IEEE Trans. Knowl. Data Eng. 16 (9): 1070-1081 (2004) Shiyong Lu, Dapeng Liu , Farshad Fotouhi , Ming Dong , Robert Reynolds , Anthony Aristar , Martha Ratliff , Geoff Nathan , Joseph Tan , Ronald Powell : Language engineering for the Semantic Web: a digital library for endangered languages. Inf. Res. 9 (3): (2004) Shuyun Xu , Yu Li , Shiyong Lu: ERDraw: An XML-based ER-diagram Drawing and Translation Tool. Computers and Their Applications 2003 : 143-146 Z. M. Ma , Shiyong Lu, Farshad Fotouhi : Conceptual Data Models for Engineering Information Modeling and Formal Transformation of EER and EXPRESS-G. ER 2003 : 573-575 Shiyong Lu, Yezhou Sun , Mustafa Atay , Farshad Fotouhi : A Sufficient and Necessary Condition for the Consistency of XML DTDs. ER (Workshops) 2003 : 250-260 Shiyong Lu, Yezhou Sun , Mustafa Atay , Farshad Fotouhi : A New Inlining Algorithm for Mapping XML DTDs to Relational Schemas. ER (Workshops) 2003 : 366-377 Shiyong Lu, Ming Dong , Farshad Fotouhi : The Semantic Web: opportunities and challenges for next-generation Web applications. Inf. Res. 7 (4): (2002) Arthur J. Bernstein , Philip M. Lewis , Shiyong Lu: Semantic Conditions for Correctness at Different Isolation Levels. ICDE 2000 : 57-66 Shiyong Lu, Scott A. Smolka : Model Checking the Secure Electronic Transaction (SET) Protocol. MASCOTS 1999 : 358- 1 [ 8 ] 2 [ 4 ] [ 5 ] [ 15 ] 3 [ 2 ] [ 9 ] [ 11 ] [ 12 ] 4 [ 10 ] 5 [ 13 ] 6 [ 14 ] 7 [ 10 ] 8 [ 3 ] [ 8 ] 9 [ 11 ] [ 12 ] 10 [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 8 ] [ 10 ] [ 13 ] [ 15 ] 11 [ 2 ] [ 9 ] [ 11 ] [ 12 ] 12 [ 7 ] 13 [ 8 ] 14 [ 10 ] 15 [ 6 ] 16 [ 8 ] 17 [ 8 ] 18 [ 14 ] 19 [ 8 ] 20 [ 13 ] 21 [ 8 ] 22 [ 1 ] 23 [ 4 ] [ 5 ] [ 15 ] 24 [ 8 ] 25 [ 7 ]  ©2005 Association for Computing Machinery |
