Defines the first stochastic semantics for TAPNs and implements SMC algorithms in TAPAAL, with a proof of well-behaved semantics and case-study demonstrations.
Efficient error models for fault-tolerant architectures and the Pauli twirling ap- proximation.Physical Review A, 2013.88(1):012314
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Q-DICE provides a hardware-aware emulation environment for distributed quantum circuits using QPU slicing, stitching, and noise modeling with Kraus operators, validated to 4% fidelity on experimental data.
citing papers explorer
-
TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets
Defines the first stochastic semantics for TAPNs and implements SMC algorithms in TAPAAL, with a proof of well-behaved semantics and case-study demonstrations.
-
Q-DICE: Quantum Distributed Interconnect Compiler and Emulator
Q-DICE provides a hardware-aware emulation environment for distributed quantum circuits using QPU slicing, stitching, and noise modeling with Kraus operators, validated to 4% fidelity on experimental data.