List of works - Qiao Xiang - Paulina

List of works by Qiao Xiang

A Quantum Abacus for Teaching Quantum Algorithms

scientific article published on 15 March 2024

Advancing Web 3.0: Making Smart Contracts Smarter on Blockchain

scientific article published on 08 May 2024

Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification

scientific article published on 01 September 2023

Diagnosing Distributed Routing Configurations Using Sequential Program Analysis

scientific article published on 06 September 2023

On the Design and Implementation of a Quantum Architectures Knowledge Unit for a CS Curriculum

scientific article published on 03 March 2023

Rethinking DNS Configuration Verification with a Distributed Architecture

scientific article published on 02 July 2024

Paulina is supported by:

About Paulina

Help