| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Jianwen Su 63 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 62 Hongjun Zhu , Jianwen Su, Oscar H. Ibarra : Trajectory queries and octagons in moving object databases. CIKM 2002 : 413-421 61 Hoda Mokhtar , Jianwen Su, Oscar H. Ibarra : On Moving Object Queries. PODS 2002 : 188-198 60 Xiang Fu , Tevfik Bultan , Jianwen Su: Formal Verification of e-Services and Workflows. WES 2002 : 188-202 59 Oscar H. Ibarra , Jianwen Su, Zhe Dang , Tevfik Bultan , Richard A. Kemmerer : Counter Machines and Verification Problems. TCS 289 (1): 165-189 (2002) 58 Oscar H. Ibarra , Jianwen Su: Augmenting the discrete timed automaton with other data structures. TCS 289 (1): 191-204 (2002) 57 Hongjun Zhu , Jianwen Su, Oscar H. Ibarra : On Multi-way Spatial Joins with Direction Predicates. SSTD 2001 : 217-235 56 Jianwen Su, Haiyan Xu , Oscar H. Ibarra : Moving Objects: Logical Relationships and Queries. SSTD 2001 : 3-19 55 Xiang Fu , Tevfik Bultan , Richard Hull , Jianwen Su: Verification of Vortex Workflows. TACAS 2001 : 143-157 54 Oscar H. Ibarra , Tevfik Bultan , Jianwen Su: On Reachability and Safety in Infinite-State Systems. International Journal of Foundations of Computer Science 12 (6): 821-836 (2001) 53 Lixian Han , Hongjun Zhu , Jianwen Su: Experimental evaluation evaluation of filter effectiveness (extended abstract). ACM-GIS 2000 : 189-190 52 Zhe Dang , Oscar H. Ibarra , Tevfik Bultan , Richard A. Kemmerer , Jianwen Su: Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV 2000 : 69-84 51 Oscar H. Ibarra , Jianwen Su: Generalizing the Discrete Timed Automaton. CIAA 2000 : 157-169 50 Oscar H. Ibarra , Tevfik Bultan , Jianwen Su: Reachability Analysis for Some Models of Infinite-State Transition Systems. CONCUR 2000 : 183-198 49 Stéphane Grumbach , Gabriel M. Kuper , Jianwen Su: Expressive Power: The Infinite Case. Constraint Databases 2000 : 89-107 48 Richard Hull , François Llirbat , Bharat Kumar , Gang Zhou , Guozhu Dong , Jianwen Su: Optimization Techniques for Data-Intensive Decision Flows. ICDE 2000 : 281-292 47 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 46 Hongjun Zhu , Jianwen Su, Oscar H. Ibarra : Toward Spatial Joins for Polygons. SSDBM 2000 : 231-244 45 Hongjun Zhu , Jianwen Su, Oscar H. Ibarra : Extending Rectangle Join Algorithms for Rectilinear Polygons. Web-Age Information Management 2000 : 247-258 44 Guozhu Dong , Jianwen Su: Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. SIGMOD Record 29 (1): 44-51 (2000) 43 Guozhu Dong , Richard Hull , Bharat Kumar , Jianwen Su, Gang Zhou : A Framework for Optimizing Distributed Workflow Executions. DBPL 1999 : 152-167 42 Gabriel M. Kuper , Jianwen Su: A Representation Independent Language for Planar Spatial Databases with Euclidean Distance. DBPL 1999 : 239-251 41 Xun Cheng , Guozhu Dong , Tzekwan Lau , Jianwen Su: Data Integration by Describing Sources with Constraint Databases. ICDE 1999 : 374-381 40 Hongjun Zhu , Jianwen Su, Oscar H. Ibarra : An Index Structure for Spatial Joins in Linear Constraint Databases. ICDE 1999 : 636-643 39 Oscar H. Ibarra , Jianwen Su: Counter Machines: Decision Problems and Applications. Jewels are Forever 1999 : 84-96 38 Sabina Beraha , Jianwen Su: Support for Modeling Relationships in Object-Oriented Databases. DKE 29 (3): 227-257 (1999) 37 Gabriel M. Kuper , Sridhar Ramaswamy , Kyuseok Shim , Jianwen Su: A Constraint-Based Spatial Extension to SQL. ACM-GIS 1998 : 112-117 36 Guozhu Dong , Jianwen Su: Arity Bounds in First-Order Incremental Evaluation and Definition of Polynomial Time Database Queries. JCSS 57 (3): 289-308 (1998) 35 Richard Hull , Jianwen Su: Deductive Query Languages for Recursively Typed Complex Objects. JLP 35 (3): 231-261 (1998) 34 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 33 Oscar H. Ibarra , Jianwen Su: On the Containment and Equivalence of Database Queries with Linear Constraints. PODS 1997 : 32-43 32 Guozhu Dong , Jianwen Su: Deterministic FOIES are Strictly Weaker. Annals of Mathematics and Artificial Intelligence 19 (1-2): 127-146 (1997) 31 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) 30 Stéphane Grumbach , Jianwen Su: Finitely Representable Databases. JCSS 55 (2): 273-298 (1997) 29 Stéphane Grumbach , Jianwen Su: Queries with Arithmetical Constraints. TCS 173 (1): 151-181 (1997) 28 Jianwen Su: Dynamic Constraints and Object Migration. TCS 184 (1-2): 195-236 (1997) 27 Amitabh Saran , Divyakant Agrawal , Amr El Abbadi , Terence R. Smith , Jianwen Su: Scientific Modeling Using Distributed Resources. ACM-GIS 1996 : 68-75 26 Stéphane Grumbach , Jianwen Su: Towards Practical Constraint Databases. PODS 1996 : 28-39 25 Guozhu Dong , Jianwen Su: Conjunctive Query Containment with Respect to Views and Constraints. Information Processing Letters 57 (2): 95-102 (1996) 24 Stéphane Grumbach , Jianwen Su: First-order Definability over Constraint Databases. CP 1995 : 121-136 23 Guozhu Dong , Jianwen Su: Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries. ICDT 1995 : 397-410 22 Guozhu Dong , Jianwen Su: Space-Bounded FOIES. PODS 1995 : 139-150 21 Stéphane Grumbach , Jianwen Su: Dense-Order Constraint Databases. PODS 1995 : 66-77 20 Guozhu Dong , Jianwen Su, Rodney W. Topor : Nonrecursive Incremental Evaluation of Datalog Queries. Annals of Mathematics and Artificial Intelligence 14 (2-4): 187-223 (1995) 19 Terence R. Smith , Jianwen Su, Amr El Abbadi , Divyakant Agrawal , Gustavo Alonso , Amitabh Saran : Computational modeling systems. IS 20 (2): 127-153 (1995) 18 Guozhu Dong , Jianwen Su: Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries. Information and Computation 120 (1): 101-106 (1995) 17 Terence R. Smith , Jianwen Su, Amitabh Saran : Virtual Structures - A Technique for Supporting Scientific Database Applications. ER 1994 : 491-512 16 Stéphane Grumbach , Jianwen Su, Christophe Tollu : Linear Constraint Query Languages: Expressive Power and Complexity. LCC 1994 : 426-446 15 Stéphane Grumbach , Jianwen Su: Finitely Representable Databases. PODS 1994 : 289-300 14 Jianwen Su: Dependency Preservation in Semantic Databases. Acta Informatica 31 (1): 27-54 (1994) 13 Richard Hull , Jianwen Su: Domain Independence and the Relational Calculus. Acta Informatica 31 (6): 513-524 (1994) 12 Guozhu Dong , Jianwen Su: First-Order Incremental Evaluation of Datalog Queries. DBPL 1993 : 295-308 11 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 10 Terence R. Smith , Jianwen Su, Divyakant Agrawal , Amr El Abbadi : Database and Modeling Systems for the Earth Sciences. Data Engineering Bulletin 16 (1): 33-37 (1993) 9 Richard Hull , Jianwen Su: Algebraic and Calculus Query Languages for Recursively Typed Complex Objects. JCSS 47 (1): 121-156 (1993) 8 Guozhu Dong , Jianwen Su: Object Behaviors and Scripts. DBPL 1991 : 383-398 7 Jianwen Su: Dynamic Constraints and Object Migration. VLDB 1991 : 233-242 6 Richard Hull , Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. JCSS 43 (1): 219-267 (1991) 5 Richard Hull , Jianwen Su: On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity. DBPL 1989 : 396-410 4 Richard Hull , Jianwen Su: Untyped Sets, Invention, and Computable Queries. PODS 1989 : 347-359 3 Richard Hull , Jianwen Su: On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract). SIGMOD Conference 1989 : 147-158 2 Richard Hull , Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. PODS 1988 : 39-51 1 Jianwen Su: Safety of Non-Well-Locked Trasnaction Systems. PODS 1986 : 47-52  DiSC'03 © 2003 Association for Computing Machinery |
