Authors: Gatscha, RM Abadi, M Babore, S Chhieng, D Miller, MJ Saigo, PE

Citation: Rm. Gatscha et al., Smears diagnosed as ASCUS: Interobserver variation and follow-up, DIAGN CYTOP, 25(2), 2001, pp. 138-140

Authors: Abadi, M Fournet, C

Citation: M. Abadi et C. Fournet, Mobile values, new names, and secure communication, ACM SIGPL N, 36(3), 2001, pp. 104-115

Authors: Kilic, G Abadi, M

Citation: G. Kilic et M. Abadi, Jejunal adenocarcinoma presenting as a primary ovarian carcinoma, GYNECOL ONC, 78(2), 2000, pp. 255-258

Authors: Abadi, M

Citation: M. Abadi, Secrecy by typing in security protocols, J ACM, 46(5), 1999, pp. 749-786

Authors: Abadi, M Gordon, AD

Citation: M. Abadi et Ad. Gordon, A calculus for cryptographic protocols: The spi calculus, INF COMPUT, 148(1), 1999, pp. 1-70

Authors: Stata, R Abadi, M

Citation: R. Stata et M. Abadi, A type system for Java bytecode subroutines, ACM T PROGR, 21(1), 1999, pp. 90-137