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
Department of Architecture
Academic Unit
Design School
Overview
Fingerprint
Network
Profiles
(35)
Projects
(80)
Research output
(792)
Activities
(978)
Research output
Research output per year
2000
2022
2023
2024
2025
206
Conference Proceeding
132
Article
101
Chapter
101
Exhibition/ Event/ Festival
252
More
91
Design, Architecture, Interiors
40
Paper
26
Digital, Visual or Audio-visual Creative Work
13
Book
12
Editorial
11
Edited volume
10
Comment/debate
10
Textual work
9
Review article
9
Other contribution
8
Commissioned report
5
Conference article
3
Artefact
2
Patent
1
Letter
1
Short survey
1
Software
Research output per year
Research output per year
1 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%