Yu-Hui Lin
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC (available as arXiv preprint) | 2019-09-18 | Paper |
| Automating Event-B invariant proofs by rippling and proof patching Formal Aspects of Computing | 2019-03-13 | Paper |
| Non-radial cost Luenberger productivity indicator European Journal of Operational Research | 2018-05-24 | Paper |
| Productivity change of Taiwanese farmers' credit unions: a nonparametric metafrontier Malmquist-Luenberger productivity indicator CEJOR. Central European Journal of Operations Research | 2016-06-30 | Paper |
| A graphical language for proof strategies Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Research outcomes over time
This page was built for person: Yu-Hui Lin
