Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Amy Felty
Observed names:
A. Felty,
AMY FELTY,
AMY P. FELTY,
Amy FELTY,
Amy P. Felty,
Felty, Amy,
Felty, Amy P.
show all 7
Institution:
University of Ottawa
Observed institutions:
AT&T (United States),
Institut national de recherche en sciences et technologies du numérique,
University of Ottawa,
Centre Inria d'Université Côte d'Azur,
Alcatel-Lucent (France),
McGill University,
University of Pennsylvania
show all 7
ORCID:
0000-0001-7195-2613
Observed ORCID:
0000-0001-7195-2613
OpenAlex ID:
A5090020170
A semantic model of types and machine instructions for proof-carrying code
2000
·
Andrew W. Appel
, Amy P. Felty
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
159
Higher-order abstract syntax in Coq
1995
·
Joëlle Despeyroux
, Amy Felty
, et al.
·
Lecture notes in computer science
·
155
Specifying theorem provers in a higher-order logic programming language
2005
·
Amy Felty
, Dale Miller
·
Springer eBooks
·
105
Hybrid
2010
·
Amy Felty
, Alberto Momigliano
·
Journal of Automated Reasoning
·
68
PDF
Feature specification and automated conflict detection
2003
·
Amy P. Felty
, Kedar S. Namjoshi
·
ACM Transactions on Software Engineering and Methodology
·
65
Implementing tactics and tacticals in a higher-order logic programming language
1993
·
Amy Felty
·
Journal of Automated Reasoning
·
65
Specifying and implementing theorem provers in a higher-order logic programming language
1989
·
Amy Felty
, Dale Miller
·
52
Formal correctness of conflict detection for firewalls
2007
·
Venanzio Capretta
, Bernard Stepien
, et al.
·
50
Encoding a dependent-type λ-calculus in a logic programming language
1990
·
Amy Felty
, Dale Miller
·
Lecture notes in computer science
·
41
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax
2008
·
Alberto Momigliano
, Alan J. Martin
, et al.
·
Electronic Notes in Theoretical Computer Science
·
33
PDF
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations
2015
·
Amy P. Felty
, Alberto Momigliano
, et al.
·
Journal of Automated Reasoning
·
31
Privacy-Sensitive Information Flow with JML
2005
·
Guillaume Dufay
, Amy Felty
, et al.
·
Lecture notes in computer science
·
30
Advantages of a non-technical XACML notation in role-based models
2011
·
B. Stepien
, S. Matwin
, et al.
·
International Conference on Privacy, Security and Trust (PST)
·
28
Generalization and reuse of tactic proofs
1994
·
Amy Felty
, Douglas Howe
·
Lecture notes in computer science
·
27
Automated Deduction - CADE-25
2015
·
Amy P. Felty
, Aart Middeldorp
·
Lecture notes in computer science
·
24
Feature Specification and Automatic Conflict Detection.
2000
·
Amy Felty
, Kedar S. Namjoshi
·
FIW
·
23
A Non-technical User-Oriented Display Notation for XACML Conditions
2009
·
Bernard Stepien
, Amy Felty
, et al.
·
Lecture notes in business information processing
·
22
A verified algorithm for detecting conflicts in XACML access control rules
2016
·
Michel St-Martin
, Amy P. Felty
·
21
PDF
Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison
2010
·
Amy Felty
, Brigitte Pientka
·
Lecture notes in computer science
·
21
Genetic programming with polymorphic types and higher-order functions
2008
·
Franck Binard
, Amy Felty
·
Genetic and Evolutionary Computation Conference (GECCO)
·
21
Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq
2007
·
Venanzio Capretta
, Amy P. Felty
·
Lecture notes in computer science
·
20
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
2017
·
AMY FELTY
, ALBERTO MOMIGLIANO
, et al.
·
Mathematical Structures in Computer Science
·
17
Strategies for Reducing Risks of Inconsistencies in Access Control Policies
2010
·
Bernard Stepien
, Stan Matwin
, et al.
·
International Conference on Availability, Reliability and Security (ARES)
·
17
Dependent types ensure partial correctness of theorem provers
2004
·
ANDREW W. APPEL
, AMY P. FELTY
·
Journal of Functional Programming
·
17
PDF
Two-Level Meta-reasoning in Coq
2002
·
Amy P. Felty
·
Lecture notes in computer science
·
17
Show more works
View as search
Works count:
101
Citation count:
1,444
H-index:
20
I10-index:
38
Year
Topic
Type
