Travelled to:1 × France
1 × Germany
1 × Italy
1 × Spain
15 × USA
2 × Canada
Collaborated with:R.Hull O.H.Ibarra S.Grumbach T.Bultan ∅ X.Fu B.Lin G.Dong R.Vaculín H.Zhu H.Mokhtar M.Benedikt V.Christophides T.Can Y.Wang Y.Wang B.Cui B.C.Ooi K.Tan Z.Dang R.A.Kemmerer X.Cheng R.Dolin M.O.Neary S.Prabhakar K.V.R.Kanth D.Wu D.Agrawal A.E.Abbadi M.Freeston A.K.Singh T.R.Smith
Talks about:databas (7) object (5) queri (5) constraint (4) servic (4) move (3) process (2) express (2) discret (2) analysi (2)
Person: Jianwen Su
DBLP: Su:Jianwen
Facilitated 1 volumes:
EdContributed to:
2013
2005
20042004
20032003
2003200320022002
2001200020001997199619951994
19911989198919881986
1997Wrote 24 papers:
- SIGMOD-2013-HullSV #data transformation #overview #perspective #process #tutorial
- Data management perspectives on business process management: tutorial overview (RH, JS, RV), pp. 943–948.
- CIKM-2005-LinS
- Handling frequent updates of moving objects (BL, JS), pp. 493–500.
- CAV-2004-FuBS #analysis #formal method #named #web #web service
- WSAT: A Tool for Formal Analysis of Web Services (XF, TB, JS), pp. 510–514.
- SIGMOD-2004-HullS #design #tool support #web #web service
- Tools for Design of Composite Web Services (RH, JS), pp. 958–961.
- CIAA-2003-FuBS #protocol #specification #verification
- Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services (XF, TB, JS), pp. 188–200.
- PODS-2003-HullBCS #named
- E-services: a look behind the curtain (RH, MB, VC, JS), pp. 1–14.
- SAC-2003-CanWWS #3d #java #named #performance #using #visualisation
- FPV: Fast Protein Visualization Using Java 3D (TC, YW, YFW, JS), pp. 88–95.
- SIGMOD-2003-CuiOTS #in memory #memory management #performance
- Contorting High Dimensional Data for Efficient Main Memory Processing (BC, BCO, JS, KLT), pp. 479–490.
- CIKM-2002-ZhuSI #database #query
- Trajectory queries and octagons in moving object databases (HZ, JS, OHI), pp. 413–421.
- PODS-2002-MokhtarSI #on the #query
- On Moving Object Queries (HM, JS, OHI), pp. 188–198.
- TACAS-2001-FuBHS #verification #workflow
- Verification of Vortex Workflows (XF, TB, RH, JS), pp. 143–157.
- CAV-2000-DangIBKS #analysis #automaton #reachability
- Binary Reachability Analysis of Discrete Pushdown Timed Automata (ZD, OHI, TB, RAK, JS), pp. 69–84.
- CIAA-2000-IbarraS #automaton
- Generalizing the Discrete Timed Automaton (OHI, JS), pp. 157–169.
- PODS-1997-IbarraS #constraints #database #equivalence #linear #on the #query
- On the Containment and Equivalence of Database Queries with Linear Constraints (OHI, JS), pp. 32–43.
- PODS-1996-GrumbachS #constraints #database #towards
- Towards Practical Constraint Databases (SG, JS), pp. 28–39.
- PODS-1995-DongS #bound
- Space-Bounded FOIES (GD, JS), pp. 139–150.
- PODS-1995-GrumbachS #constraints #database
- Dense-Order Constraint Databases (SG, JS), pp. 66–77.
- PODS-1994-GrumbachS #database
- Finitely Representable Databases (SG, JS), pp. 289–300.
- VLDB-1991-Su #constraints #migration
- Dynamic Constraints and Object Migration (JS), pp. 233–242.
- PODS-1989-HullS #query #set
- Untyped Sets, Invention, and Computable Queries (RH, JS), pp. 347–359.
- SIGMOD-1989-HullS #complexity #database #object-oriented #on the #strict
- On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (RH, JS), pp. 147–158.
- PODS-1988-HullS #database #on the #power of #query
- On the Expressive Power of Database Queries with Intermediate Types (RH, JS), pp. 39–51.
- PODS-1986-Su #safety
- Safety of Non-Well-Locked Trasnaction Systems (JS), pp. 47–52.
- ADL-1997-ChengDNPKWAAFSSS #library #scalability
- Scalable Access Within the Context of Digital Libraries (XC, RD, MON, SP, KVRK, DW, DA, AEA, MF, AKS, TRS, JS), pp. 70–81.