UN
United Nations University Institute on Globalization, Culture and Mobility
Barcelona, Spain
700
Publications
23,721
Citations
Loading papers...
Search by keywords
Filter by Type
- Article (478)
- Book Chapter (126)
- Preprint (37)
- Book (11)
- Review (5)
Filter by Open Access Type
- Open Access (317)
- Closed Access (358)
Filter by Authors
- Tomasz Janowski (25)
- Dang Van Hung (23)
- Zhiming Liu (21)
- Elsa Estévez (18)
- He Jifeng (16)
Filter by Topics
- Formal Methods in Verification (68)
- Advanced Software Engineering Methodologies (34)
- Logic, programming, and type systems (31)
- Model-Driven Software Engineering Techniques (30)
- E-Government and Public Services (24)