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
