| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Jianwen Su Bin Lin , Jianwen Su: On Bulk Loading TPR-Tree. Mobile Data Management 2004 : 114-124 Hoda Mokhtar , Jianwen Su: Universal Trajectory Queries for Moving Object Databases. Mobile Data Management 2004 : 133- Xiang Fu , Tevfik Bultan , Jianwen Su: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. CIAA 2003 : 188-200 Richard Hull , Michael Benedikt , Vassilis Christophides , Jianwen Su: E-services: a look behind the curtain. PODS 2003 : 1-14 Tolga Can , Yujun Wang , Yuan-Fang Wang , Jianwen Su: FPV: Fast Protein Visualization Using Java 3D. SAC 2003 : 88-95 Bin Cui , Beng Chin Ooi , Jianwen Su, Kian-Lee Tan : Contorting High Dimensional Data for Efficient Main Memory Processing. SIGMOD Conference 2003 : 479-490 Tevfik Bultan , Xiang Fu , Richard Hull , Jianwen Su: Conversation specification: a new approach to design and analysis of e-service composition. WWW 2003 : 403-410 Tolga Can , Yujun Wang , Yuan-Fang Wang , Jianwen Su: FPV: Fast Protein Visualization Using Java 3DTM. Bioinformatics 19 (8): 913-922 (2003) Xiaofeng Meng , Jianwen Su, Yujun Wang : Advances in Web-Age Information Management, Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002, Proceedings Springer 2002 Hongjun Zhu , Jianwen Su, Oscar H. Ibarra : Trajectory queries and octagons in moving object databases. CIKM 2002 : 413-421 Hoda Mokhtar , Jianwen Su, Oscar H. Ibarra : On Moving Object Queries. PODS 2002 : 188-198 Xiang Fu , Tevfik Bultan , Jianwen Su: Formal Verification of e-Services and Workflows. WES 2002 : 188-202 Oscar H. Ibarra , Jianwen Su, Zhe Dang , Tevfik Bultan , Richard A. Kemmerer : Counter Machines and Verification Problems. Theor. Comput. Sci. 289 (1): 165-189 (2002) Oscar H. Ibarra , Jianwen Su: Augmenting the discrete timed automaton with other data structures. Theor. Comput. Sci. 289 (1): 191-204 (2002) Hongjun Zhu , Jianwen Su, Oscar H. Ibarra : On Multi-way Spatial Joins with Direction Predicates. SSTD 2001 : 217-235 Jianwen Su, Haiyan Xu , Oscar H. Ibarra : Moving Objects: Logical Relationships and Queries. SSTD 2001 : 3-19 Xiang Fu , Tevfik Bultan , Richard Hull , Jianwen Su: Verification of Vortex Workflows. TACAS 2001 : 143-157 Oscar H. Ibarra , Tevfik Bultan , Jianwen Su: On Reachability and Safety in Infinite-State Systems. Int. J. Found. Comput. Sci. 12 (6): 821-836 (2001) Lixian Han , Hongjun Zhu , Jianwen Su: Experimental evaluation evaluation of filter effectiveness (extended abstract). ACM-GIS 2000 : 189-190 Zhe Dang , Oscar H. Ibarra , Tevfik Bultan , Richard A. Kemmerer , Jianwen Su: Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV 2000 : 69-84 Oscar H. Ibarra , Jianwen Su: Generalizing the Discrete Timed Automaton. CIAA 2000 : 157-169 Oscar H. Ibarra , Tevfik Bultan , Jianwen Su: Reachability Analysis for Some Models of Infinite-State Transition Systems. CONCUR 2000 : 183-198 Stéphane Grumbach , Gabriel M. Kuper , Jianwen Su: Expressive Power: The Infinite Case. Constraint Databases 2000 : 89-107 Richard Hull , François Llirbat , Bharat Kumar , Gang Zhou , Guozhu Dong , Jianwen Su: Optimization Techniques for Data-Intensive Decision Flows. ICDE 2000 : 281-292 Oscar H. Ibarra , Jianwen Su, Zhe Dang , Tevfik Bultan , Richard A. Kemmerer : Conter Machines: Decidable Properties and Applications to Verification Problems. MFCS 2000 : 426-435 Hongjun Zhu , Jianwen Su, Oscar H. Ibarra : Toward Spatial Joins for Polygons. SSDBM 2000 : 231-244 Hongjun Zhu , Jianwen Su, Oscar H. Ibarra : Extending Rectangle Join Algorithms for Rectilinear Polygons. Web-Age Information Management 2000 : 247-258 Guozhu Dong , Jianwen Su: Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. SIGMOD Record 29 (1): 44-51 (2000) Richard Hull , Jianwen Su: The Vortex Approach to Integration and Coordination of Workflows. Cross-Organisational Workflow Management and Co-ordination 1999 Guozhu Dong , Richard Hull , Bharat Kumar , Jianwen Su, Gang Zhou : A Framework for Optimizing Distributed Workflow Executions. DBPL 1999 : 152-167 Gabriel M. Kuper , Jianwen Su: A Representation Independent Language for Planar Spatial Databases with Euclidean Distance. DBPL 1999 : 239-251 Xun Cheng , Guozhu Dong , Tzekwan Lau , Jianwen Su: Data Integration by Describing Sources with Constraint Databases. ICDE 1999 : 374-381 Hongjun Zhu , Jianwen Su, Oscar H. Ibarra : An Index Structure for Spatial Joins in Linear Constraint Databases. ICDE 1999 : 636-643 Oscar H. Ibarra , Jianwen Su: Counter Machines: Decision Problems and Applications. Jewels are Forever 1999 : 84-96 Robert Prince , Jianwen Su, Hong Tang , Yonggang Zhao : The design of an interactive online help desk in the Alexandria Digital Library. WACC 1999 : 217-226 Richard Hull , François Llirbat , Eric Simon , Jianwen Su, Guozhu Dong , Bharat Kumar , Gang Zhou : Declarative workflows that support easy modification and dynamic browsing. WACC 1999 : 69-78 Sabina Beraha , Jianwen Su: Support for Modeling Relationships in Object-Oriented Databases. Data Knowl. Eng. 29 (3): 227-257 (1999) Gabriel M. Kuper , Sridhar Ramaswamy , Kyuseok Shim , Jianwen Su: A Constraint-Based Spatial Extension to SQL. ACM-GIS 1998 : 112-117 Guozhu Dong , Jianwen Su: Arity Bounds in First-Order Incremental Evaluation and Definition of Polynomial Time Database Queries. J. Comput. Syst. Sci. 57 (3): 289-308 (1998) Richard Hull , Jianwen Su: Deductive Query Languages for Recursively Typed Complex Objects. J. Log. Program. 35 (3): 231-261 (1998) X. Cheng , Ron Dolin , M. Neary , Sunil Prabhakar , Kothuri Venkata Ravi Kanth , Daniel Wu , Divyakant Agrawal , Amr El Abbadi , Michael Freeston , Ambuj K. Singh , Terence R. Smith , Jianwen Su: Scalable Access Within the Context of Digital Libraries. ADL 1997 : 70-81 Oscar H. Ibarra , Jianwen Su: On the Containment and Equivalence of Database Queries with Linear Constraints. PODS 1997 : 32-43 Guozhu Dong , Jianwen Su: Deterministic FOIES are Strictly Weaker. Ann. Math. Artif. Intell. 19 (1-2): 127-146 (1997) X. Cheng , Ron Dolin , M. Neary , Sunil Prabhakar , Kothuri Venkata Ravi Kanth , Daniel Wu , Divyakant Agrawal , Amr El Abbadi , Michael Freeston , Ambuj K. Singh , Terence R. Smith , Jianwen Su: Scalable Access Within the Context of Digital Libraries. Int. J. on Digital Libraries 1 (4): 358-376 (1997) Stéphane Grumbach , Jianwen Su: Finitely Representable Databases. J. Comput. Syst. Sci. 55 (2): 273-298 (1997) Stéphane Grumbach , Jianwen Su: Queries with Arithmetical Constraints. Theor. Comput. Sci. 173 (1): 151-181 (1997) Jianwen Su: Dynamic Constraints and Object Migration. Theor. Comput. Sci. 184 (1-2): 195-236 (1997) Amitabh Saran , Divyakant Agrawal , Amr El Abbadi , Terence R. Smith , Jianwen Su: Scientific Modeling Using Distributed Resources. ACM-GIS 1996 : 68-75 Stéphane Grumbach , Jianwen Su: Towards Practical Constraint Databases. PODS 1996 : 28-39 Guozhu Dong , Jianwen Su: Conjunctive Query Containment with Respect to Views and Constraints. Inf. Process. Lett. 57 (2): 95-102 (1996) Stéphane Grumbach , Jianwen Su: First-order Definability over Constraint Databases. CP 1995 : 121-136 Guozhu Dong , Jianwen Su: Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries. ICDT 1995 : 397-410 Guozhu Dong , Jianwen Su: Space-Bounded FOIES. PODS 1995 : 139-150 Stéphane Grumbach , Jianwen Su: Dense-Order Constraint Databases. PODS 1995 : 66-77 Guozhu Dong , Jianwen Su, Rodney W. Topor : Nonrecursive Incremental Evaluation of Datalog Queries. Ann. Math. Artif. Intell. 14 (2-4): 187-223 (1995) Guozhu Dong , Jianwen Su: Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries Inf. Comput. 120 (1): 101-106 (1995) Terence R. Smith , Jianwen Su, Amr El Abbadi , Divyakant Agrawal , Gustavo Alonso , Amitabh Saran : Computational modeling systems. Inf. Syst. 20 (2): 127-153 (1995) Terence R. Smith , Jianwen Su, Amitabh Saran : Virtual Structures - A Technique for Supporting Scientific Database Applications. ER 1994 : 491-512 Stéphane Grumbach , Jianwen Su, Christophe Tollu : Linear Constraint Query Languages: Expressive Power and Complexity. LCC 1994 : 426-446 Stéphane Grumbach , Jianwen Su: Finitely Representable Databases. PODS 1994 : 289-300 Jianwen Su: Dependency Preservation in Semantic Databases. Acta Inf. 31 (1): 27-54 (1994) Richard Hull , Jianwen Su: Domain Independence and the Relational Calculus. Acta Inf. 31 (6): 513-524 (1994) Guozhu Dong , Jianwen Su: First-Order Incremental Evaluation of Datalog Queries. DBPL 1993 : 295-308 Amitabh Saran , Keith Park , Yongmao Chen , Ana Paula de Aguiar , Terence R. Smith , Jianwen Su: Developing Applications with CORAL. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993 : 87-96 Terence R. Smith , Jianwen Su, Divyakant Agrawal , Amr El Abbadi : Database and Modeling Systems for the Earth Sciences. IEEE Data Eng. Bull. 16 (1): 33-37 (1993) Richard Hull , Jianwen Su: Algebraic and Calculus Query Languages for Recursively Typed Complex Objects. J. Comput. Syst. Sci. 47 (1): 121-156 (1993) Guozhu Dong , Jianwen Su: Object Behaviors and Scripts. DBPL 1991 : 383-398 Jianwen Su: Dynamic Constraints and Object Migration. VLDB 1991 : 233-242 Richard Hull , Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. J. Comput. Syst. Sci. 43 (1): 219-267 (1991) Richard Hull , Jianwen Su: On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity. DBPL 1989 : 396-410 Richard Hull , Jianwen Su: Untyped Sets, Invention, and Computable Queries. PODS 1989 : 347-359 Richard Hull , Jianwen Su: On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract). SIGMOD Conference 1989 : 147-158 Richard Hull , Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. PODS 1988 : 39-51 Jianwen Su: Safety of Non-Well-Locked Trasnaction Systems. PODS 1986 : 47-52 1 [ 10 ] [ 18 ] [ 27 ] [ 31 ] [ 34 ] 2 [ 10 ] [ 18 ] [ 27 ] [ 31 ] [ 34 ] 3 [ 11 ] 4 [ 18 ] 5 [ 71 ] 6 [ 38 ] 7 [ 50 ] [ 53 ] [ 55 ] [ 57 ] [ 58 ] [ 62 ] [ 63 ] [ 68 ] [ 72 ] 8 [ 67 ] [ 70 ] 9 [ 11 ] 10 [ 31 ] [ 34 ] 11 [ 43 ] 12 [ 71 ] 13 [ 69 ] 14 [ 50 ] [ 55 ] [ 62 ] 15 [ 31 ] [ 34 ] 16 [ 8 ] [ 12 ] [ 19 ] [ 20 ] [ 22 ] [ 23 ] [ 25 ] [ 32 ] [ 36 ] [ 39 ] [ 43 ] [ 45 ] [ 47 ] [ 51 ] 17 [ 31 ] [ 34 ] 18 [ 58 ] [ 63 ] [ 68 ] [ 72 ] 19 [ 15 ] [ 16 ] [ 21 ] [ 24 ] [ 26 ] [ 29 ] [ 30 ] [ 52 ] 20 [ 56 ] 21 [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 9 ] [ 13 ] [ 35 ] [ 39 ] [ 45 ] [ 46 ] [ 51 ] [ 58 ] [ 68 ] [ 71 ] 22 [ 33 ] [ 41 ] [ 42 ] [ 48 ] [ 49 ] [ 50 ] [ 53 ] [ 54 ] [ 55 ] [ 57 ] [ 59 ] [ 60 ] [ 61 ] [ 62 ] [ 64 ] [ 65 ] 23 [ 31 ] [ 34 ] 24 [ 50 ] [ 55 ] [ 62 ] 25 [ 39 ] [ 45 ] [ 51 ] 26 [ 37 ] [ 44 ] [ 52 ] 27 [ 43 ] 28 [ 74 ] 29 [ 39 ] [ 51 ] 30 [ 66 ] 31 [ 64 ] [ 73 ] 32 [ 31 ] [ 34 ] 33 [ 69 ] 34 [ 11 ] 35 [ 31 ] [ 34 ] 36 [ 40 ] 37 [ 37 ] 38 [ 11 ] [ 17 ] [ 18 ] [ 27 ] 39 [ 37 ] 40 [ 39 ] 41 [ 31 ] [ 34 ] 42 [ 10 ] [ 11 ] [ 17 ] [ 18 ] [ 27 ] [ 31 ] [ 34 ] 43 [ 69 ] 44 [ 40 ] 45 [ 16 ] 46 [ 20 ] 47 [ 67 ] [ 70 ] 48 [ 66 ] [ 67 ] [ 70 ] 49 [ 31 ] [ 34 ] 50 [ 59 ] 51 [ 40 ] 52 [ 39 ] [ 45 ] [ 51 ] 53 [ 42 ] [ 48 ] [ 49 ] [ 56 ] [ 60 ] [ 65 ]  ©2004 Association for Computing Machinery |
