Amy P. Felty

发表

Bahman Sistany, Amy P. Felty, 2017, 2017 15th Annual Conference on Privacy, Security and Trust (PST).
Amy P. Felty, Lennart Beringer, Lennart Beringer, 2012, Lecture Notes in Computer Science.
Amy P. Felty, David A. Basin, 2004, Journal of Automated Reasoning.
Amy P. Felty, A. Felty, 1993, Journal of Automated Reasoning.
Stan Matwin, Amy P. Felty, Bernard Stepien, 2012, 2012 Seventh International Conference on Availability, Reliability and Security.
Amy P. Felty, Venanzio Capretta, Venanzio Capretta, 2009 .
Amy P. Felty, Franck Binard, A. Felty, 2008, GECCO '08.
Amy P. Felty, Douglas J. Howe, A. Felty, 1997, CADE.
Amy P. Felty, Aart Middeldorp, A. Middeldorp, 2015, Lecture Notes in Computer Science.
Amy P. Felty, Elisabetta De Maria, Franck Grammont, 2020, Frontiers of Computer Science.
Amy P. Felty, Mohamed Yousri Mahmoud, 2019, Journal of Automated Reasoning.
Amy P. Felty, 2004, Journal of Automated Reasoning.
Amy P. Felty, Jiangong Weng, 2011, 2011 Ninth Annual International Conference on Privacy, Security and Trust.
Amy P. Felty, Dale Miller, Frank Pfenning, 1990 .
Andrew W. Appel, Amy P. Felty, A. Appel, 1999, ICLP.
Stan Matwin, Amy P. Felty, Bernard Stepien, 2011, 2011 Ninth Annual International Conference on Privacy, Security and Trust.
Amy P. Felty, Franck Binard, A. Felty, 2007, GECCO '07.
Andrew W. Appel, Amy P. Felty, A. Appel, 2004, Theory and Practice of Logic Programming.
Stan Matwin, Amy P. Felty, Bernard Stepien, 2010, 2010 International Conference on Availability, Reliability and Security.
Amy P. Felty, Douglas J. Howe, A. Felty, 1994, CADE.
Amy P. Felty, Ramesh Bharadwaj, Frank A. Stomp, 1995, ASIAN.
Amy P. Felty, 2002, TPHOLs.
Amy P. Felty, Douglas J. Howe, Frank A. Stomp, 1998 .
Amy P. Felty, Laurent Théry, 1997, J. Symb. Comput..
Amy P. Felty, Elisabetta De Maria, Joëlle Despeyroux, 2014, FMMB.
Amy P. Felty, A. Felty, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Andrew W. Appel, Amy P. Felty, A. Appel, 1999, ICLP 1999.
Amy P. Felty, Venanzio Capretta, Venanzio Capretta, 2006, TYPES.
Amy P. Felty, Gopalan Nadathur, Alexis Saurin, 2019, Mathematical Structures in Computer Science.
Stan Matwin, Amy P. Felty, Bernard Stepien, 2014, 2014 Ninth International Conference on Availability, Reliability and Security.
Amy P. Felty, Alan J. Martin, 2011, LFMTP.
Amy P. Felty, Gopalan Nadathur, Dale Miller, 1988, CADE.
Amy P. Felty, Alberto Momigliano, Brigitte Pientka, 2018, Math. Struct. Comput. Sci..
Amy P. Felty, Frank A. Stomp, A. Felty, 1999, Formal Aspects of Computing.
Gregory D. Hager, Amy P. Felty, Gregory Hager, 1988, Proceedings of the 1988 IEEE International Conference on Systems, Man, and Cybernetics.
Amy P. Felty, Alberto Momigliano, Brigitte Pientka, 2015, Journal of Automated Reasoning.
Stan Matwin, Amy P. Felty, Venanzio Capretta, 2005, TLCA.
Stan Matwin, Amy P. Felty, 2002, PKDD.
Amy P. Felty, Frank A. Stomp, A. Felty, 1996, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.
Amy P. Felty, Dale Miller, A. Felty, 1988, CADE.
Amy P. Felty, Alberto Momigliano, Alan J. Martin, 2008, Electron. Notes Theor. Comput. Sci..
Amy P. Felty, Chelsea Battell, A. Felty, 2016, LFMTP.
Amy P. Felty, Polina Vinogradova, Philip J. Scott, 2018, LSFA.
Stan Matwin, Amy P. Felty, Bernard Stepien, 2014, 2014 International Conference on Collaboration Technologies and Systems (CTS).
Andrew W. Appel, Amy P. Felty, A. Appel, 2000, POPL '00.
Amy P. Felty, Aart Middeldorp, 2016, Journal of Automated Reasoning.
Amy P. Felty, Valeria de Paiva, Ursula Martin, 2019, SIGL.
Amy P. Felty, Douglas J. Howe, Frank A. Stomp, 1998, CAV.
Pietro Liò, Amy P. Felty, Carlos Olarte, 2018, MLCSB.
Amy P. Felty, Alberto Momigliano, Brigitte Pientka, 2015, LFMTP.
Stan Matwin, Amy P. Felty, Bernard Stepien, 2009, MCETECH.
Amy P. Felty, Alberto Momigliano, 2009, PPDP '09.
Amy P. Felty, Mohamed Yousri Mahmoud, 2017, LSFA.
Stan Matwin, Amy P. Felty, Guillaume Dufay, 2005, CADE.
Amy P. Felty, Douglas J. Howe, A. Felty, 1994, LPAR.
Amy P. Felty, Bernard Stepien, 2016, 2016 11th International Conference on Availability, Reliability and Security (ARES).
Amy P. Felty, Kedar S. Namjoshi, K. Namjoshi, 2003, TSEM.
Andrew W. Appel, Amy P. Felty, 2004, J. Funct. Program..
Amy P. Felty, Hugo Herbelin, Christine Paulin-Mohring, 1990 .
Stan Matwin, Amy P. Felty, Venanzio Capretta, 2007, FMSE '07.
Amy P. Felty, Dale Miller, Frank Pfenning, 1990, CADE.
Amy P. Felty, Dale Miller, A. Felty, 1986, AAAI.
Amy P. Felty, André Hirschowitz, Joëlle Despeyroux, 1995, TLCA.