The SCEAS System
| |||||||

## Search the dblp DataBase
Amy P. Felty:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - Guillaume Dufay, Amy P. Felty, Stan Matwin
**Privacy-Sensitive Information Flow with JML.**[Citation Graph (0, 0)][DBLP] CADE, 2005, pp:116-130 [Conf] - 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] - 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] - Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning
**Tutorial on Lambda-Prolog.**[Citation Graph (0, 0)][DBLP] CADE, 1990, pp:682- [Conf] - 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] - 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] - 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] - 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] - 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] - Amy P. Felty, Douglas J. Howe, Frank A. Stomp
**Protocol Verification in Nuprl.**[Citation Graph (0, 0)][DBLP] CAV, 1998, pp:428-439 [Conf] - 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] - Amy P. Felty
**A Logic Programming Approach to Implementing Higher-Order Term Rewriting.**[Citation Graph (0, 0)][DBLP] ELP, 1991, pp:135-161 [Conf] - Amy P. Felty, Kedar S. Namjoshi
**Feature Specification and Automatic Conflict Detection.**[Citation Graph (0, 0)][DBLP] FIW, 2000, pp:179-192 [Conf] - Andrew W. Appel, Amy P. Felty
**Lightweight Lemmas in lambda-Prolog.**[Citation Graph (0, 0)][DBLP] ICLP, 1999, pp:411-425 [Conf] - Amy P. Felty
**Encoding the Calculus of Constructions in a Higher-Order Logic**[Citation Graph (0, 0)][DBLP] LICS, 1993, pp:233-244 [Conf] - Amy P. Felty, Douglas J. Howe
**Generalization and Reuse of Tactic Proofs.**[Citation Graph (0, 0)][DBLP] LPAR, 1994, pp:1-15 [Conf] - Amy P. Felty, Stan Matwin
**Privacy-Oriented Data Mining by Proof Checking.**[Citation Graph (0, 0)][DBLP] PKDD, 2002, pp:138-149 [Conf] - 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] - 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] - Amy P. Felty
**Definite Clause Grammars for Parsing Higher-Order Syntax.**[Citation Graph (0, 0)][DBLP] ILPS, 1993, pp:668- [Conf] - 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] - 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] - 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] - Amy P. Felty
**Two-Level Meta-reasoning in Coq.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:198-213 [Conf] - 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] - 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] - 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] - Amy P. Felty
**Preface.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:31, n:3-4, pp:189-190 [Journal] - 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] - 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] - 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] - 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] - 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] - 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] - Franck Binard, Amy Felty
**An abstraction-based genetic programming system.**[Citation Graph (0, 0)][DBLP] GECCO (Companion), 2007, pp:2415-2422 [Conf] - 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] - 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] **Strategies for Reducing Risks of Inconsistencies in Access Control Policies.**[Citation Graph (, )][DBLP]**Formal correctness of conflict detection for firewalls.**[Citation Graph (, )][DBLP]**Genetic programming with polymorphic types and higher-order functions.**[Citation Graph (, )][DBLP]**Reasoning with hypothetical judgments and open terms in hybrid.**[Citation Graph (, )][DBLP]**A Non-technical User-Oriented Display Notation for XACML Conditions.**[Citation Graph (, )][DBLP]**Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison.**[Citation Graph (, )][DBLP]**Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax**[Citation Graph (, )][DBLP]**Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax.**[Citation Graph (, )][DBLP]
Search in 0.008secs, Finished in 0.009secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |