| Preparation and characterization of coacervate microcapsules for the delivery of antimicrobial oyster peptides L Zhang, Y Liu, Z Wu, H Chen Drug development and industrial pharmacy 35 (3), 369-378, 2009 | 40 | 2009 |
| Antimicrobial Capacity and Antioxidant Activity of Enzymatic Hydrolysates of Protein from Rushan Bay Oyster (Crassostrea gigas) L Zhang, Y Liu, X Tian, Z Tian Journal of Food Processing and Preservation 39 (4), 404-412, 2015 | 25 | 2015 |
| Formal verification of cP systems using PAT3 and ProB Y Liu, R Nicolescu, J Sun Journal of Membrane Computing 2 (2), 80-94, 2020 | 16 | 2020 |
| Angiotensin Converting Enzyme Inhibitory, Antioxidant Activities, and Antihyperlipidaemic Activities of Protein Hydrolysates From Scallop Mantle (Chlamys Farreri) L Zhang, Y Liu, D Lu, J Han, X Lu, Z Tian, Z Wang International Journal of Food Properties 18 (1), 33-42, 2015 | 14 | 2015 |
| An efficient labelled nested multiset unification algorithm Y Liu, R Nicolescu, J Sun Journal of Membrane Computing 3 (3), 194-204, 2021 | 10 | 2021 |
| A Sublinear Sudoku Solution in cP Systems and its Formal Verification Y Liu, R Nicolescu, J Sun, A Henderson Computer Science Journal of Moldova 29 (1), 85, 2021 | 5 | 2021 |
| Formal verification of cP systems using Coq Y Liu, R Nicolescu, J Sun Journal of Membrane Computing 3 (3), 205-220, 2021 | 4 | 2021 |
| Logarithmic sat solution with membrane computing R Nicolescu, MJ Dinneen, J Cooper, A Henderson, Y Liu Axioms 11 (2), 66, 2022 | 2 | 2022 |
| Towards automated deduction in cP systems Y Liu, R Nicolescu, J Sun Information Sciences 587, 435-449, 2022 | 1 | 2022 |
| Formal verification of biologically inspired computing models Y Liu PhD Thesis-University of Auckland, 2022 | 1 | 2022 |
| Formal approach to cP system verification Y Liu, R Nicolescu, J Sun The 8th Asian Conference on Membrane Computing (ACMC2019), 232, 2019 | 1 | 2019 |
| cPV–Simulation and Verification for Membrane Computing Y Liu, J Sun, R Nicolescu, H Wang 2022 IEEE 22nd International Conference on Software Quality, Reliability and …, 2022 | | 2022 |
| Multiset Unification and cP System Simulation Y Liu, R Nicolescu, J Sun The International Conference on Membrane Computing 2020, 2020 | | 2020 |
Jing SunAssociate Professor, School of Computer Science, University of Auckland, New Zealand在 auckland.ac.nz 的电子邮件经过验证
