Arthur J. Bernstein

60 papers A* 10A 5B 1Journal 37Unranked 5
YearRankTypeTitle / Venue / Authors
2006 J jnl
Automatic workflow verification and generation.
Theor. Comput. Sci.
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
2006 J jnl
Completeness and realizability: conditions for automatic generation of workflows.
Int. J. Found. Comput. Sci.
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
2004 A conf
A model for abstract process specification, verification and composition.
ICSOC
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
2004 J jnl
Correct Execution of Transactions at Different Isolation Levels.
IEEE Trans. Knowl. Data Eng.
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
2004 A conf
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes.
ICWS
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
2001 — book
Databases and Transaction Processing: An Application-Oriented Approach
Philip M. Lewis, Arthur J. Bernstein, Michael Kifer
2000 A* conf
Semantic Conditions for Correctness at Different Isolation Levels.
ICDE
Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
1999 J jnl
Concurrency control for step-decomposed transactions.
Inf. Syst.
Arthur J. Bernstein, David Scott Gerstl, Philip M. Lewis
1998 A* conf
Design and Performance of an Assertional Concurrency Control System.
ICDE
Arthur J. Bernstein, David Scott Gerstl, Wai-Hong Leung, Philip M. Lewis
1996 J jnl
Transaction Decomposition Using Transaction Semantics.
Distributed Parallel Databases
Arthur J. Bernstein, Philip M. Lewis
1995 J jnl
A Highly Asynchronous Minimum Spanning Tree Protocol.
Distributed Comput.
Gurdip Singh, Arthur J. Bernstein
1994 J jnl
Bounded Ignorance: A Technique for Increasing Concurrency in a Replicated System.
ACM Trans. Database Syst.
Narayanan Krishnakumar, Arthur J. Bernstein
1993 — book
Concurrency in programming and database systems.
Arthur J. Bernstein, Philip M. Lewis
1992 — conf
A Framework for Parallel Composition of Protocols.
PARLE
Gurdip Singh, Arthur J. Bernstein
1992 A* conf
High Throughput Escrow Algorithms for Replicated Databases.
VLDB
Narayanan Krishnakumar, Arthur J. Bernstein
1991 J jnl
A Nonblocking Quorum Consensus Protocol for Replicated Data.
IEEE Trans. Parallel Distributed Syst.
Divyakant Agrawal, Arthur J. Bernstein
1991 A* conf
Bounded Ignorance in Replicated Systems.
PODS
Narayanan Krishnakumar, Arthur J. Bernstein
1991 J jnl
On the relative execution times of distributed protocols.
Int. J. Parallel Program.
Gurdip Singh, Arthur J. Bernstein
1990 J jnl
Concurrency control optimizations in a prolog database.
Int. J. Parallel Program.
Soumitra Sengupta, Arthur J. Bernstein
1990 A conf
On the Relative Execution Times of Distributed Protocols.
ICDCS
Gurdip Singh, Arthur J. Bernstein
1987 J jnl
Distributed Optimistic Concurrency Control with Reduced Rollback.
Distributed Comput.
Divyakant Agrawal, Arthur J. Bernstein, Pankaj Gupta, Soumitra Sengupta
1987 J jnl
Predicate Transfer and Timeout in Message Passing Systems.
Inf. Process. Lett.
Arthur J. Bernstein
1986 — conf
Distributed Multi-Version Optimistic Concurrency Control for Relational Databases.
COMPCON
Divyakant Agrawal, Arthur J. Bernstein, Pankaj Gupta, Soumitra Sengupta
1986 J jnl
Efficient Solutions to the Replicated Log and Dictionary Problems.
ACM SIGOPS Oper. Syst. Rev.
Gene T. J. Wuu, Arthur J. Bernstein
1985 J jnl
A Loosely Coupled Distributed System for Reliably Storing Data.
IEEE Trans. Software Eng.
Arthur J. Bernstein
1985 J jnl
An Application of Name Based Addressing to Low Level Distributed Algorithms.
IEEE Trans. Software Eng.
Mustaque Ahamad, Arthur J. Bernstein
1985 J jnl
False Deadlock Detection in Distributed Systems.
IEEE Trans. Software Eng.
Gene T. J. Wuu, Arthur J. Bernstein
1985 B conf
Maintaining Weakly-Consistent Replicated Data on Dynamic Groups of Computers.
ICPP
Ariel J. Frank, Larry D. Wittie, Arthur J. Bernstein
1985 A conf
Multicast Communication in UNIX 4.2BSD.
ICDCS
Mustaque Ahamad, Arthur J. Bernstein
1985 J jnl
Multicast Communication on Network Computers.
IEEE Softw.
Ariel J. Frank, Larry D. Wittie, Arthur J. Bernstein
1984 A* conf
Efficient Solutions to the Replicated Log and Dictionart Problems.
PODC
Gene T. J. Wuu, Arthur J. Bernstein
1984 A conf
Group Communication on Netcomputers.
ICDCS
Ariel J. Frank, Larry D. Wittie, Arthur J. Bernstein
1983 A* conf
Staged circuit switching for network computers.
SIGCOMM
Mauricio Arango, David Gelernter, Hussein G. Badr, Arthur J. Bernstein
1982 A* conf
Distributed Communication via Global Buffer.
PODC
David Gelernter, Arthur J. Bernstein
1981 J jnl
A Modula Based Language Supporting Hierarchical Development and Verification.
Softw. Pract. Exp.
Arthur J. Bernstein, J. Robert Ensor
1981 A* conf
Proving Real-Time Properties of Programs with Temporal Logic.
SOSP
Arthur J. Bernstein, Paul K. Harter Jr.
1980 J jnl
Output Guards and Nondeterminism in "Communicating Sequential Processes".
ACM Trans. Program. Lang. Syst.
Arthur J. Bernstein
1979 J jnl
Conditional Capabilities.
IEEE Trans. Software Eng.
Kattamuri Ekanadham, Arthur J. Bernstein
1978 J jnl
Conditions for the Equivalence of Synchronous and Asynchronous Systems.
IEEE Trans. Software Eng.
Eralp A. Akkoyunlu, Arthur J. Bernstein, Fred B. Schneider, Abraham Silberschatz
1978 — conf
On Language Restrictions to Ensure Deterministic Behavior in Concurrent Systems.
Jerusalem Conference on Information Technology
Arthur J. Bernstein, Fred B. Schneider
1978 J jnl
Scheduling in Concurrent Pascal.
ACM SIGOPS Oper. Syst. Rev.
Fred B. Schneider, Arthur J. Bernstein
1978 J jnl
Some New Transitions In Hierarchical Level Structures.
ACM SIGOPS Oper. Syst. Rev.
Kattamuri Ekanadham, Arthur J. Bernstein
1977 J jnl
Extending Concurrent Pascal to Allow Dynamic Resource Management.
IEEE Trans. Software Eng.
Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein
1976 A* conf
Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract).
ICSE
Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein
1976 J jnl
Synthesizing a Response Function with a Feedback Scheduling Algorithm.
SIAM J. Comput.
Arthur J. Bernstein
1975 J jnl
A Computer Architecture for Level Structured Systems.
IEEE Trans. Computers
Arthur J. Bernstein, Paul Siegel
1974 J jnl
Analysis of a Feedback Scheduler.
SIAM J. Comput.
Yap Siong Chua, Arthur J. Bernstein
1974 J jnl
Interprocess communication facilities for network operating systems.
Computer
Eralp A. Akkoyunlu, Arthur J. Bernstein, Richard E. Schantz
1971 J jnl
A Policy-Driven Scheduler for a Time-Sharing System.
Commun. ACM
Arthur J. Bernstein, J. C. Sharp
1971 J jnl
A Programmer Training Project.
Commun. ACM
Arthur J. Bernstein
1970 J jnl
Comment on the working set model for program behavior.
Commun. ACM
Arthur J. Bernstein
1969 A* conf
Process control and communication.
SOSP
Arthur J. Bernstein, G. D. Detlefsen, R. H. Kerr
1969 J jnl
Synchronization in a parallel-accessed data base.
Commun. ACM
Arie Shoshani, Arthur J. Bernstein
1967 J jnl
A class of binary recurrent codes with limited error propagation.
IEEE Trans. Inf. Theory
John P. Robinson, Arthur J. Bernstein
1966 J jnl
Analysis of Programs for Parallel Processing.
IEEE Trans. Electron. Comput.
Arthur J. Bernstein
1966 J jnl
Encoding of analog signals for binary symmetric channels.
IEEE Trans. Inf. Theory
Arthur J. Bernstein, Kenneth Steiglitz, John E. Hopcroft
1964 — conf
On the minimum stage realization of switching functions using logic gates with limited fan-in
SWCT
G. L. Hicks, Arthur J. Bernstein
1964 — conf
Reducing variable dependency in combinational circuits
SWCT
Arthur J. Bernstein
1963 J jnl
Single- and double-adjacent error-correcting codes for arithmetic units (Corresp.).
IEEE Trans. Inf. Theory
Arthur J. Bernstein, Wan H. Kim
1962 J jnl
Linear codes for single error correction in symmetric and asymmetric computational processes.
IRE Trans. Inf. Theory
Arthur J. Bernstein, Wan H. Kim