Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Amy Felty
Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq
Related publications
Verifying Properties of Neural Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying a Local Generic Solver in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq
Modelling Dynamic Bottlenecks in Production Networks
International Journal of Computer Integrated Manufacturing
Electronic Engineering
Industrial
Mechanical Engineering
Manufacturing Engineering
Computer Science Applications
Electrical
Aerospace Engineering
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
Erratum To: Functional Model of Biological Neural Networks
Cognitive Neurodynamics
Cognitive Neuroscience
Modelling Prosodic Structure Using Artificial Neural Networks
Modelling Sequences and Temporal Networks With Dynamic Community Structures
Nature Communications
Astronomy
Genetics
Molecular Biology
Biochemistry
Chemistry
Physics
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP
Computer Journal
Computer Science