Philip M. Lewis

Publication Activity (10 Years)

Years Active: 1974-2015
Publications (10 Years): 1

Top Topics

Distributed Database Systems

Transaction Management

Correctness Criterion

Top Venues

Fundamental Problems in Computing

Publications

Arthur J. Lowery, Jeffrey V. Rosenfeld, Philip M. Lewis, Damien Browne, Anand Mohan, Emma Brunton, Edwin Yan, Jerome J. Maller, Collette Mann, Ramesh Rajan, Marcello Rosa, Jeanette Pritchard
Restoration of vision using wireless cortical implants: The Monash Vision Group project. EMBC (2015)
Philip M. Lewis, Daniel J. Rosenkrantz, Richard Edwin Stearns
Attributed Translations. Fundamental Problems in Computing (2013)
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis
System Level Concurrency Control for Distributed Database Systems. Fundamental Problems in Computing (2013)
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis
An analysis of several heuristics for the traveling salesman problem. Fundamental Problems in Computing (2013)
Philip M. Lewis
SNAPSHOT Isolation: Why Do Some People Call it SERIALIZABLE? Fundamental Problems in Computing (2013)
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis
Consistency and serializability in concurrent database systems. Fundamental Problems in Computing (2013)
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
Completeness and realizability: conditions for automatic generation of workflows. Int. J. Found. Comput. Sci. 17 (1) (2006)
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
Automatic workflow verification and generation. Theor. Comput. Sci. 353 (1-3) (2006)
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. ICWS (2004)
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
A model for abstract process specification, verification and composition. ICSOC (2004)
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
Correct Execution of Transactions at Different Isolation Levels. IEEE Trans. Knowl. Data Eng. 16 (9) (2004)
Rance Cleaveland, Philip M. Lewis, Scott A. Smolka
Practical techniques for the design, specification, verification, and implementation of concurrent systems. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
Semantic Conditions for Correctness at Different Isolation Levels. ICDE (2000)
Arthur J. Bernstein, David Scott Gerstl, Philip M. Lewis
Concurrency control for step-decomposed transactions. Inf. Syst. 24 (8) (1999)
Arthur J. Bernstein, David Scott Gerstl, Wai-Hong Leung, Philip M. Lewis
Design and Performance of an Assertional Concurrency Control System. ICDE (1998)
Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
The Concurrency Factory Software Development Environment. TACAS (1996)
Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka
A Theory of Testing for Soft Real-Time Processes. SEKE (1996)
Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
The Concurrency Factory: A Development Environment for Concurrent Systems. CAV (1996)
Arthur J. Bernstein, Philip M. Lewis
Transaction Decomposition Using Transaction Semantics. Distributed Parallel Databases 4 (1) (1996)
Rui Hu, Philip M. Lewis
An Integrated Approach to Communication Axioms Among Concurrent Processes. PDPTA (1995)
Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. Specification of Parallel Algorithms (1994)
Philip M. Lewis
B74-17 The Theory of Parsing, Translation, and Compiling - Volume II: Compiling. IEEE Trans. Computers 23 (2) (1974)