The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Amy P. Felty: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dale Miller, Amy P. Felty
    An Integration of Resolution and Natural Deduction Theorem Proving. [Citation Graph (0, 0)][DBLP]
    AAAI, 1986, pp:198-202 [Conf]
  2. Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp
    Formalizing Inductive Proofs of Network Algorithms. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1995, pp:335-349 [Conf]
  3. Guillaume Dufay, Amy P. Felty, Stan Matwin
    Privacy-Sensitive Information Flow with JML. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:116-130 [Conf]
  4. Amy P. Felty
    Proof Search with Set Variable Instantiation in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:658-672 [Conf]
  5. Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov
    Lambda-Prolog: An Extended Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:754-755 [Conf]
  6. Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning
    Tutorial on Lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:682- [Conf]
  7. Amy P. Felty, Douglas J. Howe
    Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:605-619 [Conf]
  8. Amy P. Felty, Douglas J. Howe
    Hybrid Interactive Theorem Proving Using Nuprl and HOL. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:351-365 [Conf]
  9. Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury
    Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:237-251 [Conf]
  10. Amy P. Felty, Dale Miller
    Specifying Theorem Provers in a Higher-Order Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:61-80 [Conf]
  11. Amy P. Felty, Dale Miller
    Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:221-235 [Conf]
  12. Amy P. Felty, Douglas J. Howe, Frank A. Stomp
    Protocol Verification in Nuprl. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:428-439 [Conf]
  13. Amy P. Felty
    A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:157-178 [Conf]
  14. Amy P. Felty
    A Logic Programming Approach to Implementing Higher-Order Term Rewriting. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:135-161 [Conf]
  15. Amy P. Felty, Kedar S. Namjoshi
    Feature Specification and Automatic Conflict Detection. [Citation Graph (0, 0)][DBLP]
    FIW, 2000, pp:179-192 [Conf]
  16. Andrew W. Appel, Amy P. Felty
    Lightweight Lemmas in lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:411-425 [Conf]
  17. Amy P. Felty
    Encoding the Calculus of Constructions in a Higher-Order Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:233-244 [Conf]
  18. Amy P. Felty, Douglas J. Howe
    Generalization and Reuse of Tactic Proofs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:1-15 [Conf]
  19. Amy P. Felty, Stan Matwin
    Privacy-Oriented Data Mining by Proof Checking. [Citation Graph (0, 0)][DBLP]
    PKDD, 2002, pp:138-149 [Conf]
  20. Andrew W. Appel, Amy P. Felty
    A Semantic Model of Types and Machine Instuctions for Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:243-253 [Conf]
  21. Amy P. Felty
    A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:394-406 [Conf]
  22. Amy P. Felty
    Definite Clause Grammars for Parsing Higher-Order Syntax. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:668- [Conf]
  23. Stan Matwin, Amy P. Felty, István T. Hernádvölgyi, Venanzio Capretta
    Privacy in Data Mining Using Formal Methods. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:278-292 [Conf]
  24. Joëlle Despeyroux, Amy P. Felty, André Hirschowitz
    Higher-Order Abstract Syntax in Coq. [Citation Graph (0, 0)][DBLP]
    TLCA, 1995, pp:124-138 [Conf]
  25. Amy P. Felty
    A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:10-10 [Conf]
  26. Amy P. Felty
    Two-Level Meta-reasoning in Coq. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:198-213 [Conf]
  27. Andrew W. Appel, Amy P. Felty
    Polymorphic lemmas and definitions in Lambda Prolog and Twelf [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  28. Amy P. Felty, Frank A. Stomp
    Cache Coherency in SCI: Specification and a Sketch of Correctness. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:5, pp:475-497 [Journal]
  29. David A. Basin, Amy P. Felty
    Current Trends in Logical Frameworks and Metalanguages. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2001, v:27, n:1, pp:1-2 [Journal]
  30. Amy P. Felty
    Preface. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:3-4, pp:189-190 [Journal]
  31. Amy P. Felty
    Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:1, pp:41-81 [Journal]
  32. Andrew W. Appel, Amy P. Felty
    Dependent types ensure partial correctness of theorem provers. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:1, pp:3-19 [Journal]
  33. Amy P. Felty, Laurent Théry
    Interactive Theorem Proving with Temporal Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1997, v:23, n:4, pp:367-397 [Journal]
  34. Amy P. Felty
    The calculus of constructions as a framework for proof search with set variable instantiation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:232, n:1-2, pp:187-229 [Journal]
  35. Amy P. Felty, Kedar S. Namjoshi
    Feature specification and automated conflict detection. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:1, pp:3-27 [Journal]
  36. Andrew W. Appel, Amy P. Felty
    Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:1-2, pp:1-39 [Journal]
  37. Franck Binard, Amy Felty
    An abstraction-based genetic programming system. [Citation Graph (0, 0)][DBLP]
    GECCO (Companion), 2007, pp:2415-2422 [Conf]
  38. Venanzio Capretta, Amy P. Felty
    Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:63-77 [Conf]
  39. Amy P. Felty
    Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:77, n:4, pp:303-330 [Journal]

  40. Strategies for Reducing Risks of Inconsistencies in Access Control Policies. [Citation Graph (, )][DBLP]


  41. Formal correctness of conflict detection for firewalls. [Citation Graph (, )][DBLP]


  42. Genetic programming with polymorphic types and higher-order functions. [Citation Graph (, )][DBLP]


  43. Reasoning with hypothetical judgments and open terms in hybrid. [Citation Graph (, )][DBLP]


  44. A Non-technical User-Oriented Display Notation for XACML Conditions. [Citation Graph (, )][DBLP]


  45. Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison. [Citation Graph (, )][DBLP]


  46. Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax [Citation Graph (, )][DBLP]


  47. Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002