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)
Publication Image Coding Using Optimized Significance Tree Quantization Geoffrey M. Davis, Sumit Chawla January 1997
Publication GTM: a principled alternative to the Self-Organizing Map Christopher Bishop, Markus Svensén, Christopher K. I. Williams International Conference on Artificial Neural Networks, ICANN’96 | January 1997
Publication GTM through time Christopher Bishop, Geoffrey E. Hinton, Iain G. D. Strachan Proceedings IEE Fifth International Conference on Artificial Neural Networks, Cambridge, U.K. | January 1997
Publication The undecidability of simultaneous rigid E-unification with two variables Margus Veanes 5th Kurt Gödel Colloquium (KGC’97) | January 1997
