The Weyl correspondence and time-frequency analysis | IEEE Journals & Magazine | IEEE Xplore