Approximating Probability Distributions to Reduce Storage Requirements - Philip M. Lewis II (Inf. Control., 1959)

A Note on Realization of Decision Networks Using Summation Elements - Philip M. Lewis II (Inf. Control., 1961)

A Simplified Procedure for the Realization of Linearly-Separable Switching Functions. - Clarence L. Coates; Roger B. Kirchner; Philip M. Lewis II (IRE Trans. Electron. Comput., 1962)

The characteristic selection problem in recognition systems. - Philip M. Lewis II (IRE Trans. Inf. Theory, 1962)

Threshold gate realizations of logical functions with don't cares - C. L. Coates; Philip M. Lewis II (SWCT, 1963)

A Realization Procedure for Threshold Gate Networks. - Clarence L. Coates; Philip M. Lewis II (IEEE Trans. Electron. Comput., 1963)

Is Switching Theory Mathematics or Engineering? - Philip M. Lewis II; Clarence L. Coates (IEEE Trans. Electron. Comput., 1963)

Realization of Logical Functions by a Network of Threshold Components with Specified Sensitivity. - Philip M. Lewis II; Clarence L. Coates (IEEE Trans. Electron. Comput., 1963)

DONUT: A Threshold Gate Computer. - Clarence L. Coates; Philip M. Lewis II (IEEE Trans. Electron. Comput., 1964)

Memory bounds for recognition of context-free and context-sensitive languages - Philip M. Lewis II; Richard Edwin Stearns; Juris Hartmanis (SWCT, 1965)

Hierarchies of memory limited computations - Richard Edwin Stearns; Juris Hartmanis; Philip M. Lewis II (SWCT, 1965)

A Lower Bound on the Number of Corrections Required for Convergence of the Single Threshold Gate Adaptive Procedure. - Philip M. Lewis II (IEEE Trans. Electron. Comput., 1966)

Syntax-Directed Transduction. - Philip M. Lewis II; Richard Edwin Stearns (J. ACM, 1968)

Property Grammars and Table Machines - Richard Edwin Stearns; Philip M. Lewis II (Inf. Control., 1969)

Deterministic Left Corner Parsing (Extended Abstract) - Daniel J. Rosenkrantz; Philip M. Lewis II (SWAT, 1970)

Approximate Algorithms for the Traveling Salesperson Problem - Daniel J. Rosenkrantz; Richard Edwin Stearns; Philip M. Lewis II (SWAT, 1974)

Attributed Translations. - Philip M. Lewis II; Daniel J. Rosenkrantz; Richard Edwin Stearns (J. Comput. Syst. Sci., 1974)

B74-17 The Theory of Parsing, Translation, and Compiling - Volume II: Compiling. - Philip M. Lewis (IEEE Trans. Computers, 1974)

Concurrency Control for Database Systems - Richard Edwin Stearns; Philip M. Lewis II; Daniel J. Rosenkrantz (FOCS, 1976)

An Analysis of Several Heuristics for the Traveling Salesman Problem. - Daniel J. Rosenkrantz; Richard Edwin Stearns; Philip M. Lewis II (SIAM J. Comput., 1977)

System Level Concurrency Control for Distributed Database Systems. - Daniel J. Rosenkrantz; Richard Edwin Stearns; Philip M. Lewis II (ACM Trans. Database Syst., 1978)

Consistency and Serializability in Concurrent Database Systems. - Daniel J. Rosenkrantz; Richard Edwin Stearns; Philip M. Lewis II (SIAM J. Comput., 1984)

Concurrency in programming and database systems. - Arthur J. Bernstein; Philip M. Lewis (Jones and Bartlett Publishers, 1993)

The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. - Rance Cleaveland; Jayesh N. Gada; Philip M. Lewis; Scott A. Smolka; Oleg Sokolsky; Shipei Zhang (Specification of Parallel Algorithms, 1994)

An Integrated Approach to Communication Axioms Among Concurrent Processes. - Rui Hu; Philip M. Lewis (PDPTA, 1995)

The Concurrency Factory: A Development Environment for Concurrent Systems. - Rance Cleaveland; Philip M. Lewis; Scott A. Smolka; Oleg Sokolsky (CAV, 1996)

A Theory of Testing for Soft Real-Time Processes. - Rance Cleaveland; Insup Lee 001; Philip M. Lewis; Scott A. Smolka (SEKE, 1996)

The Concurrency Factory Software Development Environment. - Rance Cleaveland; Philip M. Lewis; Scott A. Smolka; Oleg Sokolsky (TACAS, 1996)

Transaction Decomposition Using Transaction Semantics. - Arthur J. Bernstein; Philip M. Lewis (Distributed Parallel Databases, 1996)

Design and Performance of an Assertional Concurrency Control System. - Arthur J. Bernstein; David Scott Gerstl; Wai-Hong Leung; Philip M. Lewis (ICDE, 1998)

Concurrency control for step-decomposed transactions. - Arthur J. Bernstein; David Scott Gerstl; Philip M. Lewis (Inf. Syst., 1999)

Semantic Conditions for Correctness at Different Isolation Levels. - Arthur J. Bernstein; Philip M. Lewis; Shiyong Lu (ICDE, 2000)

Practical techniques for the design, specification, verification, and implementation of concurrent systems. - Rance Cleaveland; Philip M. Lewis; Scott A. Smolka (ACM SIGSOFT Softw. Eng. Notes, 2000)

Databases and Transaction Processing: An Application-Oriented Approach - Philip M. Lewis; Arthur J. Bernstein; Michael Kifer (Addison-Wesley, 2001)

A model for abstract process specification, verification and composition. - Ziyang Duan; Arthur J. Bernstein; Philip M. Lewis; Shiyong Lu (ICSOC, 2004)

Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. - Ziyang Duan; Arthur J. Bernstein; Philip M. Lewis; Shiyong Lu (ICWS, 2004)

Correct Execution of Transactions at Different Isolation Levels. - Shiyong Lu; Arthur J. Bernstein; Philip M. Lewis (IEEE Trans. Knowl. Data Eng., 2004)

Completeness and realizability: conditions for automatic generation of workflows. - Shiyong Lu; Arthur J. Bernstein; Philip M. Lewis (Int. J. Found. Comput. Sci., 2006)

Automatic workflow verification and generation. - Shiyong Lu; Arthur J. Bernstein; Philip M. Lewis (Theor. Comput. Sci., 2006)

SNAPSHOT Isolation: Why Do Some People Call it SERIALIZABLE? - Philip M. Lewis (Fundamental Problems in Computing, 2013)

Restoration of vision using wireless cortical implants: The Monash Vision Group project. - Arthur James 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 (EMBC, 2015)