Publications

2009

  1. C. Fritz, R. Hull, and J. Su. Automatic Construction of Simple Artifact-based Business Processes. Proc. International Conf. on Database Theory (ICDT), 2009 (to apear).

2008

  1. K. Bhattacharya, R. Hull, and J. Su. A Data-Centric Design Methodology for Business processes. Handbook of Research on Business Process Modeling, 2008.
  2. A. Sibirtseva, Z. Shen, J. Su, F. Weng, B. Yan, and Y. Meng. SSWiM: A Semantic Service, Wrapper and Invocation Manager. In Proc. IEEE Conf. on CEC/EEE, 2008.
  3. M. Wiley, A. Wu, and J. Su. WSDL-D: A Flexible Web Service Invocation Mechanism for Large Datasets. In Proc. IEEE Conf. on CEC/EEE, 2008.
  4. J. Su (Editor). Special Issue on Semantic Web Services: Composition and Analysis. IEEE Data Engineering Bulletin, Vol. 31, No. 3, September 2008.
  5. B. Lin and J. Su. One Way Distance: For Shape Based Similarity Search of Moving Object Trajectories. GeoInformatica, 12(2):117-142, 2008.

2007

  1. K. Bhattacharya, C. E. Gerede, R. Hull, R. Liu, and J. Su. Towards Formal Analysis of Artifact-Centric Business Process Models. Proceedings of 5th International Conference on Business Process Management (BPM), 2007, pages 288-304.
  2. A. Gravel, X. Fu, and J. Su. An Analysis Tool for Execution of BPEL Services. CEC/EEE 2007, pages 429-432.
  3. C. E. Gerede and J. Su. Specification and Verification of Artifact Behaviors in Business Process Models. Proceedings of 5th International Conference on Service-Oriented Computing (ICSOC), 2007, pages 181-192.
  4. Z. Shen and J. Su. On Completeness of Web Service Compositions. ICWS 2007, pages 800-807.
  5. C. E. Gerede, K. Bhattacharya, and J. Su. Static Analysis of Business Artifact-centric Operational Models. SOCA 2007, pages 133-140.
  6. Z. Shen and J. Su. On Complexity of The Tightening Problem for Web Service Discovery. SOCA 2007, pages 29-38.
  7. J. Su, T. Bultan, X. Fu, and X. Zhao. Towards a Theory of Web Service Choreographies. WS-FM 2007, pages 1-16.
  8. Z. Shen and J. Su. On automated composition for web services. WWW 2007, pages 1261-1262.
  9. T. Bultan, X. Fu, and J. Su. Analyzing Conversations: Realizability, Synchronizability, and Verification. Test and Analysis of Web Services 2007, pages 57-85.

2006

  1. T. Bultan, J Su, and X. Fu. Analyzing Conversations of Web Services. IEEE Internet Computing 10(1):18-25, 2006.

2005

  1. B. Lin and J. Su. Shapes Based Trajectory Queries for Moving Objects. Proceedings of 13th ACM International Symposium on Advances in GIS (ACMGIS), November 4-5, 2005, pages 21-30.
  2. R. Hull and J. Su. Tools for Composite Web Services: A Short Overview. SIGMOD Record, 34(2):86-95, June 2005, pages (Reference numbers are corrected).
  3. Z. Shen and J. Su. Web Service Discovery Based on Behavior Signatures. Proceedings of IEEE International Conference on Services Computing (SCC), Orlando, FL, July 11-15, 2005, pages 279-286.
  4. C. E. Gerede, O. H. Ibarra, B. Ravikumar, and J. Su. Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition. Proceedings of IEEE International Conference on Services Computing (SCC), Orlando, FL, July 11-15, 2005, pages 103-112.
  5. H. M. O. Mokhtar and J. Su. A Query Language for Moving Object Trajectories. Proceedings of the International Scientific and Statistical Database Management Conference (SSDBM), June 2005, pages 173-184.

2004

  1. Z. Dang, O. H. Ibarra, and J. Su. Composability of Infinite-State Activity Automata, Proceedings of the 15th Annual International Symposium on Algorithms and Computation (ISAAC), 2004, pages 377-388
  2. C. E. Gerede, R. Hull, O. H. Ibarra, and J. Su. Automated Composition of E-services: Lookaheads, Proceedings of 2nd International Conference on Service-Oriented Computing, Nov. 2004, pages 252-262
  3. X. Fu, T. Bultan, and J. Su. Realizability of Conversation Protocols With Message Contents, Proceedings of 2nd IEEE International Conference on Web Services (ICWS), San Diego, CA, July 2004, pages 96-103
  4. X. Fu, T. Bultan, and J. Su. Model Checking XML Manipulating Software, Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2004, pages 252-262
  5. X. Fu, T. Bultan, and J. Su. WSAT: A Tool for Formal Analysis of Web Services, Proceedings of the 16th International Conference on Computer Aided Verification (CAV), July 2004, pages 506-509 (Tool paper)
  6. X. Fu, T. Bultan, and J. Su. Conversation protocols: a formalism for specification and verification of reactive electronic services, Theoretical Computer Science, 328(1-2):19-37, November 2004
  7. R. Hull and J. Su. Tools for Design of Composite Web Services, ACM SIGMOD International Conference on Management of Data, June 2004, pages 958-961 (Tutorial abstract). Turorial Notes
  8. X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services, 13th International World Wide Web Conference (WWW), May 2004, pages 621-630
  9. B. Lin and J. Su. On Bulk Loading TPR-Tree, Proceedings of IEEE International Conference on Mobile Data Management, Berkeley, CA, January 19-22, 2004, pages 114-124
  10. H. Mokhtar and J. Su. Universal Trajectory Queries for Moving Object Databases, Proceedings of IEEE International Conference on Mobile Data Management, Berkeley, CA, January 19-22, 2004, pages 133-144

    2003

  11. B. Lin, H. Mokhtar, R. Pelaez-Aguilera, and J. Su. Querying Moving Objects with Uncertainty, Proceedings of IEEE 58th Semiannual Vehicular Technology Conference (VTC 2003-Fall), Orlando, Florida, USA, October 6-9, 2003, Vol. 4, pages 2783-2787
  12. Y. Wang, T. Can, Y.-F. Wang, and J. Su. Personalized Annotation and Information Sharing in Protein Science with Information-Slips, IASTED International Conference on Information and Knowledge Sharing (IKS 2003). November 17-19, 2003, pages 299-304
  13. X. Fu, T. Bultan, and J. Su. A Top-Down Approach to Modeling Global Behaviors of Web Services, Workshop on Requirements Engineering and Open Systems (REOS), September 2003 (7 pages)
  14. X. Fu, T. Bultan, and J. Su. Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services, Proceedings of the 8th International Conference on Implementation and Application of Automata (CIAA) Santa Barbara, CA, USA, July 16-18, 2003, pages 188-200 (12 pages)
  15. B. Cui, B. C. Ooi, J. Su, and K.-L. Tan. Contorting High Dimensional Data for Efficient Main Memory KNN Processing Porceedings of ACM SIGMOD International Conference on Management of Data, June 2003
  16. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-Services: A Look Behind the Curtain, Proceedings of the 22nd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), June 2003 (Richard Hull's invited talk)
  17. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation Specification: A New Approach to Design and Analysis of E-Service Composition, Proceedings of 12th International World Wide Web Conference (WWW), May 2003
  18. T. Can, Y. Wang, Y.-F. Wang, and J. Su. FPV: Fast Protein Visualization Using Java 3D, Proceedings of The Eighteenth Annual ACM Symposium on Applied Computing, Bioinformatics Track, Melbourne, FL, March 9-12, 2003

    2002

  19. H. Zhu, J. Su, and O. Ibarra. Trajectory Queries and Octagons in Moving Object Databases, Proceedings of the ACM Conference on Information and Knowledge Management (CIKM), McLean, VA, November 5-7, 2002, pages 413-421
  20. O. H. Ibarra, J. Su, Z. Dang, T. Bultan, and R. A. Kemmerer. Counter Machines and Verification Problems, Theoretical Computer Science, 289(1):165-189, October 2002
  21. O. H. Ibarra and J. Su. Augmenting Discrete Timed Automaton with Other Data Structures, Theoretical Computer Science, 289(1):191-204, October 2002
  22. X. Meng, J. Su, and Y. Wang, editors. Advances in Web-Age Information Management, Proceedings of the Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002, Lecture Notes in Computer Science, Vol 2419, Springer, 2002
  23. H. Mokhtar, J. Su, and O. Ibarra. On Moving Object Queries, Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), Madison, WI, June 2002, pages 188-198
  24. X. Fu, T. Bultan, and J. Su. Formal Verification of E-Services and Workflows, Proceedings of Workshop on "Web Services, e-Business, and the Semantic Web (WES): Foundations, Models, Architecture, Engineering and Applications", Toronto, Ontario, Canada, May 2002; Lecture Notes in Computer Science, Vol 2512. (20 pages)

    2001

  25. O. H. Ibarra, T. Bultan, and J. Su. On Reachability and Safety in Infinite-State Systems, International Journal of Foundations of Computer Science, 12(6):821-836, December 2001
  26. T. Can, Y.-F. Wang, Y. Wang, and J. Su. A Distributed Protein Visualization Application, The Third Georgia Tech-Emory International Conference on Bioinformatics, November 2001 (Demo)
  27. J. Su, H. Xu, and O. Ibarra. Moving Objects: Logical Relationships and Queries, Proceedings of the Seventh International Symposium on Spatial and Temporal Databases (SSTD), Redondo Beach, CA, USA, July 12-15, 2001, pages 3-19
  28. H. Zhu, J. Su, and O. H. Ibarra. On Multi-Way Spatial Joins with Direction Predicates, Proceedings of the Seventh International Symposium on Spatial and Temporal Databases (SSTD), Redondo Beach, CA, USA, July 12-15, 2001, pages 217-235
  29. X. Fu, T. Bultan, R. Hull, and J. Su. Verification of Vortex Workflows, Proceedings of 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), April 2001, pages 143-157

    2000

  30. L. Han, H. Zhu, and J. Su. Experimental Evaluation of Filter Effectiveness, Proceedings of the 8th ACM Symposium on Advances in Geographic Information Systems (ACMGIS), November 2000, pages 189-190 (short paper)
  31. O. H. Ibarra and J. Su. Generalizing the Discrete Timed Automaton, Proceedings of International Conference on Implementation and Application of Automata (CIAA), 2000, pages 157-169
  32. Z. Dang, O.H. Ibarra, T. Bultan, R. Kemmerer, and J. Su. Binary Reachability Analysis of Discrete Pushdown Automata, Proceedings of Conference on Computer Aided Verification (CAV), 2000, pages 69-84
  33. H. Zhu, J. Su, and O. H. Ibarra. Toward Spatial Joins for Polygons, Proceedings of International Conference on Statistical and Scientific Database Management (SSDBM), July 2000, pages 231-244
  34. H. Zhu, J. Su, and O. H. Ibarra. Extending Rectangle Join Algorithms for Rectilinear Polygons, Proceedings of the First International Conference on Web-Age Information Management, June 2000, pages 247-258
  35. R. Hull, F. Llirbat, B. Kumar, G. Zhou, G. Dong, and J. Su. Optimization Techniques for Data-intensive Decision Flows, Proceedings of IEEE International Conference on Data Engineering (ICDE), 2000, pages 281-292
  36. O. H. Ibarra, T. Bultan, and J. Su. Reachability Analysis for Some Models of Infinite-State Transition Systems, Proceedings of 11th International Conference on Concurrency Theory (CONCUR), 2000, pages 183-198
  37. O. H. Ibarra, J. Su, Z. Dang, T. Bultan, and R. Kemmerer. Counter Machines: Decidable Properties and Applications to Verification Problems, Proceedings of 25th International Symposium on Mathematical Foundations of Computer Science (MFCS), July 2000, pages 426-435
  38. G. Dong and J. Su. Incremental Maintenance of Recursive Views Using Relational Calculus/SQL, SIGMOD Record, 29(1):44-51, March 2000
  39. S. Grumbach, G. Kuper, and J. Su. Express Power: The Infinite Case, Constraint Databases, Springer, 2000, pages 89-107
  40. O. H. Ibarra, J. Su, and C. Bartzis. Counter Machines and the Safety and Disjointness Problems for Database Queries with Linear Constraints, Words, Sequences, Languages: Where Comuter Science, Biology and Linguistics Meet, Springer, 2000

    1999

  41. R. Hull, F. Llirbat, J. Su, G. Dong, B. Kumar, and G. Zhou. Efficient Support for Decision Flows in E-Commerce Applications, Proceedings of Second International Conference on Telecommunications and Electronic Commerce (ICTEC), 1999 (30 pages)
  42. G. Dong, R. Hull, B. Kumar, J. Su, and G. Zhou. A Framework for Optimising Distributed Workflow Executions, Proceedings of International Workshop on Database Programming Languages, 1999, pages 152-167
  43. G. Kuper and J. Su. A Representation Independent Language for Planar Spatial Databases with Euclidean Distance, Proceedings of International Workshop on Database Programming Languages, 1999, pages 239-251
  44. H. Zhu, J. Su, and O. H. Ibarra. An Index Structure for Spatial Joins in Linear Constraint Databases, Proceedings of IEEE International Conference on Data Engineering, 1999, pages 636-643
  45. X. Cheng, G. Dong, T. Lau, and J. Su. Data Integration by Describing Sources with Constraint Databases, Proceedings of IEEE International Conference on Data Engineering (ICDE), 1999, pages 374-381
  46. G. Dong, L. Libkin, J. Su, and L. Wong. Maintaining Transitive Closure of Graphs in SQL, International Journal of Information Technology, 5(1):46-78, October 1999
  47. O. H. Ibarra and J. Su. A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries, Journal of Computer and System Sciences, 59(1):1-28, August 1999
  48. S. Beraha and J. Su. Support for Modeling Relationships in Object-Oriented Databases, Data & Knowledge Engineering, 29(3):227-257, March 1999
  49. R. Prince, J. Su, H. Tang, and Y. Zhao. The Design of an Interactive Online Help Desk in the Alexandria Digital Library, Proceedings of International Joint Conference on Work Activities Coordination and Collaboration (WACC), February 23-25, 1999, pages 217-226
  50. R. Hull, F. Llirbat, E. Simon, J. Su, G. Dong, B. Kumar, and G. Zhou. Declarative Workflows that Support Easy Modification and Dynamic Browsing, Proceedings of International Joint Conference on Work Activities Coordination and Collaboration (WACC), February 23-25, 1999, pages 69-78
  51. R. Hull and J. Su. The Vortex Approach to Integration and Coordination of Workflows, Proceedings of Cross-Organisational Workflow Management and Co-ordination, 1999. Volume 17 of Online CEUR Workshop Proceedings
  52. O. Ibarra and J. Su. Counter Machines: Decision Problems and Applications, Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa, Springer, 1999, pages 84-96

    1998

  53. G. Dong and J. Su. Arity Bounds in First-Order Incremental Evaluation and Definition of Polynomial Time Database Queries, Journal of Computer and System Sciences, 57(3):289-308, December 1998
  54. G. Kuper, S. Ramaswamy, K. Shim, and J. Su. A Constraint-based Spatial Extension to SQL, Proceedings of the 6th ACM Symposium on Advances in Geographic Information Systems, 1998, pages 112-117
  55. R. Hull and J. Su. Deductive Query Languages for Recursively Typed Complex Objects, Journal of Logic Programming, 35(3):231-261, June 1998

    1997

  56. X. Cheng, R. Dolin, M. Neary, S. Prabhakar, K.V.R. Kanth, D. Wu, D. Agrawal, A. El Abbadi, M. Freeston, A.K. Singh, T.R. Smith, J. Su. Scalable Access within the Context of Digital Libraries, International Journal on Digital Libraries, 1(4):358-376, 1997,
  57. J. Su. Dynamic Constraints and Object Migration, Theoretical Computer Science, 184(1-2):195-236, 1997
  58. O. Ibarra and J. Su. On the Containment and Equivalence of Conjunctive Queries with Linear Constraints (extended abstract), Proceedings of the 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), 1997, pages 32-43
  59. S. Grumbach and J. Su. Finitely Representable Databases, Journal of Computer and System Sciences, 55(2):273-298, October 1997
  60. G. Dong and J. Su. Deterministic FOIES are Strictly Weaker, Annals of Mathematics and Artificial Intelligence, 19(1-2):127-146, 1997
  61. S. Grumbach and J. Su. Queries with Arithmetical Constraints, Theoretical Computer Science, 173(1):151-181, 1997
  62. X. Cheng, R. Dolin, M. Neary, S. Prabhakar, K.V.R. Kanth, D. Wu, D. Agrawal, A. El Abbadi, M. Freeston, A.K. Singh, T.R. Smith, J. Su. Scalable Access within the Context of Digital Libraries, Proceedings of International Conference on the Advances in Digital Libraries, 1997, pages 70-81

    1996

  63. A. Saran, D. Agrawal, A. El Abbadi, T.R. Smith, and J. Su. Scientific Modeling using Distributed Resources, Proceedings of 4th ACM International Workshop on Advances in Geographic Information Systems (ACMGIS), Maryland, November 1996, pages 68-75
  64. S. Grumbach and J. Su. Towards Practical Constraint Databases, Proceedings of the 15th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), June 1996, pages 28-39
  65. G. Dong and J. Su. Conjunctive Query Containment with respect to Views and Constraints, Information Processing Letters, 57(2):95-102, January 1996

    1995

  66. T. R. Smith, J. Su, A. El Abbadi, D. Agrawal, G. Alonso, and A. Saran. Computational Modeling Systems, Journal of Information Systems, 20(2):127-153, 1995 (Special issue on Scientific Database Systems)
  67. G. Dong, R. Topor, and J. Su. Nonrecursive Incremental Evaluation of Datalog Queries, Annals of Mathematics and Artificial Intelligence, 14(2-4):187-223, 1995
  68. G. Dong and J. Su. Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries, Information & Computation, 120(1):101-106, July 1995
  69. S. Grumbach and J. Su. First-order Definability over Constraint Databases, Proceedings of First International Conference on Principles and Practice of Constraint Programming (PPCP), September 1995, pages 121-136
  70. S. Grumbach and J. Su. Dense-Order Constraint Databases, Proceedings of the 14th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), May 1995, pages 66-77
  71. G. Dong and J. Su. Space-bounded FOIES, Proceedings of the 14th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), May 1995, pages 139-150
  72. G. Dong and J. Su. Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries, Proceedings of 5th International Conference on Database Theory (ICDT), Prague, Czech Republic, January 1995, pages 397-410
  73. T. R. Smith, A. Saran, and J. Su. Amazonia: a System for Supporting Data-Intensive Modeling, Integration of Geographic Information Systems and Remote Sensing, Cambridge University Press, 1995
  74. T. R. Smith, J. Su, A. Saran, and A. M. Sastri. Computational Modeling Systems to Support the Development of Scientific Models, GIS and Environmental Modeling: Progress and Research Issues, GIS World Inc., 1995.

    1994

  75. S. Grumbach, J. Su, and C. Tollu. Linear Constraint Query Languages Expressive Power and Complexity, Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : Selected Papers, Daniel Leivant (ed.). Berlin; New York: Springer, 1995; (Lecture Notes in Computer Science, Vol. 960) pages 426-446
  76. T. R. Smith, J. Su, and A. Saran. Virtual Structures---A Technique for Supporting Scientific Database Applications, Proceedings of the 13th International Conference on the Entity-Relationship approach, "Business Modelling and Re-engineering", Manchester, UK, December 1994, pages 491-512
  77. Finitely Representable Databases, S. Grumbach and J. Su. Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), May 1994, pages 289-300
  78. R. Hull and J. Su. Domain Independence and the Relational Calculus, Acta Informatica, 31(6):513-524, 1994
  79. J. Su. Preservation in Semantic Databases, Acta Informatica, 31(1):27-54, 1994

    1993 and earlier

  80. First-Order Incremental Evaluation of Datalog Queries, G. Dong and J. Su. Proceedings of the 4th International Workshop on Database Programming Languages -- Object Models and Languages, New York, NY, 1993 Edited by C. Beeri, A. Ohori, D.E. Shasha, Springer-Verlag, Berlin, Germany, 1994, pages 295-308
  81. T. R. Smith, J. Su, D. Agrawal, and A. El Abbadi. Database and Modeling Systems for the Earth Sciences, IEEE Bulletin on Data Engineering, 16(1):33-37, March 1993
  82. R. Hull and J. Su. Algebraic and Calculus Query Languages for Recursively Typed Complex Objects, Journal of Computer and System Sciences, 47(1):121-156, August 1993
  83. T. R. Smith and J. Su. Modeling and Database Systems (MDBS) for Scientific Applications, Proceedings of Second International Conference/Workshop on Integrating Geographic Information Systems and Environmental Modeling, September, 1993
  84. J. Su. Dynamic Constraints and Object Migration, Proceedings of the 17th International Conference on Very Large Data Bases, Barcelona, Spain, September 1991, pages 233-242
  85. G. Dong and J. Su. Object Behaviors and Scripts, Database Programming Languages: Bulk Types & Persistent Data. The Third International Workshop, Nafplion, Greece, August 1991, pages 383-398
  86. R. Hulk and J. Su. On the Expressive Power of Database Queries with Intermediate Types, Journal of Computer and System Sciences, 43(1):219-267, August 1991
  87. R. Hull and J. Su. On Bulk Data Type Constructors and Manipulation Primitives: A Framework for Analyzing Expressive Power and Complexity, Database Programming Languages: 2nd International Workshop, Morgan Kaufmann, 1989, pages 396-410
  88. R. Hull and J. Su. On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions, Proceedings of the ACM SIGMOD International Conference on Management of Data, June 1989, pages 147-158
  89. R. Hull and J. Su. Untyped Sets, Invention, and Computable Queries, Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), March 1989, pages 347-359
  90. R. Hull and J. Su. On the Expressive Power of Database Queries with Intermediate Types, Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), March 1988, pages 39-51
Jianwen Su