Skip to main navigation
Skip to search
Skip to main content
Xi'an Jiaotong-Liverpool University Home
Home
Profiles
Research units
Research output
Projects
Activities
Search by expertise, name or affiliation
Design School
Xi'an Jiaotong-Liverpool University
Academic Unit
Overview
Fingerprint
Network
Profiles
(212)
Projects
(350)
Research output
(2293)
Activities
(2063)
Research output
Research output per year
1994
2021
2022
2023
2024
2025
863
Article
513
Conference Proceeding
197
Chapter
132
Paper
588
More
131
Exhibition/ Event/ Festival
104
Design, Architecture, Interiors
102
Review article
39
Book
31
Conference article
31
Other contribution
30
Patent
28
Digital, Visual or Audio-visual Creative Work
25
Editorial
16
Commissioned report
14
Textual work
13
Edited volume
10
Comment/debate
5
Software
4
Artefact
2
Letter
2
Short survey
1
Foreword/postscript
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Letter
Search results
2025
Shaping Formal Methods: Syntax, Typology and Computation
Dounas, T.
&
Lombardi, D.
,
23 Jan 2025
,
In:
Nexus Network Journal.
27
,
1
Research output
:
Contribution to journal
›
Letter
›
peer-review
Open Access
Formal Method
100%
Geometric Transformation
100%
Nexus
50%
2015
Cleaning of historic monuments: looking beyond the conventional approach?
Qian, X. Y.
,
Zhang, Q.
,
Wilkinson, S.
&
Achal, V.
,
15 Aug 2015
,
In:
Journal of Cleaner Production.
101
,
p. 180-181
2 p.
, 5357.
Research output
:
Contribution to journal
›
Letter
›
peer-review
Costs
100%
Economics
49%
Time
49%
Tourist
49%
Pollution
49%
4
Citations (Scopus)