Lubachevsky, B D

Molecular Simulation Of Equilibrium Properties. Parallel Implementation

Molecular Simulation Of Equilibrium Properties. Parallel Implementation

Lubachevsky, B: Parallelizing An Algorithm Of Charles S. Pes

Lubachevsky, B: Approach To Automating The Verification Of C

Lubachevsky, B: Approach To Automating The Verification Of C

An Approach To Automating The Verification Of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)

An Approach To Automating The Verification Of Compact Parallel Coordination Programs Ii (Classic Reprint)

Process-Level, Time Driven, Simulation Of A Computer Network On A Parallel Shared-Memory Processor

Parallelizing An Algorithm Of Charles S. Peskin For Describing Incompressible Flow Of A Fluid Coupled To An Elastic Membrane

Lubachevsky, B: Process-Level, Time-Driven, Simulation Of A