苏建文
List of publications from the DBLP Bibliography Server - FAQ
![]() | 2009 | |
---|---|---|
123 | ![]() ![]() ![]() ![]() ![]() ![]() | Jan Paredaens, Jianwen Su: Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA ACM 2009 |
122 | ![]() ![]() ![]() ![]() ![]() ![]() | Christian Fritz, Richard Hull, Jianwen Su: Automatic construction of simple artifact-based business processes. ICDT 2009: 225-238 |
121 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su: Artifact-Centric Workflow Dominance. ICSOC/ServiceWave 2009: 130-143 |
120 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu: Enforcing Constraints on Life Cycles of Business Artifacts. TASE 2009: 111-118 |
119 | ![]() ![]() ![]() ![]() ![]() ![]() | Guozhu Dong, Jianwen Su: Incremental Computation of Queries. Encyclopedia of Database Systems 2009: 1414-1417 |
118 | ![]() ![]() ![]() ![]() ![]() ![]() | Jianwen Su: Letter from the Special Issue Editor. IEEE Data Eng. Bull. 32(3): 2 (2009) |
2008 | ||
117 | ![]() ![]() ![]() ![]() ![]() ![]() | Hoda Mokhtar, Jianwen Su: QUESTO: A Query Language for Uncertain and Exact Spatio-temporal Objects. ADBIS 2008: 184-198 |
116 | ![]() ![]() ![]() ![]() ![]() ![]() | Mark Wiley, Aihua Wu, Jianwen Su: WSDL-D: A Flexible Web Service Invocation Mechanism for Large Datasets. CEC/EEE 2008: 157-164 |
115 | ![]() ![]() ![]() ![]() ![]() ![]() | Anna Sibirtseva, Zhongnan Shen, Jianwen Su, Fuliang Weng, Baoshi Yan, Yao Meng: SSWiM: A Semantic Service, Wrapper and Invocation Manager. CEC/EEE 2008: 175-182 |
114 | ![]() ![]() ![]() ![]() ![]() ![]() | Bin Lin, Jianwen Su: One Way Distance: For Shape Based Similarity Search of Moving Object Trajectories. GeoInformatica 12(2): 117-142 (2008) |
113 | ![]() ![]() ![]() ![]() ![]() ![]() | Jianwen Su: Letter from the Special Issue Editor. IEEE Data Eng. Bull. 31(3): 2 (2008) |
112 | ![]() ![]() ![]() ![]() ![]() ![]() | Cagdas Evren Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su: Minimum-cost delegation in service composition. Theor. Comput. Sci. 409(3): 417-431 (2008) |
2007 | ||
111 | ![]() ![]() ![]() ![]() ![]() ![]() | Christian Becker, Christian S. Jensen, Jianwen Su, Daniela Nicklas: 8th International Conference on Mobile Data Management (MDM 2007), Mannheim, Germany, May 7-11, 2007 IEEE 2007 |
110 | ![]() ![]() ![]() ![]() ![]() ![]() | Kamal Bhattacharya, Cagdas Evren Gerede, Richard Hull, Rong Liu, Jianwen Su: Towards Formal Analysis of Artifact-Centric Business Process Models. BPM 2007: 288-304 |
109 | ![]() ![]() ![]() ![]() ![]() ![]() | Ariane Gravel, Xiang Fu, Jianwen Su: An Analysis Tool for Execution of BPEL Services. CEC/EEE 2007: 429-432 |
108 | ![]() ![]() ![]() ![]() ![]() ![]() | Cagdas E. Gerede, Jianwen Su: Specification and Verification of Artifact Behaviors in Business Process Models. ICSOC 2007: 181-192 |
107 | ![]() ![]() ![]() ![]() ![]() ![]() | Zhongnan Shen, Jianwen Su: On Completeness of Web Service Compositions. ICWS 2007: 800-807 |
106 | ![]() ![]() ![]() ![]() ![]() ![]() | Cagdas E. Gerede, Kamal Bhattacharya, Jianwen Su: Static Analysis of Business Artifact-centric Operational Models. SOCA 2007: 133-140 |
105 | ![]() ![]() ![]() ![]() ![]() ![]() | Zhongnan Shen, Jianwen Su: On Complexity of The Tightening Problem for Web Service Discovery. SOCA 2007: 29-38 |
104 | ![]() ![]() ![]() ![]() ![]() ![]() | Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao: Towards a Theory of Web Service Choreographies. WS-FM 2007: 1-16 |
103 | ![]() ![]() ![]() ![]() ![]() ![]() | Zhongnan Shen, Jianwen Su: On automated composition for web services. WWW 2007: 1261-1262 |
102 | ![]() ![]() ![]() ![]() ![]() ![]() | Tevfik Bultan, Xiang Fu, Jianwen Su: Analyzing Conversations: Realizability, Synchronizability, and Verification. Test and Analysis of Web Services 2007: 57-85 |
101 | ![]() ![]() ![]() ![]() ![]() ![]() | Cui Yu, Bin Cui, Shuguang Wang, Jianwen Su: Efficient index-based KNN join processing for high-dimensional data. Information & Software Technology 49(4): 332-344 (2007) |
100 | ![]() ![]() ![]() ![]() ![]() ![]() | Gabriel M. Kuper, Jianwen Su: A representation independent language for planar spatial databases with Euclidean distance. J. Comput. Syst. Sci. 73(6): 845-874 (2007) |
2006 | ||
99 | ![]() ![]() ![]() ![]() ![]() ![]() | Tevfik Bultan, Jianwen Su, Xiang Fu: Analyzing Conversations of Web Services. IEEE Internet Computing 10(1): 18-25 (2006) |
2005 | ||
98 | ![]() ![]() ![]() ![]() ![]() ![]() | Bin Lin, Jianwen Su: Handling frequent updates of moving objects. CIKM 2005: 493-500 |
97 | ![]() ![]() ![]() ![]() ![]() ![]() | Jianwen Su: Web Service Interactions: Analysis and Design. CIT 2005: 3 |
96 | ![]() ![]() ![]() ![]() ![]() ![]() | Bin Lin, Jianwen Su: Shapes based trajectory queries for moving objects. GIS 2005: 21-30 |
95 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
94 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
93 | ![]() ![]() ![]() ![]() ![]() ![]() | Zhongnan Shen, Jianwen Su: Web Service Discovery Based on Behavior Signatures. IEEE SCC 2005: 279-286 |
92 | ![]() ![]() ![]() ![]() ![]() ![]() | Hoda Mokhtar, Jianwen Su: A Query Language for Moving Object Trajectories. SSDBM 2005: 173-182 |
91 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
90 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiang Fu, Tevfik Bultan, Jianwen Su: Synchronizability of Conversations among Web Services. IEEE Trans. Software Eng. 31(12): 1042-1055 (2005) |
89 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiang Fu, Tevfik Bultan, Jianwen Su: Realizability of Conversation Protocols with Message Contents. Int. J. Web Service Res. 2(4): 68-93 (2005) |
88 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard Hull, Jianwen Su: Tools for composite web services: a short overview. SIGMOD Record 34(2): 86-95 (2005) |
87 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
2004 | ||
86 | ![]() ![]() ![]() ![]() ![]() ![]() | Tevfik Bultan, Xiang Fu, Jianwen Su: Tools for Automated Verification of Web Services. ATVA 2004: 8-10 |
85 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiang Fu, Tevfik Bultan, Jianwen Su: WSAT: A Tool for Formal Analysis of Web Services. CAV 2004: 510-514 |
84 | ![]() ![]() ![]() ![]() ![]() ![]() | Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra, Jianwen Su: Automated composition of e-services: lookaheads. ICSOC 2004: 252-262 |
83 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiang Fu, Tevfik Bultan, Jianwen Su: Realizability of Conversation Protocols With Message Contents. ICWS 2004: 96- |
82 | ![]() ![]() ![]() ![]() ![]() ![]() | Zhe Dang, Oscar H. Ibarra, Jianwen Su: Composability of Infinite-State Activity Automata. ISAAC 2004: 377-388 |
81 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiang Fu, Tevfik Bultan, Jianwen Su: Model checking XML manipulating software. ISSTA 2004: 252-262 |
80 | ![]() ![]() ![]() ![]() ![]() ![]() | Bin Lin, Jianwen Su: On Bulk Loading TPR-Tree. Mobile Data Management 2004: 114-124 |
79 | ![]() ![]() ![]() ![]() ![]() ![]() | Hoda Mokhtar, Jianwen Su: Universal Trajectory Queries for Moving Object Databases. Mobile Data Management 2004: 133- |
78 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard Hull, Jianwen Su: Tools for Design of Composite Web Services. SIGMOD Conference 2004: 958-961 |
77 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
76 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiang Fu, Tevfik Bultan, Jianwen Su: Analysis of interacting BPEL web services. WWW 2004: 621-630 |
75 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
74 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
2003 | ||
73 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiang Fu, Tevfik Bultan, Jianwen Su: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. CIAA 2003: 188-200 |
72 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard Hull, Michael Benedikt, Vassilis Christophides, Jianwen Su: E-services: a look behind the curtain. PODS 2003: 1-14 |
71 | ![]() ![]() ![]() ![]() ![]() ![]() | Tolga Can, Yujun Wang, Yuan-Fang Wang, Jianwen Su: FPV: Fast Protein Visualization Using Java 3D. SAC 2003: 88-95 |
70 | ![]() ![]() ![]() ![]() ![]() ![]() | Bin Cui, Beng Chin Ooi, Jianwen Su, Kian-Lee Tan: Contorting High Dimensional Data for Efficient Main Memory Processing. SIGMOD Conference 2003: 479-490 |
69 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
68 | ![]() ![]() ![]() ![]() ![]() ![]() | Tolga Can, Yujun Wang, Yuan-Fang Wang, Jianwen Su: FPV: Fast Protein Visualization Using Java 3DTM. Bioinformatics 19(8): 913-922 (2003) |
2002 | ||
67 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
66 | ![]() ![]() ![]() ![]() ![]() ![]() | Hongjun Zhu, Jianwen Su, Oscar H. Ibarra: Trajectory queries and octagons in moving object databases. CIKM 2002: 413-421 |
65 | ![]() ![]() ![]() ![]() ![]() ![]() | Hoda Mokhtar, Jianwen Su, Oscar H. Ibarra: On Moving Object Queries. PODS 2002: 188-198 |
64 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiang Fu, Tevfik Bultan, Jianwen Su: Formal Verification of e-Services and Workflows. WES 2002: 188-202 |
63 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
62 | ![]() ![]() ![]() ![]() ![]() ![]() | Oscar H. Ibarra, Jianwen Su: Augmenting the discrete timed automaton with other data structures. Theor. Comput. Sci. 289(1): 191-204 (2002) |
2001 | ||
61 | ![]() ![]() ![]() ![]() ![]() ![]() | Hongjun Zhu, Jianwen Su, Oscar H. Ibarra: On Multi-way Spatial Joins with Direction Predicates. SSTD 2001: 217-235 |
60 | ![]() ![]() ![]() ![]() ![]() ![]() | Jianwen Su, Haiyan Xu, Oscar H. Ibarra: Moving Objects: Logical Relationships and Queries. SSTD 2001: 3-19 |
59 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su: Verification of Vortex Workflows. TACAS 2001: 143-157 |
58 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
2000 | ||
57 | ![]() ![]() ![]() ![]() ![]() ![]() | Lixian Han, Hongjun Zhu, Jianwen Su: Experimental evaluation evaluation of filter effectiveness (extended abstract). ACM-GIS 2000: 189-190 |
56 | ![]() ![]() ![]() ![]() ![]() ![]() | Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su: Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV 2000: 69-84 |
55 | ![]() ![]() ![]() ![]() ![]() ![]() | Oscar H. Ibarra, Jianwen Su: Generalizing the Discrete Timed Automaton. CIAA 2000: 157-169 |
54 | ![]() ![]() ![]() ![]() ![]() ![]() | Oscar H. Ibarra, Tevfik Bultan, Jianwen Su: Reachability Analysis for Some Models of Infinite-State Transition Systems. CONCUR 2000: 183-198 |
53 | ![]() ![]() ![]() ![]() ![]() ![]() | Stéphane Grumbach, Gabriel M. Kuper, Jianwen Su: Expressive Power: The Infinite Case. Constraint Databases 2000: 89-107 |
52 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard Hull, François Llirbat, Bharat Kumar, Gang Zhou, Guozhu Dong, Jianwen Su: Optimization Techniques for Data-Intensive Decision Flows. ICDE 2000: 281-292 |
51 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
50 | ![]() ![]() ![]() ![]() ![]() ![]() | Hongjun Zhu, Jianwen Su, Oscar H. Ibarra: Toward Spatial Joins for Polygons. SSDBM 2000: 231-244 |
49 | ![]() ![]() ![]() ![]() ![]() ![]() | Hongjun Zhu, Jianwen Su, Oscar H. Ibarra: Extending Rectangle Join Algorithms for Rectilinear Polygons. Web-Age Information Management 2000: 247-258 |
48 | ![]() ![]() ![]() ![]() ![]() ![]() | Guozhu Dong, Jianwen Su: Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. SIGMOD Record 29(1): 44-51 (2000) |
1999 | ||
47 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard Hull, Jianwen Su: The Vortex Approach to Integration and Coordination of Workflows. Cross-Organisational Workflow Management and Co-ordination 1999 |
46 | ![]() ![]() ![]() ![]() ![]() ![]() | Guozhu Dong, Richard Hull, Bharat Kumar, Jianwen Su, Gang Zhou: A Framework for Optimizing Distributed Workflow Executions. DBPL 1999: 152-167 |
45 | ![]() ![]() ![]() ![]() ![]() ![]() | Gabriel M. Kuper, Jianwen Su: A Representation Independent Language for Planar Spatial Databases with Euclidean Distance. DBPL 1999: 239-251 |
44 | ![]() ![]() ![]() ![]() ![]() ![]() | Xun Cheng, Guozhu Dong, Tzekwan Lau, Jianwen Su: Data Integration by Describing Sources with Constraint Databases. ICDE 1999: 374-381 |
43 | ![]() ![]() ![]() ![]() ![]() ![]() | Hongjun Zhu, Jianwen Su, Oscar H. Ibarra: An Index Structure for Spatial Joins in Linear Constraint Databases. ICDE 1999: 636-643 |
42 | ![]() ![]() ![]() ![]() ![]() ![]() | Oscar H. Ibarra, Jianwen Su: Counter Machines: Decision Problems and Applications. Jewels are Forever 1999: 84-96 |
41 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
40 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
39 | ![]() ![]() ![]() ![]() ![]() ![]() | Sabina Beraha, Jianwen Su: Support for Modeling Relationships in Object-Oriented Databases. Data Knowl. Eng. 29(3): 227-257 (1999) |
38 | ![]() ![]() ![]() ![]() ![]() ![]() | Oscar H. Ibarra, Jianwen Su: A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries. J. Comput. Syst. Sci. 59(1): 1-28 (1999) |
1998 | ||
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. J. Comput. Syst. Sci. 57(3): 289-308 (1998) |
35 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard Hull, Jianwen Su: Deductive Query Languages for Recursively Typed Complex Objects. J. Log. Program. 35(3): 231-261 (1998) |
1997 | ||
34 | ![]() ![]() ![]() ![]() ![]() ![]() | X. Cheng, Ron Dolin, Michael O. 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. Ann. Math. Artif. Intell. 19(1-2): 127-146 (1997) |
31 | ![]() ![]() ![]() ![]() ![]() ![]() | X. Cheng, Ron Dolin, Michael O. 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. J. Comput. Syst. Sci. 55(2): 273-298 (1997) |
29 | ![]() ![]() ![]() ![]() ![]() ![]() | Stéphane Grumbach, Jianwen Su: Queries with Arithmetical Constraints. Theor. Comput. Sci. 173(1): 151-181 (1997) |
28 | ![]() ![]() ![]() ![]() ![]() ![]() | Jianwen Su: Dynamic Constraints and Object Migration. Theor. Comput. Sci. 184(1-2): 195-236 (1997) |
1996 | ||
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. Inf. Process. Lett. 57(2): 95-102 (1996) |
1995 | ||
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. Ann. Math. Artif. Intell. 14(2-4): 187-223 (1995) |
19 | ![]() ![]() ![]() ![]() ![]() ![]() | Guozhu Dong, Jianwen Su: Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries Inf. Comput. 120(1): 101-106 (1995) |
18 | ![]() ![]() ![]() ![]() ![]() ![]() | Terence R. Smith, Jianwen Su, Amr El Abbadi, Divyakant Agrawal, Gustavo Alonso, Amitabh Saran: Computational modeling systems. Inf. Syst. 20(2): 127-153 (1995) |
1994 | ||
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 Inf. 31(1): 27-54 (1994) |
13 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard Hull, Jianwen Su: Domain Independence and the Relational Calculus. Acta Inf. 31(6): 513-524 (1994) |
1993 | ||
12 | ![]() ![]() ![]() ![]() ![]() ![]() | Guozhu Dong, Jianwen Su: First-Order Incremental Evaluation of Datalog Queries. DBPL 1993: 295-308 |
11 | ![]() ![]() ![]() ![]() ![]() ![]() | Amitabh Saran, Keith K. 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. IEEE Data Eng. Bull. 16(1): 33-37 (1993) |
9 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard Hull, Jianwen Su: Algebraic and Calculus Query Languages for Recursively Typed Complex Objects. J. Comput. Syst. Sci. 47(1): 121-156 (1993) |
1991 | ||
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. J. Comput. Syst. Sci. 43(1): 219-267 (1991) |
1989 | ||
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 |
1988 | ||
2 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. PODS 1988: 39-51 |
1986 | ||
1 | ![]() ![]() ![]() ![]() ![]() ![]() | Jianwen Su: Safety of Non-Well-Locked Trasnaction Systems. PODS 1986: 47-52 |