Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yiyuan J. Zhao
A Formal Approach to the Analysis of Aircraft Protected Zone
Air Traffic Control Quarterly
Related publications
A Formal Approach to Curriculum Theory Analysis
Marilyn Zurmuehlen Working Papers in Art Education
Equational Approach to Formal Analysis of TLS
A Modular Adjoint Approach to Aircraft Mission Analysis and Optimization
The MODUS Approach to Formal Verification
Business Systems Research
Information Systems
Finance
Economics
Management Information Systems
Innovation
Management of Technology
Econometrics
A Formal Approach to Autonomous Vehicle Coordination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Multicriteria Optimization Approach to Aircraft Loading
Operations Research
Management Science
Computer Science Applications
Operations Research
A New Formal Approach to the Rational Interpolation Problem
Numerische Mathematik
Computational Mathematics
Applied Mathematics
A New Approach to the Formal Explicit Specification of Knowledge Acquisition
Mathematical machines and systems
A Formal Approach to Analyzing Cyber-Forensics Evidence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
