Skip to content

Jianwen Su

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

69

Venues

29

Active years

1986–2023

Best venue rank

A*

Where they publish

Papers

69 indexed papers, newest first.

YearVenueTitleAuthors
2023ICWSData Product-Oriented Services for Data Ecosystem.Wei Emma Zhang, Perry Chen, Jian Yang, Jianwen Su, Quan Z. Sheng
2023KSEMAn Evaluation Metric for Prediction Stability with Imprecise Data.Ye Li, Mei Wang, Jianwen Su
2022TIMEEarly Detection of Temporal Constraint Violations.Isaac Mackey, Raghubir Chimni, Jianwen Su
2019PODS2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award.Jianwen Su, Dirk Van Gucht, Victor Vianu
2019SERVICESQuery Data Inconsistency for Business Processes.Yongping Tang, Jian Yang, Jianwen Su
2018TIMEGSM+T: A Timed Artifact-Centric Process Model.Julius Kpke, Johann Eder, Jianwen Su
2017EDOCFrom Data-centric Business Processes to Enterprise Process Frameworks.Jianwen Su, Lijie Wen, Jian Yang
2016BPMTowards Quality-Aware Translations of Activity-Centric Processes to Guard Stage Milestone.Julius Kpke, Jianwen Su
2015BPMTowards Ontology Guided Translation of Activity-Centric Processes to GSM.Julius Kpke, Jianwen Su
2015EDOCYank Your Data Out of My Engine: A New Approach to Workflow System Design.Jianwen Su, Jian Yang
2014BPMSeparating Execution and Data Management: A Key to Business-Process-as-a-Service (BPaaS).Yutian Sun, Jianwen Su, Jian Yang
2014ICDEModeling data for business processes.Yutian Sun, Jianwen Su, Budan Wu, Jian Yang
2014ICSOCConformance for DecSerFlow Constraints.Yutian Sun, Jianwen Su
2013ICSOCRuntime Enforcement of First-Order LTL Properties on Data-Aware Business Processes.Riccardo De Masellis, Jianwen Su
2013SIGMODData management perspectives on business process management: tutorial overview.Richard Hull, Jianwen Su, Roman Vaculn
2012APSECProactive Enforcement of Data Consistency by Business Processes.Xi Liu, Jianwen Su, Xuandong Li
2012ICSOCDeclarative Choreographies for Artifacts.Yutian Sun, Wei Xu, Jianwen Su
2011ICSOCComputing Degree of Parallelism for BPMN Processes.Yutian Sun, Jianwen Su
2010PODSThe ACM PODS Alberto O. Mendelzon test-of-time-award 2010.Jianwen Su, Phokion G. Kolaitis
2009ICDTAutomatic construction of simple artifact-based business processes.Christian Fritz, Richard Hull, Jianwen Su
2009ICSOCArtifact-Centric Workflow Dominance.Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su
2009ICSOCAutomated Realization of Business Workflow Specification.Guohua Liu, Xi Liu, Haihuan Qin, Jianwen Su, Zhimin Yan, Liang Zhang
2009TASEEnforcing Constraints on Life Cycles of Business Artifacts.Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu
2008ADBISQUESTO: A Query Language for Uncertain and Exact Spatio-temporal Objects.Hoda M. O. Mokhtar, Jianwen Su
2007BPMTowards Formal Analysis of Artifact-Centric Business Process Models.Kamal Bhattacharya, Cagdas Evren Gerede, Richard Hull, Rong Liu, Jianwen Su
2007ICSOCSpecification and Verification of Artifact Behaviors in Business Process Models.Cagdas E. Gerede, Jianwen Su
2007ICWSOn Completeness of Web Service Compositions.Zhongnan Shen, Jianwen Su
2007WWWOn automated composition for web services.Zhongnan Shen, Jianwen Su
2005CIKMHandling frequent updates of moving objects.Bin Lin, Jianwen Su
2005ICSOCSPiDeR: P2P-Based Web Service Discovery.Ozgur D. Sahin, Cagdas Evren Gerede, Divyakant Agrawal, Amr El Abbadi, Oscar H. Ibarra, Jianwen Su
2005ICWSWeb Service Interactions: Analysis and Design.Jianwen Su, Tevfik Bultan, Xiang Fu
2005SSDBMA Query Language for Moving Object Trajectories.Hoda M. O. Mokhtar, Jianwen Su
2004ATVATools for Automated Verification of Web Services.Tevfik Bultan, Xiang Fu, Jianwen Su
2004CAVWSAT: A Tool for Formal Analysis of Web Services.Xiang Fu, Tevfik Bultan, Jianwen Su
2004ISAACComposability of Infinite-State Activity Automata.Zhe Dang, Oscar H. Ibarra, Jianwen Su
2004ICSOCAutomated composition of e-services: lookaheads.Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra, Jianwen Su
2004ICWSRealizability of Conversation Protocols With Message Contents.Xiang Fu, Tevfik Bultan, Jianwen Su
2004ISSTAModel checking XML manipulating software.Xiang Fu, Tevfik Bultan, Jianwen Su
2004MDMOn Bulk Loading TPR-Tree.Bin Lin, Jianwen Su
2004MDMUniversal Trajectory Queries for Moving Object Databases.Hoda M. O. Mokhtar, Jianwen Su
2004WWWAnalysis of interacting BPEL web services.Xiang Fu, Tevfik Bultan, Jianwen Su
2004SIGMODTools for Design of Composite Web Services.Richard Hull, Jianwen Su
2003PODSE-services: a look behind the curtain.Richard Hull, Michael Benedikt, Vassilis Christophides, Jianwen Su
2003WWWConversation specification: a new approach to design and analysis of e-service composition.Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su
2003SACFPV: Fast Protein Visualization Using Java 3D.Tolga Can, Yujun Wang, Yuan-Fang Wang, Jianwen Su
2003SIGMODContorting High Dimensional Data for Efficient Main Memory Processing.Bin Cui, Beng Chin Ooi, Jianwen Su, Kian-Lee Tan
2002CIKMTrajectory queries and octagons in moving object databases.Hongjun Zhu, Jianwen Su, Oscar H. Ibarra
2002PODSOn Moving Object Queries.Hoda M. O. Mokhtar, Jianwen Su, Oscar H. Ibarra
2001TACASVerification of Vortex Workflows.Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su
2000CAVBinary Reachability Analysis of Discrete Pushdown Timed Automata.Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su
2000CONCURReachability Analysis for Some Models of Infinite-State Transition Systems.Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
2000ICDEOptimization Techniques for Data-Intensive Decision Flows.Richard Hull, Franois Llirbat, Bharat Kumar, Gang Zhou, Guozhu Dong, Jianwen Su
2000MFCSConter Machines: Decidable Properties and Applications to Verification Problems.Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
2000SSDBMToward Spatial Joins for Polygons.Hongjun Zhu, Jianwen Su, Oscar H. Ibarra
1999ICDEData Integration by Describing Sources with Constraint Databases.Xun Cheng, Guozhu Dong, Tzekwan Lau, Jianwen Su
1999ICDEAn Index Structure for Spatial Joins in Linear Constraint Databases.Hongjun Zhu, Jianwen Su, Oscar H. Ibarra
1997PODSOn the Containment and Equivalence of Database Queries with Linear Constraints.Oscar H. Ibarra, Jianwen Su
1996PODSTowards Practical Constraint Databases.Stphane Grumbach, Jianwen Su
1995CPFirst-order Definability over Constraint Databases.Stphane Grumbach, Jianwen Su
1995ICDTIncrement Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries.Guozhu Dong, Jianwen Su
1995PODSSpace-Bounded FOIES.Guozhu Dong, Jianwen Su
1995PODSDense-Order Constraint Databases.Stphane Grumbach, Jianwen Su
1994ERVirtual Structures - A Technique for Supporting Scientific Database Applications.Terence R. Smith, Jianwen Su, Amitabh Saran
1994PODSFinitely Representable Databases.Stphane Grumbach, Jianwen Su
1991VLDBDynamic Constraints and Object Migration.Jianwen Su
1989PODSUntyped Sets, Invention, and Computable Queries.Richard Hull, Jianwen Su
1989SIGMODOn Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract).Richard Hull, Jianwen Su
1988PODSOn the Expressive Power of Database Queries with Intermediate Types.Richard Hull, Jianwen Su
1986PODSSafety of Non-Well-Locked Trasnaction Systems.Jianwen Su