Jennifer Widom

According to our database1, Jennifer Widom authored at least 213 papers between 1986 and 2017.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2005, "For contributions to active and semi-structured database systems.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Understanding Workers, Developing Effective Tasks, and Enhancing Marketplace Dynamics: A Study of a Large Crowdsourcing Marketplace.
PVLDB, 2017

Understanding Workers, Developing Effective Tasks, and Enhancing Marketplace Dynamics: A Study of a Large Crowdsourcing Marketplace.
CoRR, 2017

2016
The Beckman report on database research.
Commun. ACM, 2016

Towards Globally Optimal Crowdsourcing Quality Management: The Uniform Worker Setting.
Proceedings of the 2016 International Conference on Management of Data, 2016

STREAM: The Stanford Data Stream Management System.
Proceedings of the Data Stream Management - Processing High-Speed Data Streams, 2016

2015
Globally Optimal Crowdsourcing Quality Management: Full technical report.
CoRR, 2015

Three Favorite Results.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

Graft: A Debugging Tool For Apache Giraph.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

Surpassing Humans and Computers with JELLYBEAN: Crowd-Vision-Hybrid Counting Algorithms.
Proceedings of the Third AAAI Conference on Human Computation and Crowdsourcing, 2015

2014
The Beckman Report on Database Research.
SIGMOD Record, 2014

Optimizing Graph Algorithms on Pregel-like Systems.
PVLDB, 2014

Optimal Crowd-Powered Rating and Filtering Algorithms.
PVLDB, 2014

CrowdFill: a system for collecting structured data from the crowd.
Proceedings of the 23rd International World Wide Web Conference, 2014

HelP: High-level Primitives For Large-Scale Graph Processing.
Proceedings of the Second International Workshop on Graph Data Management Experiences and Systems, 2014

CrowdFill: collecting structured data from the crowd.
Proceedings of the International Conference on Management of Data, 2014

DataSift: a crowd-powered search toolkit.
Proceedings of the International Conference on Management of Data, 2014

Optimal Worker Quality and Answer Estimates in Crowd-Powered Filtering and Rating.
Proceedings of the Seconf AAAI Conference on Human Computation and Crowdsourcing, 2014

Simplifying Scalable Graph Processing with a Domain-Specific Language.
Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

2013
Query Optimization over Crowdsourced Data.
PVLDB, 2013

GPS: a graph processing system.
Proceedings of the Conference on Scientific and Statistical Database Management, 2013

Logical provenance in data-oriented workflows?
Proceedings of the 29th IEEE International Conference on Data Engineering, 2013

DataSift: An Expressive and Accurate Crowd-Powered Search Toolkit.
Proceedings of the First AAAI Conference on Human Computation and Crowdsourcing, 2013

2012
An overview of the deco system: data model and query language; query processing and optimization.
SIGMOD Record, 2012

Deco: A System for Declarative Crowdsourcing.
PVLDB, 2012

CrowdScreen: algorithms for filtering data with humans.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2012

Provenance-Based Debugging and Drill-Down in Data-Oriented Workflows.
Proceedings of the IEEE 28th International Conference on Data Engineering (ICDE 2012), 2012

Deco: declarative crowdsourcing.
Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

2011
Making Aggregation Work in Uncertain and Probabilistic Databases.
IEEE Trans. Knowl. Data Eng., 2011

RAMP: A System for Capturing and Tracing Provenance in MapReduce Workflows.
PVLDB, 2011

Human-assisted graph search: it's okay to ask questions.
PVLDB, 2011

Human-Assisted Graph Search: It's Okay to Ask Questions
CoRR, 2011

Provenance-based refresh in data-oriented workflows.
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Provenance for Generalized Map and Reduce Workflows.
Proceedings of the CIDR 2011, 2011

2010
Foundations of Uncertain-Data Integration.
PVLDB, 2010

Panda: A System for Provenance and Data.
IEEE Data Eng. Bull., 2010

Panda: A System for Provenance and Data.
Proceedings of the 2nd Workshop on the Theory and Practice of Provenance, 2010

LIVE: A Lineage-Supported Versioned DBMS.
Proceedings of the Scientific and Statistical Database Management, 2010

Generalized Uncertain Databases: First Steps.
Proceedings of the Fourth International VLDB workshop on Management of Uncertain Data (MUD 2010) in conjunction with VLDB 2010, 2010

Synthesizing view definitions from data.
Proceedings of the Database Theory, 2010

2009
Representing uncertain data: models, properties, and algorithms.
VLDB J., 2009

Swoosh: a generic approach to entity resolution.
VLDB J., 2009

Outerjoins in Uncertain Databases.
Proceedings of the Third VLDB workshop on Management of Uncertain Data (MUD2009) in conjunction with VLDB 2009, 2009

Continuous Uncertainty in Trio.
Proceedings of the Third VLDB workshop on Management of Uncertain Data (MUD2009) in conjunction with VLDB 2009, 2009

Confidence-Aware Join Algorithms.
Proceedings of the 25th International Conference on Data Engineering, 2009

Schema Design for Uncertain Databases.
Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, 2009

Database systems - the complete book (2. ed.).
Pearson Education, ISBN: 978-0-13-187325-4, 2009

2008
Databases with uncertainty and lineage.
VLDB J., 2008

Towards a streaming SQL standard.
PVLDB, 2008

Towards Special-Purpose Indexes and Statistics for Uncertain Data.
Proceedings of the International Workshop on Quality in Databases and Management of Uncertain Data, 2008

Exploiting Lineage for Confidence Computation in Uncertain and Probabilistic Databases.
Proceedings of the 24th International Conference on Data Engineering, 2008

2007
Optimization of continuous queries with shared expensive filters.
Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2007

Making Aggregation Work in Uncertain and Probabilistic Databases.
Proceedings of the First International VLDB workshop on Management of Uncertain Data in conjunction with VLDB 2007, 2007

Trio-One: Layering Uncertainty and Lineage on a Conventional DBMS (Demo).
Proceedings of the CIDR 2007, 2007

2006
The CQL continuous query language: semantic foundations and query execution.
VLDB J., 2006

Foreword to special section on SIGMOD/PODS 2005.
ACM Trans. Database Syst., 2006

An Introduction to ULDBs and the Trio System.
IEEE Data Eng. Bull., 2006

Generic Entity Resolution in the SERF Project.
IEEE Data Eng. Bull., 2006

Query Optimization over Web Services.
Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

ULDBs: Databases with Uncertainty and Lineage.
Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

Trio: A System for Data, Uncertainty, and Lineage.
Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

Declarative Support for Sensor Data Cleaning.
Proceedings of the Pervasive Computing, 2006

Working Models for Uncertain Data.
Proceedings of the 22nd International Conference on Data Engineering, 2006

A Pipelined Framework for Online Cleaning of Sensor Data Streams.
Proceedings of the 22nd International Conference on Data Engineering, 2006

2005
Efficient Monitoring and Querying of Distributed, Dynamic Data via Approximate Replication.
IEEE Data Eng. Bull., 2005

The Lowell database research self-assessment.
Commun. ACM, 2005

Content-Based Routing: Different Plans for Different Data.
Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Database Publication Practices.
Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Operator placement for in-network stream query processing.
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005

Indexing Relational Database Content Offline for Efficient Keyword-Based Search.
Proceedings of the Ninth International Database Engineering and Applications Symposium (IDEAS 2005), 2005

The Pipelined Set Cover Problem.
Proceedings of the Database Theory, 2005

Adaptive Caching for Continuous Queries.
Proceedings of the 21st International Conference on Data Engineering, 2005

Trio: A System for Integrated Management of Data, Accuracy, and Lineage.
Proceedings of the CIDR 2005, 2005

2004
Exploiting k-constraints to reduce memory overhead in continuous queries over data streams.
ACM Trans. Database Syst., 2004

Characterizing memory requirements for queries over continuous data streams.
ACM Trans. Database Syst., 2004

A Denotational Semantics for Continuous Queries over Streams and Relations.
SIGMOD Record, 2004

Memory-Limited Execution of Windowed Stream Joins.
Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, Toronto, Canada, August 31, 2004

Resource Sharing in Continuous Sliding-Window Aggregates.
Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, Toronto, Canada, August 31, 2004

Vision Paper: Enabling Privacy for the Paranoids.
Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, Toronto, Canada, August 31, 2004

Rethinking the Conference Reviewing Process - Panel.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

StreaMon: An Adaptive Engine for Stream Query Processing.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

Adaptive Ordering of Pipelined Stream Filters.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

Flexible Time Management in Data Stream Systems.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

Mining the space of graph properties.
Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2004

2003
Incremental computation and maintenance of temporal aggregates.
VLDB J., 2003

Lineage tracing for general data warehouse transformations.
VLDB J., 2003

Exploiting hierarchical domain structure to compute similarity.
ACM Trans. Inf. Syst., 2003

Computing the Median with Uncertainty.
SIAM J. Comput., 2003

STREAM: The Stanford Stream Data Manager.
IEEE Data Eng. Bull., 2003

The Lowell Database Research Self Assessment
CoRR, 2003

Scaling personalized web search.
Proceedings of the Twelfth International World Wide Web Conference, 2003

Adaptive Filters for Continuous Queries over Distributed Data Streams.
Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

STREAM: The Stanford Stream Data Manager.
Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

CQL: A Language for Continuous Queries over Streams and Relations.
Proceedings of the Database Programming Languages, 9th International Workshop, 2003

Query Processing, Approximation, and Resource Management in a Data Stream Management System.
Proceedings of the CIDR 2003, 2003

2002
Best-effort cache synchronization with source cooperation.
Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, 2002

Data streams: fresh current or stagnant backwater? (panel).
Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, 2002

Models and Issues in Data Stream Systems.
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Characterizing Memory Requirements for Queries over Continuous Data Streams.
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

SimRank: a measure of structural-context similarity.
Proceedings of the Eighth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2002

A first course in database systems (2. ed.).
Prentice Hall, ISBN: 978-0-13-035300-9, 2002

Database systems - the complete book (international edition).
Pearson Education, ISBN: 978-0-13-098043-4, 2002

2001
Continuous Queries over Data Streams.
SIGMOD Record, 2001

Lineage Tracing for General Data Warehouse Transformations.
Proceedings of the VLDB 2001, 2001

Adaptive Precision Setting for Cached Approximate Values.
Proceedings of the 2001 ACM SIGMOD international conference on Management of data, 2001

Incremental Computation and Maintenance of Temporal Aggregates.
Proceedings of the 17th International Conference on Data Engineering, 2001

2000
Foreword by the VLDB '98 PC Chairmen: Best Papers of VLDB '98.
VLDB J., 2000

Tracing the lineage of view data in a warehousing environment.
ACM Trans. Database Syst., 2000

An algebraic approach to static analysis of active database rules.
ACM Trans. Database Syst., 2000

From Semistructured Data to XML: Migrating the Lore Data Model and Query Language.
Markup Languages, 2000

Offering a Precision-Performance Tradeoff for Aggregation Queries over Replicated Data.
Proceedings of the VLDB 2000, 2000

Performance Issues in Incremental Warehouse Maintenance.
Proceedings of the VLDB 2000, 2000

Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award).
Proceedings of the VLDB 2000, 2000

Computing the median with uncertainty.
Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, 2000

TIP: A Temporal Extension to Informix.
Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000

WSQ/DSQ: A Practical Approach for Combined Querying of Databases and the Web.
Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000

On XML and Databases: Where's the Beef? (Panel Abstract).
Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000

Lineage Tracing in a Data Warehousing System.
Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

Practical Lineage Tracing in Data Warehouses.
Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

Temporal View Self-Maintenance.
Proceedings of the Advances in Database Technology, 2000

Storing auxiliary data for efficient maintenance and lineage tracing of complex views.
Proceedings of the Second Intl. Workshop on Design and Management of Data Warehouses, 2000

Database System Implementation
Prentice-Hall, ISBN: 0-13-040264-8, 2000

1999
Managing Historical Semistructured Data.
TAPOS, 1999

Review - An Overview of Data Warehousing and OLAP Technology.
ACM SIGMOD Digital Review, 1999

Review - Query Evaluation Techniques for Large Databases.
ACM SIGMOD Digital Review, 1999

Review - Access Path Selection in a Relational Database Management System.
ACM SIGMOD Digital Review, 1999

Review - Xml-ql: A Query Language for XML
ACM SIGMOD Digital Review, 1999

Data Management for XML: Research Directions.
IEEE Data Eng. Bull., 1999

From Semistructured Data to XML: Migrating the Lore Data Model and Query Language.
Proceedings of the ACM SIGMOD Workshop on The Web and Databases, 1999

Query Optimization for XML.
Proceedings of the VLDB'99, 1999

Ozone: Integrating Structured and Semistructured Data.
Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

1998
Reminiscences on Influential Papers.
SIGMOD Record, 1998

A location management technique to support lifelong numbering in personal communications services.
Mobile Computing and Communications Review, 1998

Interactive Query and Search in Semistructured Databases.
Proceedings of the World Wide Web and Databases, 1998

Querying XML with Lore.
QL, 1998

A Unified Approach for Querying Structured Data and XML.
QL, 1998

Efficient PCS Call Setup Protocols.
Proceedings of the Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29, 1998

Representing and Querying Changes in Semistructured Data.
Proceedings of the Fourteenth International Conference on Data Engineering, 1998

Maintaining Temporal Views over Non-Temporal Information Sources for Data Warehousing.
Proceedings of the Advances in Database Technology, 1998

1997
Efficient and flexible location management techniques for wireless communication systems.
Wireless Networks, 1997

Integrating Dynamically-Fetched External Information into a DBMS for Semistructured Data.
SIGMOD Record, 1997

Lore: A Database Management System for Semistructured Data.
SIGMOD Record, 1997

Per-User Profile Replication in Mobile Environments: Algorithms, Analysis, and Simulation Results.
MONET, 1997

Querying Semistructured Heterogeneous Information.
Journal of Systems Integration, 1997

The Lorel Query Language for Semistructured Data.
Int. J. on Digital Libraries, 1997

The TSIMMIS Approach to Mediation: Data Models and Languages.
J. Intell. Inf. Syst., 1997

Protocols for Integrity Constraint Checking in Federated Databases.
Distributed and Parallel Databases, 1997

DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases.
Proceedings of the VLDB'97, 1997

On-Line Warehouse View Maintenance.
Proceedings of the SIGMOD 1997, 1997

The WHIPS Prototype for Data Warehouse Creation and Maintenance.
Proceedings of the SIGMOD 1997, 1997

The STRIP Rule System For Efficiently Maintaining Derived Data.
Proceedings of the SIGMOD 1997, 1997

Clustering Association Rules.
Proceedings of the Thirteenth International Conference on Data Engineering, 1997

A First Course in Database Systems.
Prentice-Hall, ISBN: 0-13-861337-0, 1997

1996
The Starburst Active Database Rule System.
IEEE Trans. Knowl. Data Eng., 1996

Editor's Notes.
SIGMOD Record, 1996

Editor's Notes.
SIGMOD Record, 1996

Editor's Notes.
SIGMOD Record, 1996

Foreword: Special Issue on Active Database Systems.
J. Intell. Inf. Syst., 1996

Integrating Heterogeneous Databases: Lazy or Eager?
ACM Comput. Surv., 1996

A System Prototype for Warehouse View Maintenance.
VIEWS, 1996

LORE: A Lightweight Object REpository for Semistructured Data.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Change Detection in Hierarchically Structured Information.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Making Views Self-Maintainable for Data Warehousing.
Proceedings of the Fourth International Conference on Parallel and Distributed Information Systems, 1996

Efficient and Flexible Location Management Techniques for Wireless Communication Systems.
Proceedings of the MOBICOM '96, 1996

A Toolkit for Constraint Management in Heterogeneous Information Systems.
Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

Integrity Constraint Checking in Federated Databases.
Proceedings of the First IFCIS International Conference on Cooperative Information Systems (CoopIS'96), 1996

Conclusions and Future Directions
Active Database Systems: Triggers and Rules For Advanced Database Processing, 1996

Applications of Active Databases
Active Database Systems: Triggers and Rules For Advanced Database Processing, 1996

Standards and Commercial Systems
Active Database Systems: Triggers and Rules For Advanced Database Processing, 1996

Introduction to Active Database Systems
Active Database Systems: Triggers and Rules For Advanced Database Processing, 1996

The Starburst Rule System
Active Database Systems: Triggers and Rules For Advanced Database Processing, 1996

1995
Static Analysis Techniques for Predicting the Behavior of Active Database Rules.
ACM Trans. Database Syst., 1995

Editor's Notes.
SIGMOD Record, 1995

Editor's Notes.
SIGMOD Record, 1995

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

The Stanford Data Warehousing Project.
IEEE Data Eng. Bull., 1995

View Maintenance in a Warehousing Environment.
Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

Information Translation, Mediation, and Mosaic-Based Browsing in the TSIMMIS System.
Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

Using Delta Relations to Optimize Condition Evaluation in Active Databases.
Proceedings of the Rules in Database Systems, Second International Workshop, 1995

The TSIMMIS Approach to Mediation: Data Models and Languages.
Proceedings of the Next Generation Information Technologies and Systems (NGITS '95), 1995

User Profile Replication for Faster Location Lookup in Mobile Environments.
Proceedings of the MOBICOM '95, 1995

Object Exchange Across Heterogeneous Information Sources.
Proceedings of the Eleventh International Conference on Data Engineering, 1995

Querying Semistructured Heterogeneous Information.
Proceedings of the Deductive and Object-Oriented Databases, 1995

Research Problems in Data Warehousing.
Proceedings of the CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28, 1995

Active Database Systems.
Modern Database Systems, 1995

1994
Research Issues in Active Database Systems: Report from the Closing Panel at RIDE-ADS '94.
SIGMOD Record, 1994

Deriving Incremental Production Rules for Deductive Data.
Inf. Syst., 1994

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

Flexible Constraint Management for Autonomous Distributed Databases.
IEEE Data Eng. Bull., 1994

An Algebraic Approach to Rule Analysis in Expert Database Systems.
Proceedings of the VLDB'94, 1994

Efficient and Complete Tests for Database Integrity Constraint Checking.
Proceedings of the Principles and Practice of Constraint Programming, 1994

Constraint Checking with Partial Information.
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

The TSIMMIS Project: Integration of Heterogeneous Information Sources.
IPSJ, 1994

Validating Constraints with Partial Information: Research Overview.
DAISD, 1994

1993
An overview of production rules in database systems.
Knowledge Eng. Review, 1993

Managing Semantic Heterogeneity with Production Rules and Persistent Queues.
Proceedings of the 19th International Conference on Very Large Data Bases, 1993

Local Verification of Global Integrity Constraints in Distributed Databases.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Deductive and Active Databases: Two Paradigms or Ends of a Spectrum?
Proceedings of the Rules in Database Systems. Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August, 1993

Better Termination Analysis for Active Databases.
Proceedings of the Rules in Database Systems. Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August, 1993

1992
Trace-Based Network Proof Systems: Expressiveness and Completeness.
ACM Trans. Program. Lang. Syst., 1992

A Denotational Semantics for the Starburst Production Rule Language.
SIGMOD Record, 1992

The Starburst Rule System: Language Design, Implementation, and Applications.
IEEE Data Eng. Bull., 1992

Production Rules in Parallel and Distributed Database Environments.
Proceedings of the 18th International Conference on Very Large Data Bases, 1992

Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism.
Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, 1992

1991
Implementing Set-Oriented Production Rules as an Extension to Starburst.
Proceedings of the 17th International Conference on Very Large Data Bases, 1991

Deriving Production Rules for Incremental View Maintenance.
Proceedings of the 17th International Conference on Very Large Data Bases, 1991

Starburst II: The Extender Strikes Back!
Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, 1991

1990
Deriving Production Rules for Constraint Maintainance.
Proceedings of the 16th International Conference on Very Large Data Bases, 1990

Set-Oriented Production Rules in Relational Database Systems.
Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, 1990

1989
A Syntax and Semantics for Set-Oriented Production Rules in Relational Database Systems (Extended Abstract).
SIGMOD Record, 1989

A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988
Expressiveness Bounds for Completness in Trace-Based Network Proof Systems.
Proceedings of the CAAP '88, 1988

1987
Completeness and Incompleteness of Trace-Based Network Proof Systems.
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

1986
Whiteboards: A Graphical Database Tool.
ACM Trans. Inf. Syst., 1986


  Loading...