Kun Wei Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kun Wei, Jim Woodcock, Ana Cavalcanti: Circus Time with Reactive Designs. UTP 2012: 68-87
2011
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kun Wei, Zhongliang Jing, Yuan-xiang Li, Su-liang Liu: Spiral band model for locating Tropical Cyclone centers. Pattern Recognition Letters 32(6): 761-770 (2011)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kun Wei, Jim Woodcock, Alan Burns: Timed Circus: Timed CSP with the Miracle. ICECCS 2011: 55-64
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda: Safety-critical Java in Circus. JTRES 2011: 20-29
2010
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kun Wei, Hongya Tuo, Zhongliang Jing: Improving binary ant colony optimization by adaptive pheromone and commutative solution update. BIC-TA 2010: 565-569
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kun Wei, Jim Woodcock, Alan Burns: A Timed Model of Circus with the Reactive Design Miracle. SEFM 2010: 315-319
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei: Modelling and Implementing Complex Systems with Timebands. SSIRI 2010: 1-13
2006
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kun Wei, James Heather: A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. Formal Aspects in Security and Trust 2006: 202-219
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James Heather, Kun Wei: Where Next for Formal Methods? Security Protocols Workshop 2006: 52-58
2005
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kun Wei, James Heather: Towards Verification of Timed Non-repudiation Protocols. Formal Aspects in Security and Trust 2005: 244-257
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kun Wei, James Heather: Embedding the Stable Failures Model of CSP in PVS. IFM 2005: 246-265
2003
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harvey B. Newman, Philippe Galvez, Gregory Denis, David Collados, Kun Wei, David Adamczyk: Global Platform for Rich Media Conferencing and Collaboration. CoRR cs.MM/0306116 (2003)

Coauthor Index

1David Adamczyk
[i1]
2Alan Burns
[c9] [c6] [c5]
3Ana Cavalcanti
[c10] [c8]
4David Collados
[i1]
5Gregory Denis
[i1]
6Philippe Galvez
[i1]
7James Heather
[c4] [c3] [c2] [c1]
8Zhongliang Jing
[j1] [c7]
9Yuan-xiang Li
[j1]
10Su-liang Liu
[j1]
11Harvey B. Newman
[i1]
12Marcel Oliveira
[c5]
13Hongya Tuo
[c7]
14Andy J. Wellings (Andrew J. Wellings)
[c8]
15Jim Woodcock (J. C. P. Woodcock)
[c10] [c9] [c8] [c6] [c5]
16Frank Zeyda
[c8]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 18:02:56 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page