Philip M. Lewis

24 papers A* 3A 3C 1Misc 1Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2015 — conf
Restoration of vision using wireless cortical implants: The Monash Vision Group project.
EMBC
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
2013 — conf
An analysis of several heuristics for the traveling salesman problem.
Fundamental Problems in Computing
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis
2013 — conf
Attributed Translations.
Fundamental Problems in Computing
Philip M. Lewis, Daniel J. Rosenkrantz, Richard Edwin Stearns
2013 — conf
Consistency and serializability in concurrent database systems.
Fundamental Problems in Computing
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis
2013 — conf
SNAPSHOT Isolation: Why Do Some People Call it SERIALIZABLE?
Fundamental Problems in Computing
Philip M. Lewis
2013 — conf
System Level Concurrency Control for Distributed Database Systems.
Fundamental Problems in Computing
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis
2006 J jnl
Automatic workflow verification and generation.
Theor. Comput. Sci.
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
2006 J jnl
Completeness and realizability: conditions for automatic generation of workflows.
Int. J. Found. Comput. Sci.
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
2004 A conf
A model for abstract process specification, verification and composition.
ICSOC
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
2004 J jnl
Correct Execution of Transactions at Different Isolation Levels.
IEEE Trans. Knowl. Data Eng.
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
2004 A conf
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes.
ICWS
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
2001 — book
Databases and Transaction Processing: An Application-Oriented Approach
Philip M. Lewis, Arthur J. Bernstein, Michael Kifer
2000 J jnl
Practical techniques for the design, specification, verification, and implementation of concurrent systems.
ACM SIGSOFT Softw. Eng. Notes
Rance Cleaveland, Philip M. Lewis, Scott A. Smolka
2000 A* conf
Semantic Conditions for Correctness at Different Isolation Levels.
ICDE
Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
1999 J jnl
Concurrency control for step-decomposed transactions.
Inf. Syst.
Arthur J. Bernstein, David Scott Gerstl, Philip M. Lewis
1998 A* conf
Design and Performance of an Assertional Concurrency Control System.
ICDE
Arthur J. Bernstein, David Scott Gerstl, Wai-Hong Leung, Philip M. Lewis
1996 C conf
A Theory of Testing for Soft Real-Time Processes.
SEKE
Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka
1996 A conf
The Concurrency Factory Software Development Environment.
TACAS
Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
1996 A* conf
The Concurrency Factory: A Development Environment for Concurrent Systems.
CAV
Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
1996 J jnl
Transaction Decomposition Using Transaction Semantics.
Distributed Parallel Databases
Arthur J. Bernstein, Philip M. Lewis
1995 Misc conf
An Integrated Approach to Communication Axioms Among Concurrent Processes.
PDPTA
Rui Hu, Philip M. Lewis
1994 — conf
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems.
Specification of Parallel Algorithms
Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang
1993 — book
Concurrency in programming and database systems.
Arthur J. Bernstein, Philip M. Lewis
1974 J jnl
B74-17 The Theory of Parsing, Translation, and Compiling - Volume II: Compiling.
IEEE Trans. Computers
Philip M. Lewis