Publication E. M. Can message buffers be characterized in linear temporal logic? N. Clarke, Y. Francez, Yuri Gurevich, P. Sistla Symposium on Principles of Distributed Computing, ACM | July 1982, pp. 148-156
Publication Prefix Classes of Krom Formulas with Identity S. O. Aandraa, E. Boerger, Yuri Gurevich July 1982, Vol 22: pp. 43-49
Publication On the Unique Satisfiability Problem Andreas Blass, Yuri Gurevich Information and Control | July 1982, Vol 55: pp. 80-88
Publication Monadic Theory of Order and Topology in ZFC Yuri Gurevich, Saharon Shelah Annals of Mathematical Logic | July 1982, pp. 179-198
Publication A Review of Two Books on the Decision Problem Yuri Gurevich Bulletin of the American Mathematical Society | July 1982, Vol 7: pp. 273-277
Publication Current Dumping Analysis Henrique S. Malvar, Henrique S. Malvar Wireless World | March 1981
Publication Parametric Equalizer Improves Baxandall Tone Control Henrique S. Malvar Electronics | March 1981
Publication An Ada-compatible specification language NCL Beale, Simon Peyton Jones Proc ACM conference | January 1981
Publication Two Notes on Formalized Topology Yuri Gurevich Fundamenta Mathematicae | April 1980, Vol 57: pp. 145-148
Publication Scan Line Methods for Displaying Parametrically Defined Surfaces Jeffrey M. Lane, Loren C. Carpenter, Turner Whitted, Jim Blinn Communications of the ACM | January 1980
