Michael J. O'Donnell

发表

Michael J. O'Donnell, Ilia Bisnovatyi, M. O'Donnell, 2000, SPIE Optics + Photonics.
Michael J. O'Donnell, J. Paul Myers, 1992 .
Christoph M. Hoffmann, Michael J. O'Donnell, C. Hoffmann, 1979, POPL.
Ita Richardson, Michael J. O'Donnell, 2008, EuroSPI.
Michael J. O'Donnell, 2005, CACM.
Michael J. O'Donnell, Michael J. O'Donnell, 1977, Lecture Notes in Computer Science.
Michael J. O'Donnell, Douglas Coiner, 1979 .
Michael J. O'Donnell, Douglas Comer, 1982, SIAM J. Comput..
Robert L. Constable, Michael J. O'Donnell, Scott D. Johnson, 1978 .
Stuart A. Kurtz, Michael J. O'Donnell, James S. Royer, 1987, Inf. Process. Lett..
Michael J. O'Donnell, James Lipton, James Lipton, 1994, MFCS.
Michael J. O'Donnell, Eric Dittert, Michael J. O'Donnell, 1985, IEEE Transactions on Computers.
Michael J. O'Donnell, Michael J. O'Donnell, 1976 .
Michael J. O'Donnell, J. Paul Myers, 1992, Lecture Notes in Computer Science.
John C. Mitchell, Michael J. O'Donnell, John C. Mitchell, 1986, TARK.
Christoph M. Hoffmann, Michael J. O'Donnell, C. Hoffmann, 1982, TOPL.
Michael J. O'Donnell, Michael J. O'Donnell, 1999, ArXiv.
Michael J. O'Donnell, James Lipton, James Lipton, 1996, Ann. Pure Appl. Log..
Hans-Juergen Boehm, Robert Cartwright, Michael J. O'Donnell, 1986, LFP '86.
Carl H. Smith, Michael J. O'Donnell, 1982, IEEE Transactions on Computers.
Robert Strandh, Christoph M. Hoffmann, Michael J. O'Donnell, 1984, Softw. Pract. Exp..
Michael J. O'Donnell, Michael J. O'Donnell, 1985, Logic of Programs.
Michael J. O'Donnell, Ilia Bisnovatyi, 2001, ArXiv.
Michael J. O'Donnell, 1977 .
Christoph M. Hoffmann, Michael J. O'Donnell, 1984, POPL '84.
Michael J. O'Donnell, Michael J. O'Donnell, 2003, ArXiv.
Christoph M. Hoffmann, Michael J. O'Donnell, C. Hoffmann, 1982, JACM.
Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell, 1992, Constructivity in Computer Science.
Yiyun Chen, Michael J. O'Donnell, 1990, CTRS.
Guanshan Tong, Michael J. O'Donnell, 2001, J. Funct. Log. Program..
Yiyun Chen, Michael J. O'Donnell, 1990, CTRS.
Michael J. O'Donnell, Eric Dittert, 1981 .
Michael J. O'Donnell, Michael J. O'Donnell, 1981, CACM.
Michael J. O'Donnell, Emily Carrington, M. O'Donnell, 2013 .