| 2004 | ICSOC | A model for abstract process specification, verification and composition. | Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu |
| 2004 | ICWS | Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. | Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu |
| 2000 | ICDE | Semantic Conditions for Correctness at Different Isolation Levels. | Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu |
| 1998 | ICDE | Design and Performance of an Assertional Concurrency Control System. | Arthur J. Bernstein, David Scott Gerstl, Wai-Hong Leung, Philip M. Lewis |
| 1992 | VLDB | High Throughput Escrow Algorithms for Replicated Databases. | Narayanan Krishnakumar, Arthur J. Bernstein |
| 1991 | PODS | Bounded Ignorance in Replicated Systems. | Narayanan Krishnakumar, Arthur J. Bernstein |
| 1990 | ICDCS | On the Relative Execution Times of Distributed Protocols. | Gurdip Singh, Arthur J. Bernstein |
| 1985 | ICDCS | Multicast Communication in UNIX 4.2BSD. | Mustaque Ahamad, Arthur J. Bernstein |
| 1985 | ICPP | Maintaining Weakly-Consistent Replicated Data on Dynamic Groups of Computers. | Ariel J. Frank, Larry D. Wittie, Arthur J. Bernstein |
| 1984 | ICDCS | Group Communication on Netcomputers. | Ariel J. Frank, Larry D. Wittie, Arthur J. Bernstein |
| 1984 | PODC | Efficient Solutions to the Replicated Log and Dictionart Problems. | Gene T. J. Wuu, Arthur J. Bernstein |
| 1983 | SIGCOMM | Staged circuit switching for network computers. | Mauricio Arango, David Gelernter, Hussein G. Badr, Arthur J. Bernstein |
| 1982 | PODC | Distributed Communication via Global Buffer. | David Gelernter, Arthur J. Bernstein |
| 1981 | SOSP | Proving Real-Time Properties of Programs with Temporal Logic. | Arthur J. Bernstein, Paul K. Harter Jr. |
| 1976 | ICSE | Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract). | Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein |
| 1969 | SOSP | Process control and communication. | Arthur J. Bernstein, G. D. Detlefsen, R. H. Kerr |
| 1964 | FOCS | Reducing variable dependency in combinational circuits | Arthur J. Bernstein |
| 1964 | FOCS | On the minimum stage realization of switching functions using logic gates with limited fan-in | G. L. Hicks, Arthur J. Bernstein |