Search the dblp DataBase
Jianwen Su :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Richard Hull , Jianwen Su Untyped Sets, Invention, and Computable Queries. [Citation Graph (24, 20)][DBLP ] PODS, 1989, pp:347-359 [Conf ] Richard Hull , Jianwen Su On the Expressive Power of Database Queries with Intermediate Types. [Citation Graph (22, 0)][DBLP ] J. Comput. Syst. Sci., 1991, v:43, n:1, pp:219-267 [Journal ] Richard Hull , Jianwen Su On the Expressive Power of Database Queries with Intermediate Types. [Citation Graph (19, 21)][DBLP ] PODS, 1988, pp:39-51 [Conf ] Stéphane Grumbach , Jianwen Su , Christophe Tollu Linear Constraint Query Languages: Expressive Power and Complexity. [Citation Graph (16, 0)][DBLP ] LCC, 1994, pp:426-446 [Conf ] Stéphane Grumbach , Jianwen Su Finitely Representable Databases. [Citation Graph (13, 13)][DBLP ] PODS, 1994, pp:289-300 [Conf ] Jianwen Su Dynamic Constraints and Object Migration. [Citation Graph (11, 17)][DBLP ] VLDB, 1991, pp:233-242 [Conf ] Richard Hull , Jianwen Su Domain Independence and the Relational Calculus. [Citation Graph (11, 0)][DBLP ] Acta Inf., 1994, v:31, n:6, pp:513-524 [Journal ] Stéphane Grumbach , Jianwen Su Queries with Arithmetical Constraints. [Citation Graph (11, 0)][DBLP ] Theor. Comput. Sci., 1997, v:173, n:1, pp:151-181 [Journal ] Stéphane Grumbach , Jianwen Su Dense-Order Constraint Databases. [Citation Graph (8, 24)][DBLP ] PODS, 1995, pp:66-77 [Conf ] Richard Hull , Jianwen Su On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract). [Citation Graph (8, 19)][DBLP ] SIGMOD Conference, 1989, pp:147-158 [Conf ] Guozhu Dong , Jianwen Su Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries [Citation Graph (7, 0)][DBLP ] Inf. Comput., 1995, v:120, n:1, pp:101-106 [Journal ] Richard Hull , Jianwen Su Algebraic and Calculus Query Languages for Recursively Typed Complex Objects. [Citation Graph (7, 0)][DBLP ] J. Comput. Syst. Sci., 1993, v:47, n:1, pp:121-156 [Journal ] Richard Hull , Jianwen Su On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity. [Citation Graph (6, 44)][DBLP ] DBPL, 1989, pp:396-410 [Conf ] Guozhu Dong , Jianwen Su Space-Bounded FOIES. [Citation Graph (6, 15)][DBLP ] PODS, 1995, pp:139-150 [Conf ] Stéphane Grumbach , Jianwen Su Finitely Representable Databases. [Citation Graph (6, 0)][DBLP ] J. Comput. Syst. Sci., 1997, v:55, n:2, pp:273-298 [Journal ] Stéphane Grumbach , Jianwen Su First-order Definability over Constraint Databases. [Citation Graph (5, 0)][DBLP ] CP, 1995, pp:121-136 [Conf ] Guozhu Dong , Jianwen Su First-Order Incremental Evaluation of Datalog Queries. [Citation Graph (5, 26)][DBLP ] DBPL, 1993, pp:295-308 [Conf ] Oscar H. Ibarra , Jianwen Su On the Containment and Equivalence of Database Queries with Linear Constraints. [Citation Graph (4, 31)][DBLP ] PODS, 1997, pp:32-43 [Conf ] Guozhu Dong , Jianwen Su Conjunctive Query Containment with Respect to Views and Constraints. [Citation Graph (4, 0)][DBLP ] Inf. Process. Lett., 1996, v:57, n:2, pp:95-102 [Journal ] Stéphane Grumbach , Jianwen Su Towards Practical Constraint Databases. [Citation Graph (2, 21)][DBLP ] PODS, 1996, pp:28-39 [Conf ] Guozhu Dong , Jianwen Su Deterministic FOIES are Strictly Weaker. [Citation Graph (2, 0)][DBLP ] Ann. Math. Artif. Intell., 1997, v:19, n:1-2, pp:127-146 [Journal ] 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. [Citation Graph (1, 0)][DBLP ] ADL, 1997, pp:70-81 [Conf ] Amitabh Saran , Keith Park , Yongmao Chen , Ana Paula de Aguiar , Terence R. Smith , Jianwen Su Developing Applications with CORAL. [Citation Graph (1, 0)][DBLP ] Workshop on Programming with Logic Databases (Informal Proceedings), ILPS, 1993, pp:87-96 [Conf ] Gabriel M. Kuper , Sridhar Ramaswamy , Kyuseok Shim , Jianwen Su A Constraint-Based Spatial Extension to SQL. [Citation Graph (1, 0)][DBLP ] ACM-GIS, 1998, pp:112-117 [Conf ] Hongjun Zhu , Jianwen Su , Oscar H. Ibarra An Index Structure for Spatial Joins in Linear Constraint Databases. [Citation Graph (1, 18)][DBLP ] ICDE, 1999, pp:636-643 [Conf ] Guozhu Dong , Jianwen Su Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries. [Citation Graph (1, 13)][DBLP ] ICDT, 1995, pp:397-410 [Conf ] Guozhu Dong , Jianwen Su , Rodney W. Topor Nonrecursive Incremental Evaluation of Datalog Queries. [Citation Graph (1, 0)][DBLP ] Ann. Math. Artif. Intell., 1995, v:14, n:2-4, pp:187-223 [Journal ] Terence R. Smith , Jianwen Su , Divyakant Agrawal , Amr El Abbadi Database and Modeling Systems for the Earth Sciences. [Citation Graph (1, 0)][DBLP ] IEEE Data Eng. Bull., 1993, v:16, n:1, pp:33-37 [Journal ] Richard Hull , Jianwen Su Deductive Query Languages for Recursively Typed Complex Objects. [Citation Graph (1, 0)][DBLP ] J. Log. Program., 1998, v:35, n:3, pp:231-261 [Journal ] Jianwen Su Web Service Interactions: Analysis and Design. [Citation Graph (0, 0)][DBLP ] CIT, 2005, pp:3- [Conf ] Cagdas Evren Gerede , Oscar H. Ibarra , Bala Ravikumar , Jianwen Su Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition. [Citation Graph (0, 0)][DBLP ] IEEE SCC, 2005, pp:103-112 [Conf ] Zhongnan Shen , Jianwen Su Web Service Discovery Based on Behavior Signatures. [Citation Graph (0, 0)][DBLP ] IEEE SCC, 2005, pp:279-286 [Conf ] Tevfik Bultan , Xiang Fu , Jianwen Su Tools for Automated Verification of Web Services. [Citation Graph (0, 0)][DBLP ] ATVA, 2004, pp:8-10 [Conf ] Oscar H. Ibarra , Jianwen Su Counter Machines: Decision Problems and Applications. [Citation Graph (0, 0)][DBLP ] Jewels are Forever, 1999, pp:84-96 [Conf ] Zhe Dang , Oscar H. Ibarra , Tevfik Bultan , Richard A. Kemmerer , Jianwen Su Binary Reachability Analysis of Discrete Pushdown Timed Automata. [Citation Graph (0, 0)][DBLP ] CAV, 2000, pp:69-84 [Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su WSAT: A Tool for Formal Analysis of Web Services. [Citation Graph (0, 0)][DBLP ] CAV, 2004, pp:510-514 [Conf ] Stéphane Grumbach , Gabriel M. Kuper , Jianwen Su Expressive Power: The Infinite Case. [Citation Graph (0, 0)][DBLP ] Constraint Databases, 2000, pp:89-107 [Conf ] Bin Lin , Jianwen Su Handling frequent updates of moving objects. [Citation Graph (0, 0)][DBLP ] CIKM, 2005, pp:493-500 [Conf ] Hongjun Zhu , Jianwen Su , Oscar H. Ibarra Trajectory queries and octagons in moving object databases. [Citation Graph (0, 0)][DBLP ] CIKM, 2002, pp:413-421 [Conf ] Oscar H. Ibarra , Tevfik Bultan , Jianwen Su Reachability Analysis for Some Models of Infinite-State Transition Systems. [Citation Graph (0, 0)][DBLP ] CONCUR, 2000, pp:183-198 [Conf ] Guozhu Dong , Richard Hull , Bharat Kumar , Jianwen Su , Gang Zhou A Framework for Optimizing Distributed Workflow Executions. [Citation Graph (0, 0)][DBLP ] DBPL, 1999, pp:152-167 [Conf ] Guozhu Dong , Jianwen Su Object Behaviors and Scripts. [Citation Graph (0, 11)][DBLP ] DBPL, 1991, pp:383-398 [Conf ] Gabriel M. Kuper , Jianwen Su A Representation Independent Language for Planar Spatial Databases with Euclidean Distance. [Citation Graph (0, 0)][DBLP ] DBPL, 1999, pp:239-251 [Conf ] Terence R. Smith , Jianwen Su , Amitabh Saran Virtual Structures - A Technique for Supporting Scientific Database Applications. [Citation Graph (0, 19)][DBLP ] ER, 1994, pp:491-512 [Conf ] Lixian Han , Hongjun Zhu , Jianwen Su Experimental evaluation evaluation of filter effectiveness (extended abstract). [Citation Graph (0, 0)][DBLP ] ACM-GIS, 2000, pp:189-190 [Conf ] Amitabh Saran , Divyakant Agrawal , Amr El Abbadi , Terence R. Smith , Jianwen Su Scientific Modeling Using Distributed Resources. [Citation Graph (0, 0)][DBLP ] ACM-GIS, 1996, pp:68-75 [Conf ] Bin Lin , Jianwen Su Shapes based trajectory queries for moving objects. [Citation Graph (0, 0)][DBLP ] GIS, 2005, pp:21-30 [Conf ] Xun Cheng , Guozhu Dong , Tzekwan Lau , Jianwen Su Data Integration by Describing Sources with Constraint Databases. [Citation Graph (0, 25)][DBLP ] ICDE, 1999, pp:374-381 [Conf ] Richard Hull , François Llirbat , Bharat Kumar , Gang Zhou , Guozhu Dong , Jianwen Su Optimization Techniques for Data-Intensive Decision Flows. [Citation Graph (0, 0)][DBLP ] ICDE, 2000, pp:281-292 [Conf ] Cagdas Evren Gerede , Richard Hull , Oscar H. Ibarra , Jianwen Su Automated composition of e-services: lookaheads. [Citation Graph (0, 0)][DBLP ] ICSOC, 2004, pp:252-262 [Conf ] Ozgur D. Sahin , Cagdas Evren Gerede , Divyakant Agrawal , Amr El Abbadi , Oscar H. Ibarra , Jianwen Su SPiDeR: P2P-Based Web Service Discovery. [Citation Graph (0, 0)][DBLP ] ICSOC, 2005, pp:157-169 [Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su Realizability of Conversation Protocols With Message Contents. [Citation Graph (0, 0)][DBLP ] ICWS, 2004, pp:96-0 [Conf ] Zhe Dang , Oscar H. Ibarra , Jianwen Su Composability of Infinite-State Activity Automata. [Citation Graph (0, 0)][DBLP ] ISAAC, 2004, pp:377-388 [Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su Model checking XML manipulating software. [Citation Graph (0, 0)][DBLP ] ISSTA, 2004, pp:252-262 [Conf ] Bin Lin , Jianwen Su On Bulk Loading TPR-Tree. [Citation Graph (0, 0)][DBLP ] Mobile Data Management, 2004, pp:114-124 [Conf ] Hoda Mokhtar , Jianwen Su Universal Trajectory Queries for Moving Object Databases. [Citation Graph (0, 0)][DBLP ] Mobile Data Management, 2004, pp:133-0 [Conf ] Oscar H. Ibarra , Jianwen Su , Zhe Dang , Tevfik Bultan , Richard A. Kemmerer Conter Machines: Decidable Properties and Applications to Verification Problems. [Citation Graph (0, 0)][DBLP ] MFCS, 2000, pp:426-435 [Conf ] Richard Hull , Michael Benedikt , Vassilis Christophides , Jianwen Su E-services: a look behind the curtain. [Citation Graph (0, 0)][DBLP ] PODS, 2003, pp:1-14 [Conf ] Jianwen Su Safety of Non-Well-Locked Trasnaction Systems. [Citation Graph (0, 14)][DBLP ] PODS, 1986, pp:47-52 [Conf ] Hoda Mokhtar , Jianwen Su , Oscar H. Ibarra On Moving Object Queries. [Citation Graph (0, 0)][DBLP ] PODS, 2002, pp:188-198 [Conf ] Tolga Can , Yujun Wang , Yuan-Fang Wang , Jianwen Su FPV: Fast Protein Visualization Using Java 3D. [Citation Graph (0, 0)][DBLP ] SAC, 2003, pp:88-95 [Conf ] Jorge Cardoso , John A. Miller , Jianwen Su , Jeff Pollock Academic and Industrial Research: Do Their Approaches Differ in Adding Semantics to Web Services? [Citation Graph (0, 0)][DBLP ] SWSWPC, 2004, pp:14-21 [Conf ] Bin Cui , Beng Chin Ooi , Jianwen Su , Kian-Lee Tan Contorting High Dimensional Data for Efficient Main Memory Processing. [Citation Graph (0, 0)][DBLP ] SIGMOD Conference, 2003, pp:479-490 [Conf ] Richard Hull , Jianwen Su Tools for Design of Composite Web Services. [Citation Graph (0, 0)][DBLP ] SIGMOD Conference, 2004, pp:958-961 [Conf ] Jianwen Su , Haiyan Xu , Oscar H. Ibarra Moving Objects: Logical Relationships and Queries. [Citation Graph (0, 0)][DBLP ] SSTD, 2001, pp:3-19 [Conf ] Hongjun Zhu , Jianwen Su , Oscar H. Ibarra On Multi-way Spatial Joins with Direction Predicates. [Citation Graph (0, 0)][DBLP ] SSTD, 2001, pp:217-235 [Conf ] Hoda Mokhtar , Jianwen Su A Query Language for Moving Object Trajectories. [Citation Graph (0, 0)][DBLP ] SSDBM, 2005, pp:173-182 [Conf ] Hongjun Zhu , Jianwen Su , Oscar H. Ibarra Toward Spatial Joins for Polygons. [Citation Graph (0, 0)][DBLP ] SSDBM, 2000, pp:231-244 [Conf ] Xiang Fu , Tevfik Bultan , Richard Hull , Jianwen Su Verification of Vortex Workflows. [Citation Graph (0, 0)][DBLP ] TACAS, 2001, pp:143-157 [Conf ] Richard Hull , François Llirbat , Eric Simon , Jianwen Su , Guozhu Dong , Bharat Kumar , Gang Zhou Declarative workflows that support easy modification and dynamic browsing. [Citation Graph (0, 0)][DBLP ] WACC, 1999, pp:69-78 [Conf ] Robert Prince , Jianwen Su , Hong Tang , Yonggang Zhao The design of an interactive online help desk in the Alexandria Digital Library. [Citation Graph (0, 0)][DBLP ] WACC, 1999, pp:217-226 [Conf ] Hongjun Zhu , Jianwen Su , Oscar H. Ibarra Extending Rectangle Join Algorithms for Rectilinear Polygons. [Citation Graph (0, 0)][DBLP ] Web-Age Information Management, 2000, pp:247-258 [Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su Formal Verification of e-Services and Workflows. [Citation Graph (0, 0)][DBLP ] WES, 2002, pp:188-202 [Conf ] Oscar H. Ibarra , Jianwen Su Generalizing the Discrete Timed Automaton. [Citation Graph (0, 0)][DBLP ] CIAA, 2000, pp:157-169 [Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. [Citation Graph (0, 0)][DBLP ] CIAA, 2003, pp:188-200 [Conf ] Richard Hull , Jianwen Su The Vortex Approach to Integration and Coordination of Workflows. [Citation Graph (0, 0)][DBLP ] Cross-Organisational Workflow Management and Co-ordination, 1999, pp:- [Conf ] Tevfik Bultan , Xiang Fu , Richard Hull , Jianwen Su Conversation specification: a new approach to design and analysis of e-service composition. [Citation Graph (0, 0)][DBLP ] WWW, 2003, pp:403-410 [Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su Analysis of interacting BPEL web services. [Citation Graph (0, 0)][DBLP ] WWW, 2004, pp:621-630 [Conf ] Jianwen Su Dependency Preservation in Semantic Databases. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1994, v:31, n:1, pp:27-54 [Journal ] Tolga Can , Yujun Wang , Yuan-Fang Wang , Jianwen Su FPV: Fast Protein Visualization Using Java 3DTM. [Citation Graph (0, 0)][DBLP ] Bioinformatics, 2003, v:19, n:8, pp:913-922 [Journal ] Sabina Beraha , Jianwen Su Support for Modeling Relationships in Object-Oriented Databases. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 1999, v:29, n:3, pp:227-257 [Journal ] Oscar H. Ibarra , Tevfik Bultan , Jianwen Su On Reachability and Safety in Infinite-State Systems. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 2001, v:12, n:6, pp:821-836 [Journal ] Cui Yu , Bin Cui , Shuguang Wang , Jianwen Su Efficient index-based KNN join processing for high-dimensional data. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2007, v:49, n:4, pp:332-344 [Journal ] Tevfik Bultan , Jianwen Su , Xiang Fu Analyzing Conversations of Web Services. [Citation Graph (0, 0)][DBLP ] IEEE Internet Computing, 2006, v:10, n:1, pp:18-25 [Journal ] Terence R. Smith , Jianwen Su , Amr El Abbadi , Divyakant Agrawal , Gustavo Alonso , Amitabh Saran Computational modeling systems. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 1995, v:20, n:2, pp:127-153 [Journal ] Guozhu Dong , Jianwen Su Arity Bounds in First-Order Incremental Evaluation and Definition of Polynomial Time Database Queries. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1998, v:57, n:3, pp:289-308 [Journal ] Oscar H. Ibarra , Jianwen Su A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1999, v:59, n:1, pp:1-28 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Int. J. on Digital Libraries, 1997, v:1, n:4, pp:358-376 [Journal ] Guozhu Dong , Jianwen Su Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. [Citation Graph (0, 23)][DBLP ] SIGMOD Record, 2000, v:29, n:1, pp:44-51 [Journal ] Richard Hull , Jianwen Su Tools for composite web services: a short overview. [Citation Graph (0, 0)][DBLP ] SIGMOD Record, 2005, v:34, n:2, pp:86-95 [Journal ] Zhe Dang , Oscar H. Ibarra , Jianwen Su On composition and lookahead delegation of e -services modeled by automata, . [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:341, n:1-3, pp:344-363 [Journal ] Xiang Fu , Tevfik Bultan , Jianwen Su Conversation protocols: a formalism for specification and verification of reactive electronic services. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:328, n:1-2, pp:19-37 [Journal ] Oscar H. Ibarra , Jianwen Su Augmenting the discrete timed automaton with other data structures. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:289, n:1, pp:191-204 [Journal ] Oscar H. Ibarra , Jianwen Su , Zhe Dang , Tevfik Bultan , Richard A. Kemmerer Counter Machines and Verification Problems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:289, n:1, pp:165-189 [Journal ] Jianwen Su Dynamic Constraints and Object Migration. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:184, n:1-2, pp:195-236 [Journal ] Bin Cui , Beng Chin Ooi , Jianwen Su , Kian-Lee Tan Main Memory Indexing: The Case for BD-Tree. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 2004, v:16, n:7, pp:870-874 [Journal ] Bin Cui , Beng Chin Ooi , Jianwen Su , Kian-Lee Tan Indexing High-Dimensional Data for Efficient In-Memory Similarity Search. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 2005, v:17, n:3, pp:339-353 [Journal ] Xiang Fu , Tevfik Bultan , Jianwen Su Synchronizability of Conversations among Web Services. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2005, v:31, n:12, pp:1042-1055 [Journal ] Kamal Bhattacharya , Cagdas Evren Gerede , Richard Hull , Rong Liu , Jianwen Su Towards Formal Analysis of Artifact-Centric Business Process Models. [Citation Graph (0, 0)][DBLP ] BPM, 2007, pp:288-304 [Conf ] Cagdas E. Gerede , Jianwen Su Specification and Verification of Artifact Behaviors in Business Process Models. [Citation Graph (0, 0)][DBLP ] ICSOC, 2007, pp:181-192 [Conf ] Zhongnan Shen , Jianwen Su On Completeness of Web Service Compositions. [Citation Graph (0, 0)][DBLP ] ICWS, 2007, pp:800-807 [Conf ] Ariane Gravel , Xiang Fu , Jianwen Su An Analysis Tool for Execution of BPEL Services. [Citation Graph (0, 0)][DBLP ] CEC/EEE, 2007, pp:429-432 [Conf ] Zhongnan Shen , Jianwen Su On automated composition for web services. [Citation Graph (0, 0)][DBLP ] WWW, 2007, pp:1261-1262 [Conf ] Gabriel M. Kuper , Jianwen Su A representation independent language for planar spatial databases with Euclidean distance. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 2007, v:73, n:6, pp:845-874 [Journal ] QUESTO: A Query Language for Uncertain and Exact Spatio-temporal Objects. [Citation Graph (, )][DBLP ] Automatic construction of simple artifact-based business processes. [Citation Graph (, )][DBLP ] Artifact-Centric Workflow Dominance. [Citation Graph (, )][DBLP ] Automated Realization of Business Workflow Specification. [Citation Graph (, )][DBLP ] The ACM PODS Alberto O. Mendelzon test-of-time-award 2010. [Citation Graph (, )][DBLP ] WSDL-D: A Flexible Web Service Invocation Mechanism for Large Datasets. [Citation Graph (, )][DBLP ] SSWiM: A Semantic Service, Wrapper and Invocation Manager. [Citation Graph (, )][DBLP ] Towards a Theory of Web Service Choreographies. [Citation Graph (, )][DBLP ] Enforcing Constraints on Life Cycles of Business Artifacts. [Citation Graph (, )][DBLP ] Static Analysis of Business Artifact-centric Operational Models. [Citation Graph (, )][DBLP ] On Complexity of The Tightening Problem for Web Service Discovery. [Citation Graph (, )][DBLP ] Letter from the Special Issue Editor. [Citation Graph (, )][DBLP ] Letter from the Special Issue Editor. [Citation Graph (, )][DBLP ] Search in 0.009secs, Finished in 0.014secs