John Matthews

发表

Leslie Lamport, Serdar Tasiran, Mark R. Tuttle, 2003, Formal Methods Syst. Des..
Sandip Ray, Mark R. Tuttle, John Matthews, 2003, ACL 2003.
Gary S. Tyson, Andrew R. Pleszkun, Matthew Farrens, 1995, MICRO 1995.
John Matthews, T. Nipkow, J. Avigad, 2018 .
John Matthews, B. Cook, J. Launchbury, 1998 .
John Launchbury, John Robert Matthews, John Matthews, 2000 .
Sandip Ray, John Matthews, Warren A. Hunt, 2008, Journal of Automated Reasoning.
Sandip Ray, John Matthews, J. S. Moore, 2006, LPAR.
Brian Huffman, Peter White, John Matthews, 2005, TPHOLs.
John Matthews, Levent Erkök, John Matthews, 2009, CSIIRW '09.
John Matthews, Florian Haftmann, Alexander Krauss, 2008, TPHOLs.
John Matthews, Sava Krstic, John Matthews, 2003, TPHOLs.
Gary S. Tyson, Andrew R. Pleszkun, John Matthews, 1997, International Journal of Parallel Programming.
Gary S. Tyson, Andrew R. Pleszkun, John Matthews, 1995, Proceedings of the 28th Annual International Symposium on Microarchitecture.
Leslie Lamport, Mark R. Tuttle, John Matthews, 2002, EW 10.
John Matthews, Sava Krstic, John Matthews, 2004, PPDP '04.
John Launchbury, John Matthews, Byron Cook, 1999, CHARME.
John Launchbury, John Matthews, Byron Cook, 1998, Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).
John Matthews, Florian Haftmann, Alexander Krauss, 2008, TPHOLs.