The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Philip M. Lewis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
    Semantic Conditions for Correctness at Different Isolation Levels. [Citation Graph (1, 0)][DBLP]
    ICDE, 2000, pp:57-66 [Conf]
  2. Arthur J. Bernstein, Philip M. Lewis
    Transaction Decomposition Using Transaction Semantics. [Citation Graph (1, 0)][DBLP]
    Distributed and Parallel Databases, 1996, v:4, n:1, pp:25-47 [Journal]
  3. Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
    The Concurrency Factory: A Development Environment for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:398-401 [Conf]
  4. Arthur J. Bernstein, David Scott Gerstl, Wai-Hong Leung, Philip M. Lewis
    Design and Performance of an Assertional Concurrency Control System. [Citation Graph (0, 19)][DBLP]
    ICDE, 1998, pp:436-445 [Conf]
  5. Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
    A model for abstract process specification, verification and composition. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2004, pp:232-241 [Conf]
  6. Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
    Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:734-737 [Conf]
  7. Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka
    A Theory of Testing for Soft Real-Time Processes. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:474-479 [Conf]
  8. Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
    The Concurrency Factory Software Development Environment. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:391-395 [Conf]
  9. Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
    Completeness and realizability: conditions for automatic generation of workflows. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:1, pp:223-245 [Journal]
  10. Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
    Automatic workflow verification and generation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:353, n:1-3, pp:71-92 [Journal]
  11. Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
    Correct Execution of Transactions at Different Isolation Levels. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2004, v:16, n:9, pp:1070-1081 [Journal]

  12. An Integrated Approach to Communication Axioms Among Concurrent Processes. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002