Zilin Chen

From MaRDI portal
Person:2115978

Available identifiers

zbMath Open chen.zilinMaRDI QIDQ2115978

List of research outcomes





PublicationDate of PublicationType
Robust atom optics for Bragg atom interferometry2024-06-21Paper
Far away from home: investors' underreaction to geographically dispersed information2022-03-15Paper
Cogent: uniqueness types and certifying compilation2021-12-27Paper
Refinement through restraint: bringing down the cost of verification2017-05-10Paper
A Framework for the Automatic Formal Verification of Refinement from Cogent to C2016-10-27Paper

Research outcomes over time

This page was built for person: Zilin Chen

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