Making presentation math computable
a context-sensitive approach for translating LaTeX to computer algebra systemsWuppertal, 2021
Modeling and diagnosis of the stratospheric circulation
Wuppertal, December 14, 2021More efficient techniques for adaptively-secure cryptography
Wuppertal, September 28, 2021