Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Qianchuan Ye
Narcissus: Correct-By-Construction Derivation of Decoders and Encoders From Binary Formats
Proceedings of the ACM on Programming Languages
Related publications
A Correct-By-Construction Model for Asynchronously Communicating Systems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
A Derivation of Probabilities of Correct and Wrongful Conviction in a Criminal Trial
SSRN Electronic Journal
High-Throughput VLSI Implementations of Iterative Decoders and Related Code Construction Problems
An Iterative Abstraction Algorithm for Reactive Correct-By-Construction Controller Synthesis
Ecology of Flowers and Morphology of Pollen Grains of Selected Narcissus Varieties (Narcissus Pseudonarcissus X Narcissus Poëticus)
Acta Agrobotanica
Evolution
Ecology
Crop Science
Systematics
Plant Science
Behavior
Agronomy
First Report of Hippeastrum Mosaic Virus, Narcissus Late Season Yellows Virus, Narcissus Latent Virus and Narcissus Mosaic Virus in Daffodils From Hungary
Journal of Plant Pathology
Plant Science
First Report of Narcissus Mosaic Virus From Australia and From Iris
Australasian Plant Disease Notes
Plant Science
Agronomy
Crop Science
Regularized Moment Equations for Binary Gas Mixtures: Derivation and Linear Analysis
Physics of Fluids
Mechanics of Materials
Condensed Matter Physics
Mechanical Engineering
Fluid Flow
Transfer Processes
Computational Mechanics
On the Construction of Correct Mathematical Model of Chemical Kinetics
Vestnik Udmurtskogo Universiteta: Matematika, Mekhanika, Komp'yuternye Nauki
Transfer Processes
Mathematics
Fluid Flow
Computer Science
