A Verifier for Compact Parallel Coordination Programs. - Boris D. Lubachevsky (Logic of Programs, 1983)

Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors. - Allan Gottlieb; Boris D. Lubachevsky; Larry Rudolph (ACM Trans. Program. Lang. Syst., 1983)

An Approach to Automating the Verification of Compact Parallel Coordination Programs I. - Boris D. Lubachevsky (Acta Informatica, 1984)

A chaotic asynchronous algorithm for computing the fixed point of a nonnegative matrix of unit spectral radius. - Boris D. Lubachevsky; Debasis Mitra 001 (J. ACM, 1986)

Simple, Efficient Asynchronous Parallel Prefix Algorithms. - Albert G. Greenberg; Boris D. Lubachevsky (ICPP, 1987)

Efficient Parallel Simulations of Asynchronous Cellular Arrays. - Boris D. Lubachevsky (Complex Syst., 1987)

Simple, Efficient Asynchronous Parallel Algorithms for Maximization. - Albert G. Greenberg; Boris D. Lubachevsky; Andrew M. Odlyzko (ACM Trans. Program. Lang. Syst., 1988)

Rollback sometimes works...if filtered. - Boris D. Lubachevsky; Adam Shwartz; Alan Weiss (WSC, 1989)

Efficient Distributed Event-Driven Simulations of Multiple-Loop Networks. - Boris D. Lubachevsky (Commun. ACM, 1989)

Unboundedly Parallel Simulations Via Recurrence Relations. - Albert G. Greenberg; Boris D. Lubachevsky; Isi Mitrani (SIGMETRICS, 1990)

Unboundedly parallel simulations via recurrence relations for network and reliability problems. - Albert G. Greenberg; Boris D. Lubachevsky; Isi Mitrani (WSC, 1990)

Synchronization barrier and related tools for shared memory parallel programming. - Boris D. Lubachevsky (Int. J. Parallel Program., 1990)

Algorithms for Unboundedly Parallel Simulations. - Albert G. Greenberg; Boris D. Lubachevsky; Isi Mitrani (ACM Trans. Comput. Syst., 1991)

An Analysis of Rollback-Based Simulation. - Boris D. Lubachevsky; Alan Weiss; Adam Shwartz (ACM Trans. Model. Comput. Simul., 1991)

MIMD Parallel Simulation of Circuit-Switched Communication Networks. - David M. Nicol; Albert G. Greenberg; Boris D. Lubachevsky (WSC, 1992)

Several unsolved problems in large-scale discrete event simulations. - Boris D. Lubachevsky (PADS, 1993)

Relaxation for Massively Parallel Discrete Event Simulation. - Boris D. Lubachevsky (Performance/SIGMETRICS Tutorials, 1993)

Experience in Massively Parallel Discrete Event Simulation. - Albert G. Greenberg; Boris D. Lubachevsky; Li-C. Wang (SPAA, 1993)

Synchronous Relaxation for Parallel Simulations with Applications to Circuit-Switched Networks. - Stephen G. Eick; Albert G. Greenberg; Boris D. Lubachevsky; Alan Weiss (ACM Trans. Model. Comput. Simul., 1993)

Efficient massively parallel simulation of dynamic channel assignment schemes for wireless cellular communications. - Albert G. Greenberg; Boris D. Lubachevsky; David M. Nicol; Paul E. Wright (PADS, 1994)

Massively Parallel Algorithms for Trace-Driven Cache Simulations. - David M. Nicol; Albert G. Greenberg; Boris D. Lubachevsky (IEEE Trans. Parallel Distributed Syst., 1994)

Dense Packings of 3k(k+1)+1 Equal Disks in a Circle for k=1, 2, 3, 4 and 5. - Boris D. Lubachevsky; Ronald L. Graham (COCOON, 1995)

The ultimate bead counter: efficient massively parallel simulation of ballistic deposition. - Boris D. Lubachevsky; Vladimir Privman; Subhas C. Roy (PADS, 1995)

Dense Packings of Equal Disks in an Equilateral Triangle: from 22 to 34 and Beyond. - Ronald L. Graham; Boris D. Lubachevsky (Electron. J. Comb., 1995)

Massively Parallel Simulations of ATM Systems. - Krishnan Kumaran; Boris D. Lubachevsky; Anwar Elwalid (Workshop on Parallel and Distributed Simulation, 1996)

Repeated Patterns of Dense Packings of Equal Disks in a Square. - Ronald L. Graham; Boris D. Lubachevsky (Electron. J. Comb., 1996)

Superfast Parallel Discrete Event Simulations. - Albert G. Greenberg; Boris D. Lubachevsky; Isi Mitrani (ACM Trans. Model. Comput. Simul., 1996)

Wireless simulation and self-organizing spectrum management. - Simon C. Borst; Sudheer A. Grandhi; Colin L. Kahn; Krishnan Kumaran; Boris D. Lubachevsky; Donna M. Sand (Bell Labs Tech. J., 1997)

Curved Hexagonal Packings of Equal Disks in a Circle. - Boris D. Lubachevsky; Ronald L. Graham (Discret. Comput. Geom., 1997)

Simulation of Self-Organizing Spectrum Management in Wireless Networks. - Sem C. Borst; Sudheer A. Grandhi; Colin L. Kahn; Krishnan Kumaran; Boris D. Lubachevsky; Donna M. Sand (MASCOTS, 1998)

Dense packings of congruent circles in a circle. - Ronald L. Graham; Boris D. Lubachevsky; Kari J. Nurmela; Patric R. J. Östergård (Discret. Math., 1998)

Fast simulation of multicomponent dynamic systems. - Boris D. Lubachevsky (Bell Labs Tech. J., 2000)

Improving Dense Packings of Equal Disks in a Square. - David W. Boll; Jerry Donovan; Ronald L. Graham; Boris D. Lubachevsky (Electron. J. Comb., 2000)

Synchronous relaxation for parallel Ising spin simulations. - Boris D. Lubachevsky; Alan Weiss (Workshop on Parallel and Distributed Simulation, 2001)

How to Simulate Billiards and Similar Systems - Boris D. Lubachevsky (CoRR, 2005)

Theory of sexes by Geodakian as it is advanced by Iskrin - Boris D. Lubachevsky (CoRR, 2006)

Minimum perimeter rectangles that enclose congruent non-overlapping circles. - Boris D. Lubachevsky; Ronald L. Graham (Discret. Math., 2009)

Why The Results of Parallel and Serial Monte Carlo Simulations May Differ - Boris D. Lubachevsky (CoRR, 2011)