Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J. Félix Costa
Verifying Properties of Neural Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
New Cognitive Properties of Artificial Neural Networks
Verifying Properties of Process Definitions
ACM SIGSOFT Software Engineering Notes
Verifying Information Flow Properties of Hybrid Systems
Verifying Quantitative Properties Using Bound Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Functional Properties of Smart Contracts Using Symbolic Model-Checking
Proceedings of the Institute for System Programming of the RAS
Atom Table Convolutional Neural Networks for an Accurate Prediction of Compounds Properties
npj Computational Materials
Mechanics of Materials
Materials Science
Simulation
Computer Science Applications
Modeling
Specifying and Verifying Partial Order Properties Using Template MSCs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
