Login / Signup
Jiaxiang Zhou
ORCID
Publication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 1
Top Topics
Life Cycle
Location Aware
Mobile Platforms
Web Development
Top Venues
MSR
</>
Publications
</>
Elliott Wen
,
Jiaxiang Zhou
,
Xiapu Luo
,
Giovanni Russello
,
Jens Dietrich
Keep Me Updated: An Empirical Study on Embedded JavaScript Engines in Android Apps.
MSR
(2024)
Rajeev Alur
,
David Arney
,
Elsa L. Gunter
,
Insup Lee
,
Jaime Lee
,
Wonhong Nam
,
Frederick Pearce
,
Stephen Van Albert
,
Jiaxiang Zhou
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.
Int. J. Softw. Tools Technol. Transf.
5 (4) (2004)