Trevor Jim

发表

Trevor Jim, T. Jim, 1996 .
Larry L. Peterson, Trevor Jim, Soner Sevinc, 2009, CSET.
Matti A. Hiltunen, Richard D. Schlichting, Trevor Jim, 2006, IEEE Transactions on Dependable and Secure Computing.
Albert R. Meyer, Trevor Jim, 1996, SIAM J. Comput..
Carl A. Gunter, Trevor Jim, 2000 .
James Cheney, Dan Grossman, Trevor Jim, 2002, USENIX Annual Technical Conference, General Track.
Matti A. Hiltunen, Richard D. Schlichting, Trevor Jim, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).
Trevor Jim, T. Jim, 2000, ICALP Satellite Workshops.
Dan Grossman, Trevor Jim, Greg Morrisett, 2000 .
Trevor Jim, Paul Giura, 2018, IOT.
Jens Palsberg, Tian Zhao, Trevor Jim, 2005, TOPL.
David Walker, Trevor Jim, Yitzhak Mandelbaum, 2010, POPL '10.
Trevor Jim, Christof Fetzer, Gert Pfeifer, 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.
James Cheney, Dan Grossman, Trevor Jim, 2002, PLDI '02.
Dan Grossman, Trevor Jim, J. Gregory Morrisett, 2003, Journal of Functional Programming.
Yevgeniy Vahlis, Trevor Jim, Juan A. Garay, 2014, SCN.
Carl A. Gunter, Trevor Jim, Michael McDougall, 2000, IWAN.
Trevor Jim, Christof Fetzer, 2005, ISAS.
Carl A. Gunter, Trevor Jim, 2000, Softw. Pract. Exp..
Dan Suciu, Trevor Jim, Dan Suciu, 2001, PODS.
Trevor Jim, Yitzhak Mandelbaum, 2011, LDTA.
Trevor Jim, Yitzhak Mandelbaum, 2011, ESOP.
Shriram Krishnamurthi, Arjun Guha, Trevor Jim, 2009, WWW '09.
Albert R. Meyer, Trevor Jim, 1991, TACS.
Trevor Jim, T. Jim, 2001, Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001.
Michael Hicks, Nikhil Swamy, Trevor Jim, 2007, WWW '07.
Trevor Jim, Luke Hornof, T. Jim, 1999, High. Order Symb. Comput..
Trevor Jim, Yitzhak Mandelbaum, 2010, Electron. Notes Theor. Comput. Sci..
James Cheney, Dan Grossman, Michael Hicks, 2001 .
Dan Grossman, Trevor Jim, Greg Morrisett, 2000 .
Trevor Jim, Nicola Onose, Jérôme Siméon, 2007, XIME-P '07.
Dan Grossman, Michael Hicks, Trevor Jim, 2003 .
Andrew W. Appel, Trevor Jim, A. Appel, 1989, POPL '89.
Dan Grossman, Nikhil Swamy, Trevor Jim, 2006, Sci. Comput. Program..
Dan Grossman, Trevor Jim, J. Gregory Morrisett, 2004, ISMM '04.
Trevor Jim, Nicola Onose, Jérôme Siméon, 2007, SIGMOD '07.
Shobha Venkataraman, Matti A. Hiltunen, Patrick Traynor, 2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Rittwik Jana, Matti A. Hiltunen, Bin Wei, 2003, Wirel. Networks.
Jianhua Ma, Ching-Hsien Hsu, Jong Hyuk Park, 2008 .
Rittwik Jana, Matti A. Hiltunen, Trevor Jim, 2005, EuroIMSA.
Andrew W. Appel, Trevor Jim, 1997, J. Funct. Program..
Jens Palsberg, Trevor Jim, 1997, Nord. J. Comput..
Carl A. Gunter, Trevor Jim, 2000, POPL '00.
James Cheney, Dan Grossman, Michael Hicks, 2001 .