Jeremy Johnson

From MaRDI portal
Person:4447843

Available identifiers

zbMath Open johnson.jeremy-aMaRDI QIDQ4447843

List of research outcomes





PublicationDate of PublicationType
Generating formally verified quantum Fourier transform algorithms2024-12-04Paper
The 2010 Benjamin Franklin Medal in Computer and Cognitive Science presented to Shafrira Goldwasser, Ph.D.2014-08-15Paper
Boundary variation of Poisson's equation: a model problem for symbolic calculus of moving surfaces2012-08-06Paper
https://portal.mardi4nfdi.de/entity/Q44478452004-02-16Paper

Research outcomes over time

This page was built for person: Jeremy Johnson

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:4447843&oldid=11635873"
Powered by MediaWiki