Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Philip M. Lewis
Philip M. Lewis II
2000 – 2009
- 2006
[j13]Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis: Completeness and realizability: conditions for automatic generation of workflows. Int. J. Found. Comput. Sci. 17(1): 223-245 (2006)- [j12]Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis: Automatic workflow verification and generation. Theor. Comput. Sci. 353(1-3): 71-92 (2006)
- 2004
- [j11]Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis: Correct Execution of Transactions at Different Isolation Levels. IEEE Trans. Knowl. Data Eng. 16(9): 1070-1081 (2004)
- [c19]Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu: A model for abstract process specification, verification and composition. ICSOC 2004: 232-241
- [c18]Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu: Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. ICWS 2004: 734-737
- 2001
- [b2]Philip M. Lewis, Arthur J. Bernstein, Michael Kifer: Databases and Transaction Processing: An Application-Oriented Approach. Addison-Wesley 2001, ISBN 0-201-70872-8
- 2000
- [j10]Rance Cleaveland, Philip M. Lewis, Scott A. Smolka: Practical techniques for the design, specification, verification, and implementation of concurrent systems. ACM SIGSOFT Software Engineering Notes 25(1): 43-44 (2000)
- [c17]Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu: Semantic Conditions for Correctness at Different Isolation Levels. ICDE 2000: 57-66
1990 – 1999
- 1998
- [c16]Arthur J. Bernstein, David Scott Gerstl, Wai-Hong Leung, Philip M. Lewis: Design and Performance of an Assertional Concurrency Control System. ICDE 1998: 436-445
- 1996
- [j9]Arthur J. Bernstein, Philip M. Lewis: Transaction Decomposition Using Transaction Semantics. Distributed and Parallel Databases 4(1): 25-47 (1996)
- [c15]Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory: A Development Environment for Concurrent Systems. CAV 1996: 398-401
- [c14]Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka: A Theory of Testing for Soft Real-Time Processes. SEKE 1996: 474-479
- [c13]Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory Software Development Environment. TACAS 1996: 391-395
- 1995
- [c12]Rui Hu, Philip M. Lewis: An Integrated Approach to Communication Axioms Among Concurrent Processes. PDPTA 1995: 491-500
- 1993
- [b1]Arthur J. Bernstein, Philip M. Lewis: Concurrency in programming and database systems. Jones and Bartlett Publishers 1993, ISBN 978-0-86720-205-2, pp. I-XVII, 1-548
1980 – 1989
- 1984
- [j8]Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: Consistency and Serializability in Concurrent Database Systems. SIAM J. Comput. 13(3): 508-530 (1984)
1970 – 1979
- 1978
- [j7]Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: System Level Concurrency Control for Distributed Database Systems. ACM Trans. Database Syst. 3(2): 178-198 (1978)
- 1977
- [j6]Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: An Analysis of Several Heuristics for the Traveling Salesman Problem. SIAM J. Comput. 6(3): 563-581 (1977)
- [c11]Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: A System Level Concurrency Control for Distributed Database Systems. Berkeley Workshop 1977: 132-145
- 1976
- [c10]Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz: Concurrency Control for Database Systems. FOCS 1976: 19-32
- 1974
- [j5]Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns: Attributed Translations. J. Comput. Syst. Sci. 9(3): 279-307 (1974)
- [c9]Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: Approximate Algorithms for the Traveling Salesperson Problem. SWAT (FOCS) 1974: 33-42
- 1973
- [c8]Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns: Attributed Translations. STOC 1973: 160-171
- 1970
- [c7]Daniel J. Rosenkrantz, Philip M. Lewis II: Deterministic Left Corner Parsing (Extended Abstract). SWAT (FOCS) 1970: 139-152
1960 – 1969
- 1969
- [j4]Richard Edwin Stearns, Philip M. Lewis II: Property Grammars and Table Machines. Information and Control 14(6): 524-549 (1969)
- 1968
- [j3]Philip M. Lewis II, Richard Edwin Stearns: Syntax-Directed Transduction. J. ACM 15(3): 465-488 (1968)
- [c6]Richard Edwin Stearns, Philip M. Lewis II: Property Grammars and Table Machines. SWAT (FOCS) 1968: 106-119
- 1966
- [c5]
- 1965
- [c4]Richard Edwin Stearns, Juris Hartmanis, Philip M. Lewis II: Hierarchies of memory limited computations. SWCT (FOCS) 1965: 179-190
- [c3]Philip M. Lewis II, Richard Edwin Stearns, Juris Hartmanis: Memory bounds for recognition of context-free and context-sensitive languages. SWCT (FOCS) 1965: 191-202
- 1963
- [c2]C. L. Coates, Philip M. Lewis II: Threshold gate realizations of logical functions with don't cares. SWCT (FOCS) 1963: 41-52
- 1962
- [c1]Philip M. Lewis II, C. L. Coates: A realization procedure for threshold gate networks. SWCT (FOCS) 1962: 159-168
- 1961
- [j2]Philip M. Lewis II: A Note on Realization of Decision Networks Using Summation Elements. Information and Control 4(2-3): 282-290 (1961)
1950 – 1959
- 1959
- [j1]Philip M. Lewis II: Approximating Probability Distributions to Reduce Storage Requirements. Information and Control 2(3): 214-225 (1959)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:08 CET by the dblp team