Seguir
Kun Wei
Kun Wei
Computer Science, University of York
Dirección de correo verificada de york.ac.uk
Título
Citado por
Citado por
Año
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
592014
Safety-critical Java programs from Circus models
A Cavalcanti, F Zeyda, A Wellings, J Woodcock, K Wei
Real-Time Systems 49, 614-667, 2013
362013
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
312011
Circus Time with Reactive Designs
K Wei, J Woodcock, A Cavalcanti
Unifying Theories of Programming: 4th International Symposium, UTP 2012 …, 2013
262013
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
192007
Embedding the stable failures model of CSP in PVS
K Wei, J Heather
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven …, 2005
172005
Timed Circus: timed CSP with the miracle
K Wei, J Woodcock, A Burns
2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011
162011
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
152010
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
142012
New Circus Time
K Wei, J Woodcock, A Cavalcanti
University of York, Tech. Rep., February, 2012
142012
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
122008
Towards verification of timed non-repudiation protocols
K Wei, J Heather
International Workshop on Formal Aspects in Security and Trust, 244-257, 2005
112005
Formalising the timebands model in timed Circus
K Wei, J Woodcock, A Burns
University of York, Tech. Rep., 2010
92010
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
92009
Modelling temporal behaviour in complex systems with timebands
K Wei, J Woodcock, A Burns
Formal Methods in System Design 43, 520-551, 2013
72013
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
72010
Reactive Designs of Interrupts in Circus Time
K Wei
Theoretical Aspects of Computing–ICTAC 2013: 10th International Colloquium …, 2013
32013
Operational Semantics for Circus Time
K Wei, J Woodcock, A Cavalcanti
Technical report, Computer Science, University of York, UK, 2013
22013
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
22009
Timebands Framework–2011
A Burns, K Wei, J Woodcock, IJ Hayes, CB Jones
University of York, UK, 2011
12011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20