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.
  2. D. Calvanese, G. De Giacomo, R. Hull, and J. Su. Artifact-Centric Workflow Dominance. Proc. International Conf. on Service-Oriented Computing (ICSOC), 2009.
  3. G. Liu, X. Liu, H. Qin, J. Su, Z. Yan, and L. Zhang. Automated Realization of Business Workflow Specification. Proc. 1st Int. Workshop on SOA, Globalization, People, and Work, 2009.

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

2006

2005

2004

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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

  6. 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
  7. 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
  8. 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)
  9. 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)
  10. 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
  11. 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)
  12. 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
  13. 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

  14. 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
  15. 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
  16. O. H. Ibarra and J. Su. Augmenting Discrete Timed Automaton with Other Data Structures, Theoretical Computer Science, 289(1):191-204, October 2002
  17. 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
  18. 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
  19. 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

  20. 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
  21. 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)
  22. 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
  23. 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
  24. 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

  25. 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)
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. G. Dong and J. Su. Incremental Maintenance of Recursive Views Using Relational Calculus/SQL, SIGMOD Record, 29(1):44-51, March 2000
  34. S. Grumbach, G. Kuper, and J. Su. Express Power: The Infinite Case, Constraint Databases, Springer, 2000, pages 89-107
  35. 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

  36. 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)
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. S. Beraha and J. Su. Support for Modeling Relationships in Object-Oriented Databases, Data & Knowledge Engineering, 29(3):227-257, March 1999
  44. 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
  45. 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
  46. 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
  47. 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

  48. 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
  49. 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
  50. R. Hull and J. Su. Deductive Query Languages for Recursively Typed Complex Objects, Journal of Logic Programming, 35(3):231-261, June 1998

    1997

  51. 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,
  52. J. Su. Dynamic Constraints and Object Migration, Theoretical Computer Science, 184(1-2):195-236, 1997
  53. 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
  54. S. Grumbach and J. Su. Finitely Representable Databases, Journal of Computer and System Sciences, 55(2):273-298, October 1997
  55. G. Dong and J. Su. Deterministic FOIES are Strictly Weaker, Annals of Mathematics and Artificial Intelligence, 19(1-2):127-146, 1997
  56. S. Grumbach and J. Su. Queries with Arithmetical Constraints, Theoretical Computer Science, 173(1):151-181, 1997
  57. 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

  58. 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
  59. 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
  60. G. Dong and J. Su. Conjunctive Query Containment with respect to Views and Constraints, Information Processing Letters, 57(2):95-102, January 1996

    1995

  61. 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)
  62. 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
  63. G. Dong and J. Su. Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries, Information & Computation, 120(1):101-106, July 1995
  64. 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
  65. 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
  66. 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
  67. 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
  68. 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
  69. 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

  70. 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
  71. 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
  72. 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
  73. R. Hull and J. Su. Domain Independence and the Relational Calculus, Acta Informatica, 31(6):513-524, 1994
  74. J. Su. Preservation in Semantic Databases, Acta Informatica, 31(1):27-54, 1994

    1993 and earlier

  75. 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
  76. 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
  77. 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
  78. 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
  79. 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
  80. 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
  81. 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
  82. 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
  83. 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
  84. 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
  85. 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