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
(215)
Projects
(357)
Research output
(2351)
Activities
(2134)
Research output
Research output per year
1994
2021
2022
2023
2024
2025
898
Article
524
Conference Proceeding
201
Chapter
135
Exhibition/ Event/ Festival
593
More
132
Paper
104
Review article
104
Design, Architecture, Interiors
40
Book
32
Patent
31
Conference article
31
Other contribution
28
Digital, Visual or Audio-visual Creative Work
24
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)