Publication Generative Modeling: A Symbolic System for Geometric Modeling John Snyder, James T. Kajiya ACM SIGGRAPH | August 1992
Publication Mechanical Verification of Concurrent Systems with TLA Urban Engberg, Peter Gronning, Leslie Lamport Computer-Aided Verification, G. v. Bochmann and D. K. Probst editors. (Proceedings of the Fourth International Conference, CAV’92.) Lecture Notes in Computer Science, number 663, Springer-Verlag, (June, 1992) 44-55. | June 1992
Publication Fast Radiosity Using a Data Parallel Architecture Steven Drucker, Peter Schroder May 1992
Publication Crossover-Finite-Size Scaling at First Order Transitions Christian Borgs, John Z. Imbrie J. Stat. Phys. | April 1992
Publication Efficient Joint Compensation of Speech for the Effects of Additive Noise and Linear System Alex Acero Proc. of the Sixth ARPA Workshop on Human Language Technology | March 1992
Publication Finite-Size Scaling for Potts Models in Long Cylinders Christian Borgs Nucl. Phys. | February 1992
Publication Preserving Liveness: Comments on “Safety and Liveness from a Methodological Point of View” Martin Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider Information Processing Letters | November 1991, Vol 40(3): pp. 141-142
