United Nations University Institute on Computing and Society

Statistics

Publications

135

Citations

2.5K

Authors

Location

Macao, China

Also known as UNU-CS · 聯合國大學計算與社會研究所

United Nations University Institute on Computing and Society is a facility institution in Macao, China known for computer science, computing, and formal methods.

Homepage Wikipedia ROR

Top concepts

Computer ScienceComputingFormal MethodsModel CheckingE-governmentSocial SciencesSystems ModelingSoftware DesignComputer EngineeringUml Modeling

Publications

135

rCOS: A refinement calculus of object systems

He Jifeng, Xiaoshan Li, Zhiming Liu · Theoretical Computer Science · 2006 · 102 citations

Computing, Computer Science, Formal Methods +13

A formal semantics of UML sequence diagram

Xiaoshan Li, Zhiming Liu, He Jifeng · 2004 · 88 citations

Computing, Computer Science, Diagramming +15

Formal and use-case driven requirement analysis in UML

Xin Li, Z. Liu, Jun He · 2002 · 53 citations

Engineering, Computer Science, Formal Methods +13

WaterBase: SWAT in an Open Source GIS

Luis F. De León, C. W. George · The Open Hydrology Journal · 2008 · 47 citations · Full text

Natural Resources, Geoinformatics, Water Resources Management +16

Consistent Code Generation from UML Models

Quan Long, Zhiming Liu, Xiaoshan Li et al. · 2005 · 46 citations

Computing, Computer Science, Diagramming +15

1–5 of 135

Authors

ZD
Zamira Dzhusupova
United Nations University Institute on Computing and Society, China
14 publications · 295 citations
6
h-index
JI
Juan Ignacio Perna
United Nations University Institute on Computing and Society, China
11 publications · 39 citations
4
h-index
DR
Don Rodney Junio
United Nations University Institute on Computing and Society, China
6 publications · 30 citations
2
h-index
VC
Vanessa Catan
United Nations University Institute on Computing and Society, China
1 publications · 11 citations
1
h-index

1–4 of 4