default search action
Philip M. Lewis
Person information
- affiliation: Stony Brook University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [c26]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:
Restoration of vision using wireless cortical implants: The Monash Vision Group project. EMBC 2015: 1041-1044 - 2013
- [c25]Philip M. Lewis, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Attributed Translations. Fundamental Problems in Computing 2013: 13-43 - [c24]Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis:
An analysis of several heuristics for the traveling salesman problem. Fundamental Problems in Computing 2013: 45-69 - [c23]Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis:
System Level Concurrency Control for Distributed Database Systems. Fundamental Problems in Computing 2013: 71-98 - [c22]Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis:
Consistency and serializability in concurrent database systems. Fundamental Problems in Computing 2013: 99-132 - [c21]Philip M. Lewis:
SNAPSHOT Isolation: Why Do Some People Call it SERIALIZABLE? Fundamental Problems in Computing 2013: 353-373
2000 – 2009
- 2006
- [j22]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) - [j21]Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis:
Automatic workflow verification and generation. Theor. Comput. Sci. 353(1-3): 71-92 (2006) - 2004
- [j20]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) - [c20]Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu:
A model for abstract process specification, verification and composition. ICSOC 2004: 232-241 - [c19]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
- [j19]Rance Cleaveland, Philip M. Lewis, Scott A. Smolka:
Practical techniques for the design, specification, verification, and implementation of concurrent systems. ACM SIGSOFT Softw. Eng. Notes 25(1): 43-44 (2000) - [c18]Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu:
Semantic Conditions for Correctness at Different Isolation Levels. ICDE 2000: 57-66
1990 – 1999
- 1999
- [j18]Arthur J. Bernstein, David Scott Gerstl, Philip M. Lewis:
Concurrency control for step-decomposed transactions. Inf. Syst. 24(8): 673-698 (1999) - 1998
- [c17]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
- [j17]Arthur J. Bernstein, Philip M. Lewis:
Transaction Decomposition Using Transaction Semantics. Distributed Parallel Databases 4(1): 25-47 (1996) - [c16]Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky:
The Concurrency Factory: A Development Environment for Concurrent Systems. CAV 1996: 398-401 - [c15]Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka:
A Theory of Testing for Soft Real-Time Processes. SEKE 1996: 474-479 - [c14]Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky:
The Concurrency Factory Software Development Environment. TACAS 1996: 391-395 - 1995
- [c13]Rui Hu, Philip M. Lewis:
An Integrated Approach to Communication Axioms Among Concurrent Processes. PDPTA 1995: 491-500 - 1994
- [c12]Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang:
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. Specification of Parallel Algorithms 1994: 75-89 - 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
- [j16]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
- [j15]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
- [j14]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
- [j13]Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Attributed Translations. J. Comput. Syst. Sci. 9(3): 279-307 (1974) - [j12]Philip M. Lewis:
B74-17 The Theory of Parsing, Translation, and Compiling - Volume II: Compiling. IEEE Trans. Computers 23(2): 219-220 (1974) - [c9]Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II:
Approximate Algorithms for the Traveling Salesperson Problem. SWAT 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 1970: 139-152
1960 – 1969
- 1969
- [j11]Richard Edwin Stearns, Philip M. Lewis II:
Property Grammars and Table Machines. Inf. Control. 14(6): 524-549 (1969) - 1968
- [j10]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 1968: 106-119 - 1966
- [j9]Philip M. Lewis II:
A Lower Bound on the Number of Corrections Required for Convergence of the Single Threshold Gate Adaptive Procedure. IEEE Trans. Electron. Comput. 15(6): 933-935 (1966) - [c5]Philip M. Lewis II, Richard Edwin Stearns:
Syntax Directed Transduction. SWAT 1966: 21-35 - 1965
- [c4]Richard Edwin Stearns, Juris Hartmanis, Philip M. Lewis II:
Hierarchies of memory limited computations. SWCT 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 1965: 191-202 - 1964
- [j8]Clarence L. Coates, Philip M. Lewis II:
DONUT: A Threshold Gate Computer. IEEE Trans. Electron. Comput. 13(3): 240-247 (1964) - 1963
- [j7]Philip M. Lewis II, Clarence L. Coates:
Is Switching Theory Mathematics or Engineering? IEEE Trans. Electron. Comput. 12(3): 320-321 (1963) - [j6]Philip M. Lewis II, Clarence L. Coates:
Realization of Logical Functions by a Network of Threshold Components with Specified Sensitivity. IEEE Trans. Electron. Comput. 12(5): 443-454 (1963) - [j5]Clarence L. Coates, Philip M. Lewis II:
A Realization Procedure for Threshold Gate Networks. IEEE Trans. Electron. Comput. 12(5): 454-461 (1963) - [c2]C. L. Coates, Philip M. Lewis II:
Threshold gate realizations of logical functions with don't cares. SWCT 1963: 41-52 - 1962
- [j4]Clarence L. Coates, Roger B. Kirchner, Philip M. Lewis II:
A Simplified Procedure for the Realization of Linearly-Separable Switching Functions. IRE Trans. Electron. Comput. 11(4): 447-458 (1962) - [j3]Philip M. Lewis II:
The characteristic selection problem in recognition systems. IRE Trans. Inf. Theory 8(2): 171-178 (1962) - [c1]Philip M. Lewis II, C. L. Coates:
A realization procedure for threshold gate networks. SWCT 1962: 159-168 - 1961
- [j2]Philip M. Lewis II:
A Note on Realization of Decision Networks Using Summation Elements. Inf. Control. 4(2-3): 282-290 (1961)
1950 – 1959
- 1959
- [j1]Philip M. Lewis II:
Approximating Probability Distributions to Reduce Storage Requirements. Inf. Control. 2(3): 214-225 (1959)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint