Juris Hartmanis: fundamental contributions to isomorphism problems | IEEE Conference Publication | IEEE Xplore