Philip M. Lewis

According to our database, Philip M. Lewis authored at least 41 papers between 1959 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

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

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

2013

SNAPSHOT Isolation: Why Do Some People Call it SERIALIZABLE?

Philip M. Lewis

Proceedings of the Fundamental Problems in Computing, 2013

2006

Automatic workflow verification and generation.

Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis

Theor. Comput. Sci., 2006

Completeness and realizability: conditions for automatic generation of workflows.

Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis

Int. J. Found. Comput. Sci., 2006

2004

Correct Execution of Transactions at Different Isolation Levels.

Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis

IEEE Trans. Knowl. Data Eng., 2004

Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes.

Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu

Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

A model for abstract process specification, verification and composition.

Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu

Proceedings of the Service-Oriented Computing, 2004

2001

Databases and Transaction Processing: An Application-Oriented Approach

Philip M. Lewis, Arthur J. Bernstein, Michael Kifer

Addison-Wesley, ISBN: 0-201-70872-8, 2001

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

Semantic Conditions for Correctness at Different Isolation Levels.

Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu

Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

1999

Concurrency control for step-decomposed transactions.

Arthur J. Bernstein, David Scott Gerstl, Philip M. Lewis

Inf. Syst., 1999

1998

Design and Performance of an Assertional Concurrency Control System.

Arthur J. Bernstein, David Scott Gerstl, Wai-Hong Leung, Philip M. Lewis

Proceedings of the Fourteenth International Conference on Data Engineering, 1998

1996

Transaction Decomposition Using Transaction Semantics.

Arthur J. Bernstein, Philip M. Lewis

Distributed Parallel Databases, 1996

The Concurrency Factory Software Development Environment.

Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

A Theory of Testing for Soft Real-Time Processes.

Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

The Concurrency Factory: A Development Environment for Concurrent Systems.

Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

An Integrated Approach to Communication Axioms Among Concurrent Processes.

Rui Hu, Philip M. Lewis

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1995

1994

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

Proceedings of the Specification of Parallel Algorithms, 1994

1993

Concurrency in programming and database systems.

Arthur J. Bernstein, Philip M. Lewis

Jones and Bartlett Publishers, ISBN: 978-0-86720-205-2, 1993

1984

Consistency and Serializability in Concurrent Database Systems.

Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II

SIAM J. Comput., 1984

1978

System Level Concurrency Control for Distributed Database Systems.

Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II

ACM Trans. Database Syst., 1978

1977

An Analysis of Several Heuristics for the Traveling Salesman Problem.

Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II

SIAM J. Comput., 1977

1976

Concurrency Control for Database Systems

Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz

Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976

1974

B74-17 The Theory of Parsing, Translation, and Compiling - Volume II: Compiling.

Philip M. Lewis

IEEE Trans. Computers, 1974

Attributed Translations.

Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns

J. Comput. Syst. Sci., 1974

Approximate Algorithms for the Traveling Salesperson Problem

Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II

Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974

1970

Deterministic Left Corner Parsing (Extended Abstract)

Daniel J. Rosenkrantz, Philip M. Lewis II

Proceedings of the 11th Annual Symposium on Switching and Automata Theory, 1970

1969

Property Grammars and Table Machines

Richard Edwin Stearns, Philip M. Lewis II

Inf. Control., June, 1969

1968

Syntax-Directed Transduction.

Philip M. Lewis II, Richard Edwin Stearns

J. ACM, 1968

1966

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

1965

Hierarchies of memory limited computations

Richard Edwin Stearns, Juris Hartmanis, Philip M. Lewis II

Proceedings of the 6th Annual Symposium on Switching Circuit Theory and Logical Design, 1965

Memory bounds for recognition of context-free and context-sensitive languages

Philip M. Lewis II, Richard Edwin Stearns, Juris Hartmanis

Proceedings of the 6th Annual Symposium on Switching Circuit Theory and Logical Design, 1965

1964

DONUT: A Threshold Gate Computer.

Clarence L. Coates, Philip M. Lewis II

IEEE Trans. Electron. Comput., 1964

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

Is Switching Theory Mathematics or Engineering?

Philip M. Lewis II, Clarence L. Coates

IEEE Trans. Electron. Comput., 1963

A Realization Procedure for Threshold Gate Networks.

Clarence L. Coates, Philip M. Lewis II

IEEE Trans. Electron. Comput., 1963

Threshold gate realizations of logical functions with don't cares

C. L. Coates, Philip M. Lewis II

Proceedings of the 4th Annual Symposium on Switching Circuit Theory and Logical Design, 1963

1962

The characteristic selection problem in recognition systems.

Philip M. Lewis II

IRE Trans. Inf. Theory, 1962

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

1961

A Note on Realization of Decision Networks Using Summation Elements

Philip M. Lewis II

Inf. Control., September, 1961

1959

Approximating Probability Distributions to Reduce Storage Requirements

Philip M. Lewis II

Inf. Control., September, 1959