Lubachevsky, Boris D. Why hard disks pack easier. (English) Zbl 0922.68005 Freivalds, Rūsiņš (ed.), Randomized algorithms. Proceedings of the international workshop, Brno, Czech Republic, August 27–28, 1998. Trier: Electronic Colloquium on Computational Complexity (ECCC), Lecture Notes Series of ECCC. (1998). MSC: 68M07 68M99 PDFBibTeX XML Full Text: Link
Greenberg, Albert G.; Lubachevsky, Boris D.; Mitrani, Isi Superfast parallel discrete event simulations. (English) Zbl 0891.68127 ACM Trans. Model. Comput. Simul. 6, No. 2, 107-136 (1996). MSC: 68U20 PDFBibTeX XMLCite \textit{A. G. Greenberg} et al., ACM Trans. Model. Comput. Simul. 6, No. 2, 107--136 (1996; Zbl 0891.68127) Full Text: DOI Link
Eick, Stephen G.; Greenberg, Albert G.; Lubachevsky, Boris D.; Weiss, Alan Synchronous relaxation for parallel simulations with applications to circuit-switched networks. (English) Zbl 0839.94015 ACM Trans. Model. Comput. Simul. 3, No. 4, 287-314 (1993). MSC: 94C05 68W15 00A72 PDFBibTeX XMLCite \textit{S. G. Eick} et al., ACM Trans. Model. Comput. Simul. 3, No. 4, 287--314 (1993; Zbl 0839.94015) Full Text: DOI Link
Lubachevsky, Boris; Weiss, Alan; Schwartz, Adam An analysis of rollback-based simulation. (English) Zbl 0842.68096 ACM Trans. Model. Comput. Simul. 1, No. 2, 154-193 (1991). MSC: 68U20 68Q10 PDFBibTeX XMLCite \textit{B. Lubachevsky} et al., ACM Trans. Model. Comput. Simul. 1, No. 2, 154--193 (1991; Zbl 0842.68096) Full Text: DOI Link Link
Lubachevsky, Boris D. How to simulate billiards and similar systems. (English) Zbl 0716.68094 J. Comput. Phys. 94, No. 2, 255-283 (1991). MSC: 68U20 68Q25 PDFBibTeX XMLCite \textit{B. D. Lubachevsky}, J. Comput. Phys. 94, No. 2, 255--283 (1991; Zbl 0716.68094) Full Text: DOI arXiv
Lubachevsky, Boris D. Efficient parallel simulations of asynchronous cellular arrays. (English) Zbl 0654.68057 Complex Syst. 1, No. 6, 1099-1123 (1987). Reviewer: N.N.Necula MSC: 68Q80 65C10 68U20 65Y05 PDFBibTeX XMLCite \textit{B. D. Lubachevsky}, Complex Syst. 1, No. 6, 1099--1123 (1987; Zbl 0654.68057)
Lubachevsky, B. D. A verifier for compact parallel coordination programs. (English) Zbl 0558.68014 Logics of programs, Workshop, Pittsburgh/PA 1983, Lect. Notes Comput. Sci. 164, 326-340 (1984). MSC: 68Q60 68N25 PDFBibTeX XML
Lubachevsky, Boris D. An approach to automating the verification of compact parallel coordination programs. I. (English) Zbl 0522.68017 Acta Inf. 21, 125-169 (1984). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{B. D. Lubachevsky}, Acta Inf. 21, 125--169 (1984; Zbl 0522.68017) Full Text: DOI
Gottlieb, Allan; Lubachevsky, B. D.; Rudolph, Larry Basic techniques for the efficient coordination of very large numbers of cooperating sequential processors. (English) Zbl 0511.68012 ACM Trans. Program. Lang. Syst. 5, 164-189 (1983). MSC: 68N25 PDFBibTeX XMLCite \textit{A. Gottlieb} et al., ACM Trans. Program. Lang. Syst. 5, 164--189 (1983; Zbl 0511.68012) Full Text: DOI