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
Publication Random walks and the regeneration time Andrew Beveridge, László Lovasz Journal of Graph Theory | October 1996, Vol 29(2): pp. 57-62
Publication Improved Techniques for Factoring Univariate Polynomials George E. Collins, Mark Encarnación Journal of Symbolic Computation, Issue 3 | March 1996, Vol 21: pp. 313-327
Publication Absolute continuity of Bernoulli convolutions, a simple proof Yuval Peres, Boris Solomyak Mathematical Research Letters | January 1996, Vol 3: pp. 231-239
Publication Computing GCDs of Polynomials over Algebraic Number Fields Mark Encarnación Journal of Symbolic Computation, Issue 3 | September 1995, Vol 20: pp. 299-313
