Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Wei-Ngan Chin
Termination and Non-Termination Specification Inference
ACM SIGPLAN Notices
Computer Science
FixBag: A Fixpoint Calculator for Quantified Bag Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mapping Statecharts to Verilog for Hardware/Software Co-Specification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multiple Pre/Post Specifications for Heap-Manipulating Methods
Related publications
Expository Research Papers
SIAM Review
Computational Mathematics
Applied Mathematics
Theoretical Computer Science
On-Demand Generation and Characterization of a Microwave Time-Bin Qubit
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Hierarchical Quantum Classifiers
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Survey and Review
SIAM Review
Computational Mathematics
Applied Mathematics
Theoretical Computer Science
Direct Observation of Broadband Nonclassical States in a Room-Temperature Light–matter Interface
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Learning Hard Quantum Distributions With Variational Autoencoders
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Observation of Topological Uhlmann Phases With Superconducting Qubits
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
An Efficient Evolutionary Algorithm for Chance-Constrained Bi-Objective Stochastic Optimization
IEEE Transactions on Evolutionary Computation
Theoretical Computer Science
Computational Theory
Software
Mathematics
Engineering the Quantum-Classical Interface of Solid-State Qubits
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Quantum Annealing Versus Classical Machine Learning Applied to a Simplified Computational Biology Problem
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
