苏建文
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 |