Publication Setting 2 Variables at a Time Yields a New Lower Bound for Random 3-SAT Dimitris Achlioptas MSR-TR-99-96 | December 1999
Publication Finding Large Prime Numbers: A Hardware-Software Codesign System Vaibhav Vaish, Ashish Kapoor September 1999
Publication Stationary measures for random walks in a random environment with random scenery Russell Lyons, Oded Schramm New York Journal of Mathematics | January 1999, Vol 5: pp. 107-113
Publication An Efficient Method For Computing Resultant Systems Mark Encarnación Applicable Algebra in Engineering, Communication and Computing (AAECC), Issue 3 | November 1998, Vol 9: pp. 243-245
Publication A Bisimulation Method for Cryptographic Protocols Martin Abadi, Andy Gordon Proceedings ESOP’98 | March 1998 Lecture Notes in Computer Science ISBN: 978-3-540-64302-9 (Print) 978-3-540-69722-0 (Online)
Publication Factoring Polynomials Over Algebraic Number Fields Via Norms Mark Encarnación ISSAC ’97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation | July 1997 ISBN: 0-89791-875-4
Publication The decidability of simultaneous rigid E-unification with one variable Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich 139 | April 1997
Publication Fast software exponentiation in GF(2k) C.K. Koc, Tolga Acar 1997 Symposium on Computer Arithmetic | March 1997
Publication Black-Box Polynomial Resultants Mark Encarnación Information Processing Letters, Issue 4 | February 1997, Vol 61: pp. 201-204
