Kun Wei

Search results

• 2021

  Improved Λp Elastic Scattering Cross Sections between 0.9 and 2.0 GeV/c as a Main Ingredient of the Neutron Star Equation of State

  (CLAS Collaboration), 31 Dec 2021, In: Physical Review Letters. 127, 27, 272303.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Observation of Beam Spin Asymmetries in the Process ep →e′π+π-X with CLAS12

  (CLAS Collaboration), 12 Apr 2021, In: Physical Review Letters. 126, 15, 6 p., 152501.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Photoproduction of the f2 (1270) Meson Using the CLAS Detector

  (CLAS Collaboration), 25 Feb 2021, In: Physical Review Letters. 126, 8, 082002.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2015

  Towards Algebraic Semantics of Circus Time

  Wei, K. & Woodcock, J., 2015, Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). Springer, Vol. 8963. p. 84-104 21 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2013

  Modelling temporal behaviour in complex systems with Timebands

  Wei, K., Woodcock, J. & Burns, A., Dec 2013, In: Formal Methods in System Design. 43, 3, p. 520-551 32 p.

  Research output: Contribution to journal › Article › peer-review

• Modelling temporal behaviour in complex systems with Timebands

  Wei, K., Woodcock, J. & Burns, A., 2013, In: Formal Methods in Systems Design. 43, 3, p. 520-551 32 p.

  Research output: Contribution to journal › Article › peer-review

• Safety-critical Java programs from Circus models

  Cavalcanti, A. L. C., Zeyda, F., Wellings, A., Woodcock, J. & Wei, K., Sept 2013, In: Real-Time Systems. 49, 5, p. 614-667 54 p.

  Research output: Contribution to journal › Article › peer-review
• 2012

  Circus Time with Reactive Designs

  Woodcock, J., Wei, K. & Cavalcanti, A. L. C., 2012, Unifying Theories of Programming . Springer, p. 68-87 (Lecture Notes in Computer Science; vol. 7681).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Modelling Temporal Behaviour in Complex Systems with Timebands

  Wei, K., Woodcock, J. & Burns, A., 2012, Conquering Complexity. Hinchey, M. & Coyle, L. (eds.). London : Springer, p. 277-307 31 p.

  Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

  File
• 2011

  Safety-Critical Java in Circus

  Cavalcanti, A. L. C., Wellings, A., Woodcock, J., Wei, K. & Zeyda, F., 2011, 9th Workshop on Java Technologies for Real-Time and Embedded System. p. 20-29 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Timed circus: Timed CSP with the miracle

  Wei, K., Woodcock, J. & Burns, A., 25 Jul 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society, p. 55-64 10 p. 5773380

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  File
• 2010

  A Timed Model of Circus with the Reactive Design Miracle

  Wei, K., Woodcock, J. & Burns, A., 2010, p. 315-319.

  Research output: Contribution to conference › Paper

• Modelling and Implementing Complex Systems with Timebands

  Woodcock, J., Oliveira, M., Burns, A. & Wei, K., 2010, p. 1-13.

  Research output: Contribution to conference › Paper › peer-review