New
Every arXiv paper, its researchers & institutions — mapped.
◍
wove
paper
Search
Papers
Researchers
Institutions
Sign in
papers
Publications (2)
cs.LO
2010
A Calculus of Consistent Component-based Software Updates
Xiaohui Xu, Linpeng Huang, Dejun Wang +1
nucl-th
2017
Theoretical studies on the impact of point defect on the structures of different uranium silicides
Miao He, Shiyu Du, Heming He +6