Search the dblp DataBase
Arthur J. Bernstein :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] Arthur J. Bernstein , Nathan Goodman Concurrency Control Algorithms for Multiversion Database Systems. [Citation Graph (9, 0)][DBLP ] PODC, 1982, pp:209-215 [Conf ] Narayanan Krishnakumar , Arthur J. Bernstein Bounded Ignorance in Replicated Systems. [Citation Graph (9, 19)][DBLP ] PODS, 1991, pp:63-74 [Conf ] Narayanan Krishnakumar , Arthur J. Bernstein High Throughput Escrow Algorithms for Replicated Databases. [Citation Graph (5, 8)][DBLP ] VLDB, 1992, pp:175-186 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Arthur J. Bernstein Reducing variable dependency in combinational circuits [Citation Graph (0, 0)][DBLP ] FOCS, 1964, pp:156-164 [Conf ] 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 ] Mustaque Ahamad , Arthur J. Bernstein Multicast Communication in UNIX 4.2BSD. [Citation Graph (0, 0)][DBLP ] ICDCS, 1985, pp:80-87 [Conf ] Ariel J. Frank , Larry D. Wittie , Arthur J. Bernstein Group Communication on Netcomputers. [Citation Graph (0, 0)][DBLP ] ICDCS, 1984, pp:326-335 [Conf ] Gurdip Singh , Arthur J. Bernstein On the Relative Execution Times of Distributed Protocols. [Citation Graph (0, 0)][DBLP ] ICDCS, 1990, pp:80-87 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Gurdip Singh , Arthur J. Bernstein A Framework for Parallel Composition of Protocols. [Citation Graph (0, 0)][DBLP ] PARLE, 1992, pp:927-942 [Conf ] David Gelernter , Arthur J. Bernstein Distributed Communication via Global Buffer. [Citation Graph (0, 0)][DBLP ] PODC, 1982, pp:10-18 [Conf ] 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 ] 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 ] Arthur J. Bernstein A Programmer Training Project. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1971, v:14, n:7, pp:449-452 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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.045secs, Finished in 0.047secs