Quantum Models for Flux-Driven Superconducting Traveling-Wave Parametric Amplifiers with Different Nonlinear Junction Topologies | IEEE Conference Publication | IEEE Xplore