University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Wei, K"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article | Thesis
Number of items: 7.

Article

Machado, JAF, Santos Silva, Joao and Wei, K (2016) Quantiles, Corners, and the Extensive Margin of Trade European Economic Review, 89. pp. 73-84.

Cao, Y, Wei, K, Min, G, Weng, J, Yang, Xin and Sun, Zhili (2016) A Geographic Multi-Copy Routing Scheme for DTNs With Heterogeneous Mobility IEEE Systems Journal.

Santos Silva, JMC, Tenreyro, S and Wei, K (2014) Estimating the extensive margin of trade JOURNAL OF INTERNATIONAL ECONOMICS, 93 (1). pp. 67-75.

Heather, J and Wei, K (2009) Where next for formal methods? Lecture Notes in Computer Science, 5087. pp. 52-58.

Wei, K and Heather, J (2007) A theorem-proving approach to verification of fair non-repudiation protocols Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4691 L. pp. 202-219.

Wei, K and Heather, J (2005) Embedding the stable failures model of CSP in PVS Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3771 L. pp. 246-265.

Thesis

Wei, Kun. (2006) Analysis of liveness through proof. Doctoral thesis, University of Surrey (United Kingdom)..

This list was generated on Wed Nov 22 09:28:40 2017 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800