The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arthur J. Bernstein: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gene T. J. Wuu, Arthur J. Bernstein
    Efficient Solutions to the Replicated Log and Dictionart Problems. [Citation Graph (12, 0)][DBLP]
    PODC, 1984, pp:233-242 [Conf]
  2. Divyakant Agrawal, Arthur J. Bernstein, Pankaj Gupta, Soumitra Sengupta
    Distributed Optimistic Concurrency Control with Reduced Rollback. [Citation Graph (10, 0)][DBLP]
    Distributed Computing, 1987, v:2, n:1, pp:45-59 [Journal]
  3. Arthur J. Bernstein, Nathan Goodman
    Concurrency Control Algorithms for Multiversion Database Systems. [Citation Graph (9, 0)][DBLP]
    PODC, 1982, pp:209-215 [Conf]
  4. Narayanan Krishnakumar, Arthur J. Bernstein
    Bounded Ignorance in Replicated Systems. [Citation Graph (9, 19)][DBLP]
    PODS, 1991, pp:63-74 [Conf]
  5. Narayanan Krishnakumar, Arthur J. Bernstein
    High Throughput Escrow Algorithms for Replicated Databases. [Citation Graph (5, 8)][DBLP]
    VLDB, 1992, pp:175-186 [Conf]
  6. Narayanan Krishnakumar, Arthur J. Bernstein
    Bounded Ignorance: A Technique for Increasing Concurrency in a Replicated System. [Citation Graph (3, 40)][DBLP]
    ACM Trans. Database Syst., 1994, v:19, n:4, pp:586-625 [Journal]
  7. Gene T. J. Wuu, Arthur J. Bernstein
    False Deadlock Detection in Distributed Systems. [Citation Graph (3, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:8, pp:820-821 [Journal]
  8. 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]
  9. 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]
  10. Arthur J. Bernstein
    A Loosely Coupled Distributed System for Reliably Storing Data. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:5, pp:446-454 [Journal]
  11. Divyakant Agrawal, Arthur J. Bernstein, Pankaj Gupta, Soumitra Sengupta
    Distributed Multi-Version Optimistic Concurrency Control for Relational Databases. [Citation Graph (0, 0)][DBLP]
    COMPCON, 1986, pp:416-421 [Conf]
  12. Arthur J. Bernstein
    Reducing variable dependency in combinational circuits [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:156-164 [Conf]
  13. G. L. Hicks, Arthur J. Bernstein
    On the minimum stage realization of switching functions using logic gates with limited fan-in [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:149-155 [Conf]
  14. Mustaque Ahamad, Arthur J. Bernstein
    Multicast Communication in UNIX 4.2BSD. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1985, pp:80-87 [Conf]
  15. Ariel J. Frank, Larry D. Wittie, Arthur J. Bernstein
    Group Communication on Netcomputers. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1984, pp:326-335 [Conf]
  16. Gurdip Singh, Arthur J. Bernstein
    On the Relative Execution Times of Distributed Protocols. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1990, pp:80-87 [Conf]
  17. 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]
  18. Ariel J. Frank, Larry D. Wittie, Arthur J. Bernstein
    Maintaining Weakly-Consistent Replicated Data on Dynamic Groups of Computers. [Citation Graph (0, 0)][DBLP]
    ICPP, 1985, pp:155-162 [Conf]
  19. Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein
    Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract). [Citation Graph (0, 0)][DBLP]
    ICSE, 1976, pp:236- [Conf]
  20. 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]
  21. 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]
  22. Arthur J. Bernstein, Fred B. Schneider
    On Language Restrictions to Ensure Deterministic Behavior in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Jerusalem Conference on Information Technology, 1978, pp:537-541 [Conf]
  23. Gurdip Singh, Arthur J. Bernstein
    A Framework for Parallel Composition of Protocols. [Citation Graph (0, 0)][DBLP]
    PARLE, 1992, pp:927-942 [Conf]
  24. David Gelernter, Arthur J. Bernstein
    Distributed Communication via Global Buffer. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:10-18 [Conf]
  25. Arthur J. Bernstein, Paul K. Harter Jr.
    Proving Real-Time Properties of Programs with Temporal Logic. [Citation Graph (0, 0)][DBLP]
    SOSP, 1981, pp:1-11 [Conf]
  26. Arthur J. Bernstein
    Comment on the working set model for program behavior. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1970, v:13, n:11, pp:698-699 [Journal]
  27. Arthur J. Bernstein
    A Programmer Training Project. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1971, v:14, n:7, pp:449-452 [Journal]
  28. Arthur J. Bernstein, J. C. Sharp
    A Policy-Driven Scheduler for a Time-Sharing System. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1971, v:14, n:2, pp:74-78 [Journal]
  29. Arie Shoshani, Arthur J. Bernstein
    Synchronization in a parallel-accessed data base. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1969, v:12, n:11, pp:604-607 [Journal]
  30. Gurdip Singh, Arthur J. Bernstein
    A Highly Asynchronous Minimum Spanning Tree Protocol. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1995, v:8, n:3, pp:151-161 [Journal]
  31. 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]
  32. Arthur J. Bernstein
    Predicate Transfer and Timeout in Message Passing Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:24, n:1, pp:43-52 [Journal]
  33. Arthur J. Bernstein
    Synthesizing a Response Function with a Feedback Scheduling Algorithm. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1976, v:5, n:2, pp:309-317 [Journal]
  34. Y. S. Chua, Arthur J. Bernstein
    Analysis of a Feedback Scheduler. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1974, v:3, n:3, pp:159-176 [Journal]
  35. Kattamuri Ekanadham, Arthur J. Bernstein
    Some New Transitions In Hierarchical Level Structures. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1978, v:12, n:4, pp:34-38 [Journal]
  36. Fred B. Schneider, Arthur J. Bernstein
    Scheduling in Concurrent Pascal. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1978, v:12, n:2, pp:15-20 [Journal]
  37. Gene T. J. Wuu, Arthur J. Bernstein
    Efficient Solutions to the Replicated Log and Dictionary Problems. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1986, v:20, n:1, pp:57-66 [Journal]
  38. Arthur J. Bernstein, J. Robert Ensor
    A Modula Based Language Supporting Hierarchical Development and Verification. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1981, v:11, n:3, pp:237-255 [Journal]
  39. Arthur J. Bernstein, Paul Siegel
    A Computer Architecture for Level Structured Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1975, v:24, n:8, pp:785-793 [Journal]
  40. 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]
  41. 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]
  42. Arthur J. Bernstein
    Output Guards and Nondeterminism in ``Communicating Sequential Processes''. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1980, v:2, n:2, pp:234-238 [Journal]
  43. Divyakant Agrawal, Arthur J. Bernstein
    A Nonblocking Quorum Consensus Protocol for Replicated Data. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1991, v:2, n:2, pp:171-179 [Journal]
  44. Mustaque Ahamad, Arthur J. Bernstein
    An Application of Name Based Addressing to Low Level Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:1, pp:59-67 [Journal]
  45. Eralp A. Akkoyunlu, Arthur J. Bernstein, Fred B. Schneider, Abraham Silberschatz
    Conditions for the Equivalence of Synchronous and Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:6, pp:507-516 [Journal]
  46. Kattamuri Ekanadham, Arthur J. Bernstein
    Conditional Capabilities. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:5, pp:458-464 [Journal]
  47. Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein
    Extending Concurrent Pascal to Allow Dynamic Resource Management. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1977, v:3, n:3, pp:210-217 [Journal]

Search in 0.007secs, Finished in 0.009secs
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