Stationarity of the Gabor basis and derivation of Janssen's formula | IEEE Conference Publication | IEEE Xplore