Research output per year
Research output per year
Search results
-
2025
Shaping Formal Methods: Syntax, Typology and Computation
Dounas, T. & Lombardi, D., 23 Jan 2025, In: Nexus Network Journal. 27, 1Research output: Contribution to journal › Letter › peer-review
Open Access -
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