Yu-Hui Lin

From MaRDI portal
Person:301484

Available identifiers

zbMath Open lin.yuhuiMaRDI QIDQ301484

List of research outcomes





PublicationDate of PublicationType
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC2019-09-18Paper
Automating Event-B invariant proofs by rippling and proof patching2019-03-13Paper
Non-radial cost Luenberger productivity indicator2018-05-24Paper
Productivity change of Taiwanese farmers' credit unions: a nonparametric metafrontier Malmquist-Luenberger productivity indicator2016-06-30Paper
A Graphical Language for Proof Strategies2014-01-17Paper

Research outcomes over time

This page was built for person: Yu-Hui Lin

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