Filtros de búsqueda

Lista de obras de Mingsheng Ying

A Flowchart Language for Quantum Programming

artículo científico publicado en 2011

Automatic Test Pattern Generation for Robust Quantum Circuit Testing

artículo científico publicado en 2024

Characterizations of quantum automata

artículo científico publicado en 2004

CoqQ: Foundational Verification of Quantum Programs

scientific article published on 11 January 2023

Detecting Violations of Differential Privacy for Quantum Algorithms

artículo científico publicado en 2023

Differentiable Quantum Programming with Unbounded Loops

artículo científico publicado en 2023

Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication ⬇️

artículo científico publicado en 2007

Entanglement is not necessary for perfect discrimination between unitary operations

artículo científico publicado en 2007

Floyd--hoare logic for quantum programs

artículo científico publicado en 2011

Four locally indistinguishable ququad-ququad orthogonal maximally entangled states

artículo científico publicado en 2012

Generalized Region Connection Calculus

artículo científico publicado en 2004

Identification and distance measures of measurement apparatus

artículo científico publicado en 2006

Invariants of quantum programs: characterisations and generation

artículo científico publicado en 2017

Local distinguishability of multipartite unitary operations

scientific article published on 17 January 2008

Perfect distinguishability of quantum operations

artículo científico publicado en 2009

Quantum earth mover’s distance, a no-go quantum Kantorovich–Rubinstein theorem, and quantum marginal problem

artículo científico publicado en 2022

Reasoning about cardinal directions between extended objects

artículo científico publicado en 2010

Region Connection Calculus: Its models and composition table

artículo científico publicado en 2003

Soft constraint abstraction based on semiring homomorphism

artículo científico publicado en 2008

State-based control of fuzzy discrete-event systems.

artículo científico publicado en 2007

Supervisory control of fuzzy discrete event systems.

artículo científico publicado en 2005

Symbolic Execution for Quantum Error Correction Programs

scientific article published on 20 June 2024

Toward automatic verification of quantum programs

artículo científico publicado en 2018

Verification of quantum programs

artículo científico publicado en 2013

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda