Publication Efficient Multiscale Template Matching with Orthogonal Wavelet Decompositions Sumit Basu MSR-TR-1997-6 | May 1997 Massachusetts Institute of Technology Technical Report. May, 1007.
Publication Visibility Sorting and Compositing for Image-Based Rendering John Snyder, Jed Lengyel MSR-TR-97-11 | April 1997 Also
Publication Formalizing Database Recovery Yuri Gurevich, Nandit Soparkar, Charles Wallace Springer J. of Universal Computer Science | April 1997
Publication The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs Andreas Blass, Yuri Gurevich Springer J. of Universal Computer Science | April 1997, pp. 247-278
Publication Fast software exponentiation in GF(2k) C.K. Koc, Tolga Acar 1997 Symposium on Computer Arithmetic | March 1997
Publication Some undecidable problems related to the Herbrand theorem Yuri Gurevich, Margus Veanes UPMAIL-TR-138 | March 1997
Publication On Optimal Call Admission Control in Cellular Networks Ramachandran Ramjee, Don Towsley, Ramesh Nagarajan ACM/Baltzer Wireless Networks Journal | March 1997, Vol 3: pp. 29-41 selected as one of the top papers of IEEE Infocom'96
Publication The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions Yuri Gurevich, James K. Huggins Computer Science Logics, Selected papers from CSL’95, Springer Lecture Notes in Computer Science | February 1997
Publication Formally-Based Profiling for Higher-Order Functional Languages Patrick M. Sansom, Simon Peyton Jones ACM Transactions on Programming Languages and Systems (TOPLAS) | February 1997, Vol 19(2)
