Yichen Tao

From MaRDI portal
Person:6168988

Available identifiers

zbMath Open tao.yichenMaRDI QIDQ6168988

List of research outcomes





PublicationDate of PublicationType
Verifying programs with logic and extended proof rules: deep embedding vs. shallow embedding2024-09-27Paper
Floquet isospectrality of the zero potential for discrete periodic Schrödinger operators2024-08-05Paper
Adaptivity gap for influence maximization with linear threshold model on trees2024-02-28Paper
\textsf{LOGIC}: a Coq library for logics2023-08-10Paper
"Floquet Isospectrality of the Zero Potential for Discrete Periodic Schr\""odinger Operators"N/APaper

Research outcomes over time

This page was built for person: Yichen Tao

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