Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by John Cyphert
Non-Linear Reasoning for Invariant Synthesis
Proceedings of the ACM on Programming Languages
Related publications
Invariant Linear Functions
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Invariant-Based Reasoning About Parameterized Security Protocols
Formal Aspects of Computing
Theoretical Computer Science
Software
On Invariant Linear Manifolds
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Adaptive Fuzzy Modelling and Control for Non-Linear Systems Using Interval Reasoning and Differential Evolution
Non-Linear Modal Analysis of Structural Systems Using Multi-Mode Invariant Manifolds
A Natural Transfer Function Space for Linear Discrete Time-Invariant and Scale-Invariant Systems
Invariant Pre-Foliations for Non-Resonant Non-Uniformly Hyperbolic Systems
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Measures Invariant Under a Linear Group
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
A Wavelet Approach for Identification of Linear Time Invariant System
International Journal of Computer Applications
