Jianwen Su

Affiliations:
  • University of California, Santa Barbara, USA


According to our database1, Jianwen Su authored at least 165 papers between 1986 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Early detection of temporal constraint violations.
Inf. Comput., January, 2024

2023
Mapping singly-linked rules to linear temporal logic formulas.
Inf. Syst., July, 2023

An Evaluation Metric for Prediction Stability with Imprecise Data.
Proceedings of the Knowledge Science, Engineering and Management, 2023

Data Product-Oriented Services for Data Ecosystem.
Proceedings of the IEEE International Conference on Web Services, 2023

A Capability Description Language Design for Data Products.
Proceedings of the Second ACM Data Economy Workshop, 2023

An End-to-End Multi-stage Network for Ultrasound Video Object Segmentation.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2022
A Query Language for Workflow Logs.
ACM Trans. Manag. Inf. Syst., 2022

Predicting disease progress with imprecise lab test results.
Artif. Intell. Medicine, 2022

A Rule-Based Constraint Language for Event Streams.
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021
Predicting Disease Progress with Imprecise Lab Test Results.
CoRR, 2021

2020
Impact of Medical Data Imprecision on Learning Results.
CoRR, 2020

2019
Query Data Inconsistency for Business Processes.
Proceedings of the 2019 IEEE World Congress on Services, 2019

2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award.
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

2018
Incremental Computation of Queries.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Querying Workflow Logs.
Inf., 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos, 2018

GSM+T: A Timed Artifact-Centric Process Model.
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

2017
The Internet-of-Things Meets Business Process Management: Mutual Benefits and Challenges.
CoRR, 2017

Querying Workflow Logs.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems Workshops, 2017

From Data-centric Business Processes to Enterprise Process Frameworks.
Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Conference, 2017

Business Intelligence Revisited.
Proceedings of the Fifth International Conference on Advanced Cloud and Big Data, 2017

2016
Universal Artifacts: A New Approach to Business Process Management (BPM) Systems.
ACM Trans. Manag. Inf. Syst., 2016

Research Directions for Principles of Data Management (Abridged).
SIGMOD Rec., 2016

ExRORU: A New Approach to Characterize the Behavioral Semantics of Process Models (Short Paper).
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Towards Quality-Aware Translations of Activity-Centric Processes to Guard Stage Milestone.
Proceedings of the Business Process Management - 14th International Conference, 2016

2015
Yank Your Data Out of My Engine: A New Approach to Workflow System Design.
Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Workshop, 2015

Towards Ontology Guided Translation of Activity-Centric Processes to GSM.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

jBPM4S: A Multi-tenant Extension of jBPM to Support BPaaS.
Proceedings of the Asia Pacific Business Process Management, 2015

2014
Conformance for DecSerFlow Constraints.
Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

Modeling data for business processes.
Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014

Separating Execution and Data Management: A Key to Business-Process-as-a-Service (BPaaS).
Proceedings of the Business Process Management - 12th International Conference, 2014

2013
Choreography Revisited.
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

Data management perspectives on business process management: tutorial overview.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Automated Trauma Incident Cubes Analysis.
Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

2012
Change impact analysis in service-based business processes.
Serv. Oriented Comput. Appl., 2012

SeGA: A Mediator for Artifact-Centric Business Processes.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

Declarative Choreographies for Artifacts.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Proactive Enforcement of Data Consistency by Business Processes.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
An Artifact-Centric Approach to Dynamic Modification of Workflow Execution.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

Preservation of Integrity Constraints by Workflow.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

Computing Degree of Parallelism for BPMN Processes.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

2010
On Nondeterministic Workflow Executions.
Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

On Lifecycle Constraints of Artifact-Centric Workflows.
Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

The ACM PODS Alberto O. Mendelzon test-of-time-award 2010.
Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

A Behavioral Similarity Measure between Labeled Petri Nets Based on Principal Transition Sequences - (Short Paper).
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

10151 Working Groups Results - How to enable Holistic Approaches to Business Process Lifecycle Management.
Proceedings of the Enabling Holistic Approaches to Business Process Lifecycle Management, 11.04., 2010

10151 Abstracts Collection - Enabling Holistic Approaches to Business Process Lifecycle Management.
Proceedings of the Enabling Holistic Approaches to Business Process Lifecycle Management, 11.04., 2010

2009
Incremental Computation of Queries.
Proceedings of the Encyclopedia of Database Systems, 2009

Database theory column: report on PODS 2009.
SIGACT News, 2009

Enforcing Constraints on Life Cycles of Business Artifacts.
Proceedings of the TASE 2009, 2009

Automated Realization of Business Workflow Specification.
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Artifact-Centric Workflow Dominance.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Automatic construction of simple artifact-based business processes.
Proceedings of the Database Theory, 2009

A Data-Centric Design Methodology for Business Processes.
Proceedings of the Handbook of Research on Business Process Modeling., 2009

2008
Minimum-cost delegation in service composition.
Theor. Comput. Sci., 2008

One Way Distance: For Shape Based Similarity Search of Moving Object Trajectories.
GeoInformatica, 2008

Letter from the Special Issue Editor.
IEEE Data Eng. Bull., 2008

WSDL-D: A Flexible Web Service Invocation Mechanism for Large Datasets.
Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008

SSWiM: A Semantic Service, Wrapper and Invocation Manager.
Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008

QUESTO: A Query Language for Uncertain and Exact Spatio-temporal Objects.
Proceedings of the Advances in Databases and Information Systems, 2008

2007
A representation independent language for planar spatial databases with Euclidean distance.
J. Comput. Syst. Sci., 2007

Efficient index-based KNN join processing for high-dimensional data.
Inf. Softw. Technol., 2007

On automated composition for web services.
Proceedings of the 16th International Conference on World Wide Web, 2007

Towards a Theory of Web Service Choreographies.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

An Analysis Tool for Execution of BPEL Services.
Proceedings of the 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, 2007

Analyzing Conversations: Realizability, Synchronizability, and Verification.
Proceedings of the Test and Analysis of Web Services, 2007

On Complexity of The Tightening Problem for Web Service Discovery.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

Static Analysis of Business Artifact-centric Operational Models.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

On Completeness of Web Service Compositions.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Specification and Verification of Artifact Behaviors in Business Process Models.
Proceedings of the Service-Oriented Computing, 2007

Towards Formal Analysis of Artifact-Centric Business Process Models.
Proceedings of the Business Process Management, 5th International Conference, 2007

2006
Analyzing Conversations of Web Services.
IEEE Internet Comput., 2006

2005
Synchronizability of Conversations among Web Services.
IEEE Trans. Software Eng., 2005

Indexing High-Dimensional Data for Efficient In-Memory Similarity Search.
IEEE Trans. Knowl. Data Eng., 2005

On composition and lookahead delegation of <i>e</i>-services modeled by automata<sup>, </sup>.
Theor. Comput. Sci., 2005

Tools for composite web services: a short overview.
SIGMOD Rec., 2005

Realizability of Conversation Protocols with Message Contents.
Int. J. Web Serv. Res., 2005

A Query Language for Moving Object Trajectories.
Proceedings of the 17th International Conference on Scientific and Statistical Database Management, 2005

Web Service Interactions: Analysis and Design.
Proceedings of the ICWS 2005 Second International Workshop on Semantic and Dynamic Web Processes, 2005

SPiDeR: P2P-Based Web Service Discovery.
Proceedings of the Service-Oriented Computing, 2005

Shapes based trajectory queries for moving objects.
Proceedings of the 13th ACM International Workshop on Geographic Information Systems, 2005

Handling frequent updates of moving objects.
Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31, 2005

Web Service Discovery Based on Behavior Signatures.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

Web Service Interactions: Analysis and Design.
Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2004
Main Memory Indexing: The Case for BD-Tree.
IEEE Trans. Knowl. Data Eng., 2004

Conversation protocols: a formalism for specification and verification of reactive electronic services.
Theor. Comput. Sci., 2004

Analysis of interacting BPEL web services.
Proceedings of the 13th international conference on World Wide Web, 2004

Tools for Design of Composite Web Services.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

Academic and Industrial Research: Do Their Approaches Differ in Adding Semantics to Web Services?
Proceedings of the Semantic Web Services and Web Process Composition, 2004

Universal Trajectory Queries for Moving Object Databases.
Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004

On Bulk Loading TPR-Tree.
Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004

Model checking XML manipulating software.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Composability of Infinite-State Activity Automata.
Proceedings of the Algorithms and Computation, 15th International Symposium, 2004

Automated composition of e-services: lookaheads.
Proceedings of the Service-Oriented Computing, 2004

WSAT: A Tool for Formal Analysis of Web Services.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Tools for Automated Verification of Web Services.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003
FPV: Fast Protein Visualization Using Java 3DTM.
Bioinform., 2003

Conversation specification: a new approach to design and analysis of e-service composition.
Proceedings of the Twelfth International World Wide Web Conference, 2003

Contorting High Dimensional Data for Efficient Main Memory Processing.
Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

FPV: Fast Protein Visualization Using Java 3D.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

E-services: a look behind the curtain.
Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2003

2002
Counter Machines and Verification Problems.
Theor. Comput. Sci., 2002

Augmenting the discrete timed automaton with other data structures.
Theor. Comput. Sci., 2002

Formal Verification of e-Services and Workflows.
Proceedings of the Web Services, 2002

On Moving Object Queries.
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Trajectory queries and octagons in moving object databases.
Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, 2002

2001
On Reachability and Safety in Infinite-State Systems.
Int. J. Found. Comput. Sci., 2001

Verification of Vortex Workflows.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

On Multi-way Spatial Joins with Direction Predicates.
Proceedings of the Advances in Spatial and Temporal Databases, 7th International Symposium, 2001

Moving Objects: Logical Relationships and Queries.
Proceedings of the Advances in Spatial and Temporal Databases, 7th International Symposium, 2001

Counter machines and the safety and disjointness problems for database queries with linear constraints.
Proceedings of the Where Mathematics, 2001

2000
Incremental Maintenance of Recursive Views Using Relational Calculus/SQL.
SIGMOD Rec., 2000

Generalizing the Discrete Timed Automaton.
Proceedings of the Implementation and Application of Automata, 2000

Extending Rectangle Join Algorithms for Rectilinear Polygons.
Proceedings of the Web-Age Information Management, First International Conference, 2000

Toward Spatial Joins for Polygons.
Proceedings of the 12th International Conference on Scientific and Statistical Database Management, 2000

Conter Machines: Decidable Properties and Applications to Verification Problems.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Optimization Techniques for Data-Intensive Decision Flows.
Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

Experimental evaluation evaluation of filter effectiveness (extended abstract).
Proceedings of the ACM-GIS 2000, 2000

Reachability Analysis for Some Models of Infinite-State Transition Systems.
Proceedings of the CONCUR 2000, 2000

Expressive Power: The Infinite Case.
Proceedings of the Constraint Databases, 2000

Binary Reachability Analysis of Discrete Pushdown Timed Automata.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries.
J. Comput. Syst. Sci., 1999

Support for Modeling Relationships in Object-Oriented Databases.
Data Knowl. Eng., 1999

The Vortex Approach to Integration and Coordination of Workflows.
Proceedings of the Workshop on Cross-Organisational Workflow Management and Co-ordination, 1999

The design of an interactive online help desk in the Alexandria Digital Library.
Proceedings of the international joint conference on Work activities coordination and collaboration 1999, 1999

Declarative workflows that support easy modification and dynamic browsing.
Proceedings of the international joint conference on Work activities coordination and collaboration 1999, 1999

An Index Structure for Spatial Joins in Linear Constraint Databases.
Proceedings of the 15th International Conference on Data Engineering, 1999

Data Integration by Describing Sources with Constraint Databases.
Proceedings of the 15th International Conference on Data Engineering, 1999

A Framework for Optimizing Distributed Workflow Executions.
Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

Counter Machines: Decision Problems and Applications.
Proceedings of the Jewels are Forever, 1999

1998
Deductive Query Languages for Recursively Typed Complex Objects.
J. Log. Program., 1998

Arity Bounds in First-Order Incremental Evaluation and Definition of Polynomial Time Database Queries.
J. Comput. Syst. Sci., 1998

A Constraint-Based Spatial Extension to SQL.
Proceedings of the ACM-GIS '98, 1998

1997
Dynamic Constraints and Object Migration.
Theor. Comput. Sci., 1997

Queries with Arithmetical Constraints.
Theor. Comput. Sci., 1997

Scalable Access Within the Context of Digital Libraries.
Int. J. Digit. Libr., 1997

Finitely Representable Databases.
J. Comput. Syst. Sci., 1997

Deterministic FOIES are Strictly Weaker.
Ann. Math. Artif. Intell., 1997

On the Containment and Equivalence of Database Queries with Linear Constraints.
Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1997

1996
Conjunctive Query Containment with Respect to Views and Constraints.
Inf. Process. Lett., 1996

Towards Practical Constraint Databases.
Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

Scientific Modeling Using Distributed Resources.
Proceedings of the GIS '96, 1996

1995
Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries
Inf. Comput., July, 1995

Computational modeling systems.
Inf. Syst., 1995

Nonrecursive Incremental Evaluation of Datalog Queries.
Ann. Math. Artif. Intell., 1995

Dense-Order Constraint Databases.
Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

Space-Bounded FOIES.
Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries.
Proceedings of the Database Theory, 1995

First-order Definability over Constraint Databases.
Proceedings of the Principles and Practice of Constraint Programming, 1995

1994
Dependency Preservation in Semantic Databases.
Acta Informatica, 1994

Domain Independence and the Relational Calculus.
Acta Informatica, 1994

Linear Constraint Query Languages: Expressive Power and Complexity.
Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994

Virtual Structures - A Technique for Supporting Scientific Database Applications.
Proceedings of the Entity-Relationship Approach, 1994

1993
Algebraic and Calculus Query Languages for Recursively Typed Complex Objects.
J. Comput. Syst. Sci., 1993

Database and Modeling Systems for the Earth Sciences.
IEEE Data Eng. Bull., 1993

Developing Applications with CORAL.
Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993

First-Order Incremental Evaluation of Datalog Queries.
Proceedings of the Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August, 1993

1991
On the Expressive Power of Database Queries with Intermediate Types.
J. Comput. Syst. Sci., 1991

Object Behaviors and Scripts.
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1989
On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract).
Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

Untyped Sets, Invention, and Computable Queries.
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

1986
Safety of Non-Well-Locked Trasnaction Systems.
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986


  Loading...