| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Jianwen Su Bin Lin , Jianwen Su: Handling frequent updates of moving objects. CIKM 2005 : 493-500 Jianwen Su: Web Service Interactions: Analysis and Design. CIT 2005 : 3 Bin Lin , Jianwen Su: Shapes based trajectory queries for moving objects. GIS 2005 : 21-30 Ozgur D. Sahin , Cagdas Evren Gerede , Divyakant Agrawal , Amr El Abbadi , Oscar H. Ibarra , Jianwen Su: SPiDeR: P2P-Based Web Service Discovery. ICSOC 2005 : 157-169 Cagdas Evren Gerede , Oscar H. Ibarra , Bala Ravikumar , Jianwen Su: Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition. IEEE SCC 2005 : 103-112 Zhongnan Shen , Jianwen Su: Web Service Discovery Based on Behavior Signatures. IEEE SCC 2005 : 279-286 Hoda Mokhtar , Jianwen Su: A Query Language for Moving Object Trajectories. SSDBM 2005 : 173-182 Bin Cui , Beng Chin Ooi , Jianwen Su, Kian-Lee Tan : Indexing High-Dimensional Data for Efficient In-Memory Similarity Search. IEEE Trans. Knowl. Data Eng. 17 (3): 339-353 (2005) Richard Hull , Jianwen Su: Tools for composite web services: a short overview. SIGMOD Record 34 (2): 86-95 (2005) Zhe Dang , Oscar H. Ibarra , Jianwen Su: On composition and lookahead delegation of e -services modeled by automata , . Theor. Comput. Sci. 341 (1-3): 344-363 (2005) Tevfik Bultan , Xiang Fu , Jianwen Su: Tools for Automated Verification of Web Services. ATVA 2004 : 8-10 Xiang Fu , Tevfik Bultan , Jianwen Su: WSAT: A Tool for Formal Analysis of Web Services. CAV 2004 : 510-514 Cagdas Evren Gerede , Richard Hull , Oscar H. Ibarra , Jianwen Su: Automated composition of e-services: lookaheads. ICSOC 2004 : 252-262 Xiang Fu , Tevfik Bultan , Jianwen Su: Realizability of Conversation Protocols With Message Contents. ICWS 2004 : 96- Zhe Dang , Oscar H. Ibarra , Jianwen Su: Composability of Infinite-State Activity Automata. ISAAC 2004 : 377-388 Xiang Fu , Tevfik Bultan , Jianwen Su: Model checking XML manipulating software. ISSTA 2004 : 252-262 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- Richard Hull , Jianwen Su: Tools for Design of Composite Web Services. SIGMOD Conference 2004 : 958-961 Jorge Cardoso , John A. Miller , Jianwen Su, Jeff Pollock : Academic and Industrial Research: Do Their Approaches Differ in Adding Semantics to Web Services? SWSWPC 2004 : 14-21 Xiang Fu , Tevfik Bultan , Jianwen Su: Analysis of interacting BPEL web services. WWW 2004 : 621-630 Bin Cui , Beng Chin Ooi , Jianwen Su, Kian-Lee Tan : Main Memory Indexing: The Case for BD-Tree. IEEE Trans. Knowl. Data Eng. 16 (7): 870-874 (2004) Xiang Fu , Tevfik Bultan , Jianwen Su: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. 328 (1-2): 19-37 (2004) 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 ] [ 92 ] 2 [ 10 ] [ 18 ] [ 27 ] [ 31 ] [ 34 ] [ 92 ] 3 [ 11 ] 4 [ 18 ] 5 [ 71 ] 6 [ 38 ] 7 [ 50 ] [ 53 ] [ 55 ] [ 57 ] [ 58 ] [ 62 ] [ 63 ] [ 68 ] [ 72 ] [ 73 ] [ 75 ] [ 80 ] [ 82 ] [ 84 ] [ 85 ] 8 [ 67 ] [ 70 ] 9 [ 76 ] 10 [ 11 ] 11 [ 31 ] [ 34 ] 12 [ 43 ] 13 [ 71 ] 14 [ 69 ] [ 74 ] [ 88 ] 15 [ 50 ] [ 55 ] [ 62 ] [ 81 ] [ 86 ] 16 [ 31 ] [ 34 ] 17 [ 8 ] [ 12 ] [ 19 ] [ 20 ] [ 22 ] [ 23 ] [ 25 ] [ 32 ] [ 36 ] [ 39 ] [ 43 ] [ 45 ] [ 47 ] [ 51 ] 18 [ 31 ] [ 34 ] 19 [ 58 ] [ 63 ] [ 68 ] [ 72 ] [ 73 ] [ 75 ] [ 80 ] [ 82 ] [ 84 ] [ 85 ] 20 [ 83 ] [ 91 ] [ 92 ] 21 [ 15 ] [ 16 ] [ 21 ] [ 24 ] [ 26 ] [ 29 ] [ 30 ] [ 52 ] 22 [ 56 ] 23 [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 9 ] [ 13 ] [ 35 ] [ 39 ] [ 45 ] [ 46 ] [ 51 ] [ 58 ] [ 68 ] [ 71 ] [ 77 ] [ 83 ] [ 87 ] 24 [ 33 ] [ 41 ] [ 42 ] [ 48 ] [ 49 ] [ 50 ] [ 53 ] [ 54 ] [ 55 ] [ 57 ] [ 59 ] [ 60 ] [ 61 ] [ 62 ] [ 64 ] [ 65 ] [ 81 ] [ 83 ] [ 86 ] [ 91 ] [ 92 ] 25 [ 31 ] [ 34 ] 26 [ 50 ] [ 55 ] [ 62 ] 27 [ 39 ] [ 45 ] [ 51 ] 28 [ 37 ] [ 44 ] [ 52 ] 29 [ 43 ] 30 [ 79 ] [ 93 ] [ 95 ] 31 [ 39 ] [ 51 ] 32 [ 66 ] 33 [ 76 ] 34 [ 64 ] [ 78 ] [ 89 ] 35 [ 31 ] [ 34 ] 36 [ 69 ] [ 74 ] [ 88 ] 37 [ 11 ] 38 [ 76 ] 39 [ 31 ] [ 34 ] 40 [ 40 ] 41 [ 37 ] 42 [ 91 ] 43 [ 92 ] 44 [ 11 ] [ 17 ] [ 18 ] [ 27 ] 45 [ 90 ] 46 [ 37 ] 47 [ 39 ] 48 [ 31 ] [ 34 ] 49 [ 10 ] [ 11 ] [ 17 ] [ 18 ] [ 27 ] [ 31 ] [ 34 ] 50 [ 69 ] [ 74 ] [ 88 ] 51 [ 40 ] 52 [ 16 ] 53 [ 20 ] 54 [ 67 ] [ 70 ] 55 [ 66 ] [ 67 ] [ 70 ] 56 [ 31 ] [ 34 ] 57 [ 59 ] 58 [ 40 ] 59 [ 39 ] [ 45 ] [ 51 ] 60 [ 42 ] [ 48 ] [ 49 ] [ 56 ] [ 60 ] [ 65 ]  ©2006 Association for Computing Machinery |
