Philip M. Lewis

Philip M. Lewis II

2006
31	EE	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)
30	EE	Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis: Automatic workflow verification and generation. Theor. Comput. Sci. 353(1-3): 71-92 (2006)
2004
29	EE	Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu: A model for abstract process specification, verification and composition. ICSOC 2004: 232-241
28	EE	Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu: Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. ICWS 2004: 734-737
27	EE	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)
2001
26		Philip M. Lewis, Arthur J. Bernstein, Michael Kifer: Databases and Transaction Processing: An Application-Oriented Approach Addison-Wesley 2001
2000
25	EE	Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu: Semantic Conditions for Correctness at Different Isolation Levels. ICDE 2000: 57-66
1998
24	EE	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
23		Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory: A Development Environment for Concurrent Systems. CAV 1996: 398-401
22		Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka: A Theory of Testing for Soft Real-Time Processes. SEKE 1996: 474-479
21		Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory Software Development Environment. TACAS 1996: 391-395
20	EE	Arthur J. Bernstein, Philip M. Lewis: Transaction Decomposition Using Transaction Semantics. Distributed and Parallel Databases 4(1): 25-47 (1996)
1984
19		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)
1978
18	EE	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
17		Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: A System Level Concurrency Control for Distributed Database Systems. Berkeley Workshop 1977: 132-145
16		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)
1976
15		Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz: Concurrency Control for Database Systems FOCS 1976: 19-32
1974
14		Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: Approximate Algorithms for the Traveling Salesperson Problem FOCS 1974: 33-42
13		Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns: Attributed Translations. J. Comput. Syst. Sci. 9(3): 279-307 (1974)
1973
12		Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns: Attributed Translations STOC 1973: 160-171
1970
11		Daniel J. Rosenkrantz, Philip M. Lewis II: Deterministic Left Corner Parsing (Extended Abstract) FOCS 1970: 139-152
1969
10		Richard Edwin Stearns, Philip M. Lewis II: Property Grammars and Table Machines Information and Control 14(6): 524-549 (1969)
1968
9		Richard Edwin Stearns, Philip M. Lewis II: Property Grammars and Table Machines FOCS 1968: 106-119
8	EE	Philip M. Lewis II, Richard Edwin Stearns: Syntax-Directed Transduction. J. ACM 15(3): 465-488 (1968)
1966
7		Philip M. Lewis II, Richard Edwin Stearns: Syntax Directed Transduction FOCS 1966: 21-35
1965
6		Richard Edwin Stearns, Juris Hartmanis, Philip M. Lewis II: Hierarchies of memory limited computations FOCS 1965: 179-190
5		Philip M. Lewis II, Richard Edwin Stearns, Juris Hartmanis: Memory bounds for recognition of context-free and context-sensitive languages FOCS 1965: 191-202
1963
4		C. L. Coates, Philip M. Lewis II: Threshold gate realizations of logical functions with don't cares FOCS 1963: 41-52
1962
3		Philip M. Lewis II, C. L. Coates: A realization procedure for threshold gate networks FOCS 1962: 159-168
1961
2		Philip M. Lewis II: A Note on Realization of Decision Networks Using Summation Elements Information and Control 4(2-3): 282-290 (1961)
1959
1		Philip M. Lewis II: Approximating Probability Distributions to Reduce Storage Requirements Information and Control 2(3): 214-225 (1959)

Coauthor Index

1	Arthur J. Bernstein	[20] [24] [25] [26] [27] [28] [29] [30] [31]
2	Rance Cleaveland	[21] [22] [23]
3	C. L. Coates	[3] [4]
4	Ziyang Duan	[28] [29]
5	David Scott Gerstl	[24]
6	Juris Hartmanis	[5] [6]
7	Michael Kifer	[26]
8	Insup Lee	[22]
9	Wai-Hong Leung	[24]
10	Shiyong Lu	[25] [27] [28] [29] [30] [31]
11	Daniel J. Rosenkrantz	[11] [12] [13] [14] [15] [16] [17] [18] [19]
12	Scott A. Smolka	[21] [22] [23]
13	Oleg Sokolsky	[21] [23]
14	Richard Edwin Stearns	[5] [6] [7] [8] [9] [10] [12] [13] [14] [15] [16] [17] [18] [19]

Colors in the list of coauthors