Philip M. Lewis

Philip M. Lewis II

	2006
32		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)
31		Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis: Automatic workflow verification and generation. Theor. Comput. Sci. 353(1-3): 71-92 (2006)
	2004
30		Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu: A model for abstract process specification, verification and composition. ICSOC 2004: 232-241
29		Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu: Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. ICWS 2004: 734-737
28		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
27		Philip M. Lewis, Arthur J. Bernstein, Michael Kifer: Databases and Transaction Processing: An Application-Oriented Approach Addison-Wesley 2001
	2000
26		Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu: Semantic Conditions for Correctness at Different Isolation Levels. ICDE 2000: 57-66
	1998
25		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
24		Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory: A Development Environment for Concurrent Systems. CAV 1996: 398-401
23		Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka: A Theory of Testing for Soft Real-Time Processes. SEKE 1996: 474-479
22		Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory Software Development Environment. TACAS 1996: 391-395
21		Arthur J. Bernstein, Philip M. Lewis: Transaction Decomposition Using Transaction Semantics. Distributed and Parallel Databases 4(1): 25-47 (1996)
	1995
20		Rui Hu, Philip M. Lewis: An Integrated Approach to Communication Axioms Among Concurrent Processes. PDPTA 1995: 491-500
	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		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		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	[21] [25] [26] [27] [28] [29] [30] [31] [32]
2	Rance Cleaveland	[22] [23] [24]
3	C. L. Coates	[3] [4]
4	Ziyang Duan	[29] [30]
5	David Scott Gerstl	[25]
6	Juris Hartmanis	[5] [6]
7	Rui Hu	[20]
8	Michael Kifer	[27]
9	Insup Lee	[23]
10	Wai-Hong Leung	[25]
11	Shiyong Lu	[26] [28] [29] [30] [31] [32]
12	Daniel J. Rosenkrantz	[11] [12] [13] [14] [15] [16] [17] [18] [19]
13	Scott A. Smolka	[22] [23] [24]
14	Oleg Sokolsky	[22] [24]
15	Richard Edwin Stearns	[5] [6] [7] [8] [9] [10] [12] [13] [14] [15] [16] [17] [18] [19]

Colors in the list of coauthors