| Folate-decorated PEG–PLGA nanoparticles with silica shells for capecitabine controlled and targeted delivery K Wei, X Peng, F Zou International Journal of Pharmaceutics 464 (1-2), 225-233, 2014 | 59 | 2014 |
| Safety-critical Java programs from Circus models A Cavalcanti, F Zeyda, A Wellings, J Woodcock, K Wei Real-Time Systems 49, 614-667, 2013 | 34 | 2013 |
| Safety-critical Java in circus A Cavalcanti, A Wellings, J Woodcock, K Wei, F Zeyda Proceedings of the 9th International Workshop on Java Technologies for Real …, 2011 | 31 | 2011 |
| Circus Time with Reactive Designs K Wei, J Woodcock, A Cavalcanti Unifying Theories of Programming: 4th International Symposium, UTP 2012 …, 2013 | 26 | 2013 |
| A theorem-proving approach to verification of fair non-repudiation protocols K Wei, J Heather Formal Aspects in Security and Trust: Fourth International Workshop, FAST …, 2007 | 19 | 2007 |
| Timed Circus: timed CSP with the miracle K Wei, J Woodcock, A Burns 2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011 | 18 | 2011 |
| Embedding the stable failures model of CSP in PVS K Wei, J Heather Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven …, 2005 | 17 | 2005 |
| A timed model of Circus with the reactive design miracle K Wei, J Woodcock, A Burns 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 16 | 2010 |
| Refinement of the Parallel CDx F Zeyda, A Cavalcanti, A Wellings, J Woodcock, K Wei University of York, Department of Computer Science, York, UK, Tech. Rep, 2012 | 14 | 2012 |
| New Circus Time K Wei, J Woodcock, A Cavalcanti University of York, Tech. Rep., February, 2012 | 14 | 2012 |
| Improved dynamic image fusion scheme for infrared and visible sequence based on image fusion system G Xiao, K Wei, Z Jing 2008 11th International Conference on Information Fusion, 1-6, 2008 | 12 | 2008 |
| Towards verification of timed non-repudiation protocols K Wei, J Heather International Workshop on Formal Aspects in Security and Trust, 244-257, 2005 | 11 | 2005 |
| Embedding the timed Circus in PVS K Wei, J Woodcock, A Burns University of York, Tech. Rep.. It is available at http://www-users. cs …, 2009 | 10 | 2009 |
| Formalising the timebands model in timed Circus K Wei, J Woodcock, A Burns University of York, Tech. Rep., 2010 | 9 | 2010 |
| Modelling temporal behaviour in complex systems with timebands K Wei, J Woodcock, A Burns Formal Methods in System Design 43, 520-551, 2013 | 7 | 2013 |
| Modelling and implementing complex systems with timebands J Woodcock, M Oliveira, A Burns, K Wei 2010 Fourth International Conference on Secure Software Integration and …, 2010 | 7 | 2010 |
| Reactive Designs of Interrupts in Circus Time K Wei Theoretical Aspects of Computing–ICTAC 2013: 10th International Colloquium …, 2013 | 3 | 2013 |
| Operational Semantics for Circus Time K Wei, J Woodcock, A Cavalcanti Technical report, Computer Science, University of York, UK, 2013 | 2 | 2013 |
| Typhoon cloud system segmentation with multichannel images using vector-valued Chan-Vese model K Wei, Y Li, Z Jing, C Shi MIPPR 2009: Multispectral Image Acquisition and Processing 7494, 271-277, 2009 | 2 | 2009 |
| Towards Algebraic Semantics of Circus Time K Wei, J Woodcock Unifying Theories of Programming: 5th International Symposium, UTP 2014 …, 2015 | 1 | 2015 |
