Scott F. Smith

发表

Scott F. Smith, Amy E. Zwarico, A. Zwarico, 1993, Formal Methods Syst. Des..
Scott F. Smith, 1992, Constructivity in Computer Science.
Robert L. Constable, Scott F. Smith, 1993, Theor. Comput. Sci..
J. M. Rochelle, L. G. Clonts, Scott F. Smith, 1998, Smart Structures.
Scott F. Smith, Zachary Palmer, Pottayil Harisanker Menon, 2014, APLAS.
Carolyn L. Talcott, Ian A. Mason, Furio Honsell, 1992, CSL.
Carolyn L. Talcott, Ian A. Mason, Gul A. Agha, 1992, CONCUR.
Alioune Ngom, Scott F. Smith, 2007, BIONETICS 2007.
Jens Palsberg, Scott F. Smith, 1996, TOPL.
Scott F. Smith, Amy E. Zwarico, Valery Trifonov, 1994, OOPSLA.
Carolyn L. Talcott, Scott F. Smith, C. Talcott, 1999, FMOODS.
Scott F. Smith, Christian Skalka, François Pottier, 2001, TOPL.
Carolyn L. Talcott, Scott F. Smith, 2000, IFIP Advances in Information and Communication Technology.
Scott F. Smith, Yu David Liu, 2006, OOPSLA '06.
Scott F. Smith, Christian Skalka, C. Skalka, 2003, TIP@MPC.
Scott F. Smith, Zachary Palmer, Ke Wu, 2020, APLAS.
Scott F. Smith, Yu David Liu, 2005, OOPSLA '05.
Scott F. Smith, Christian Skalka, 2004, APLAS.
Scott F. Smith, Elizabeth Inez Leonard, 2000 .
Scott F. Smith, Tiejun Wang, 2000, ESOP.
Scott F. Smith, Yu David Liu, Christian Skalka, 2009, WGP '09.
Scott F. Smith, Mark Thober, M. Thober, 2008 .
Scott F. Smith, Christian Skalka, 2000, ICFP '00.
Carolyn L. Talcott, Ian A. Mason, Furio Honsell, 1995, Inf. Comput..
Scott F. Smith, Christian Skalka, François Pottier, 2001, ESOP.
Luca Cardelli, Gary T. Leavens, Giuseppe Castagna, 1995, Theory Pract. Object Syst..
Scott F. Smith, Zachary Palmer, Leandro Facchinetti, 2017, SAS.
Scott F. Smith, Peter C. Chapin, Christian Skalka, 2013, GPCE.
Scott F. Smith, Yu David Liu, Xiaoqi Lu, 2008, CC.
Scott F. Smith, Christian Skalka, 2003 .
Scott F. Smith, Valery Trifonov, Jonathan Eifrig, 1995, MFPS.
Scott F. Smith, Christian Skalka, Michael Watson, 2014 .
Scott F. Smith, Christian Skalka, Paritosh Shroff, 2007, APLAS.
Scott F. Smith, 1995, Int. J. Found. Comput. Sci..
Scott F. Smith, Tiejun Wang, 2001, ECOOP.
Carolyn L. Talcott, Ian A. Mason, Gul A. Agha, 1997, Journal of Functional Programming.
Scott F. Smith, Yu David Liu, Aditya Kulkarni, 2010, OOPSLA.
Scott F. Smith, Yu David Liu, Yu David Liu, 2008 .
David Van Horn, Scott F. Smith, Christian Skalka, 2008, J. Funct. Program..
Scott F. Smith, Mark Thober, Paritosh Shroff, 2008, J. Comput. Secur..
David Van Horn, Scott F. Smith, Christian Skalka, 2005, Electron. Notes Theor. Comput. Sci..
Scott F. Smith, Christian Skalka, Paritosh Shroff, 2006 .
Scott F. Smith, Valery Trifonov, V. Trifonov, 1996, SAS.
Scott F. Smith, James F. Frenzel, 2003, Proceedings of the 15th Biennial University/Government/ Industry Microelectronics Symposium (Cat. No.03CH37488).
Scott F. Smith, Yu David Liu, Ran Rinat, 2003 .
Scott F. Smith, Valery Trifonov, Jonathan Eifrig, 1995, OOPSLA.
Scott F. Smith, Amy E. Zwarico, A. Zwarico, 1992, Designing Correct Circuits.
Robert L. Constable, Scott F. Smith, R. Constable, 1987, Logic in Computer Science.
Scott F. Smith, Amy E. Zwarico, Valery Trifonov, 1994, OOPSLA.
Scott F. Smith, Zachary Palmer, Leandro Facchinetti, 2016, Dagstuhl Artifacts Ser..
Scott F. Smith, Amy E. Zwarico, Valery Trifonov, 1995, LISP Symb. Comput..
Scott F. Smith, Yu David Liu, Christian Skalka, 2011, High. Order Symb. Comput..
Scott F. Smith, Mark Thober, M. Thober, 2007, PLAS '07.
Scott F. Smith, Yu David Liu, 2004, ECOOP.
Scott F. Smith, Xiaoqi Lu, Xiaoqi Lu, 2008 .
Scott F. Smith, Zachary Palmer, 2016, ECOOP.
Carolyn L. Talcott, Ian A. Mason, Scott F. Smith, 1996, Inf. Comput..
Scott F. Smith, Menachem Magidor, Ran Rinat, 1999, OOPSLA '99.
Rance Cleaveland, Robert L. Constable, Prakash Panangaden, 1986 .
Scott F. Smith, Mark Thober, M. Thober, 2006, PLAS '06.
Scott F. Smith, Ran Rinat, Ran Rinat, 2002, ECOOP.
Scott F. Smith, Zachary Palmer, 2011, OOPSLA '11.
Scott F. Smith, Christian Skalka, C. Skalka, 2005, International Journal of Information Security.
Scott F. Smith, Mark Thober, Paritosh Shroff, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Scott F. Smith, Jonathan S. Shapiro, Swaroop Sridhar, 2008, APLAS.
Ian A. Mason, Scott F. Smith, F. Honsell, 1993 .
Scott F. Smith, Yu David Liu, 2008 .
Scott F. Smith, Zachary Palmer, 2016 .
Scott F. Smith, C. Skalka, P. Shroff, 2005 .
Scott F. Smith, Yu David Liu, 2005 .
Scott F. Smith, 1988 .
Scott F. Smith, C. Skalka, P. Shroff, 2007 .
Scott F. Smith, 1998, Electron. Notes Theor. Comput. Sci..
Ian A. Mason, Scott F. Smith, C. Talcott, 2008 .
Scott F. Smith, Zachary Palmer, 2016 .
Scott F. Smith, Zachary Palmer, 2016 .
Scott F. Smith, Pottayil Harisanker Menon, Zachary Palmer, 2013 .
Scott F. Smith, Scott F. Smith, 2003, Security and Management.
Scott F. Smith, Scott F. Smith, C. Talcott, 1998, High. Order Symb. Comput..
Scott F. Smith, V. Trifonov, A. Zwarico, 1994, OOPSLA '94.
Scott F. Smith, Scott F. Smith, James F. Frenzel, 2006, Future Gener. Comput. Syst..
Robert L. Constable, Scott F. Smith, Scott Fraser Smith, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Scott F. Smith, TIEJUN WANG, SCOTT F. SMITH, 2005 .
Rahul Simha, Scott F. Smith, Scotty Smith, 2012 .
Scott F. Smith, Xiaoqi Lu, Scott Smith, 2004 .
Scott F. Smith, Scott F. Smith, 2004, International Conference on Parallel and Distributed Processing Techniques and Applications.