Publications
Antonio Cerone
’s Publications
2024
Antonio Cerone,
Multifaceted Formal Methods and their Interdisciplinary Role - from the Cathedral of `Components as Coalgebras’ to the HCI Context and the Open Source Software Bazaar
,
JLAMP
(2024), In press.
Antonio Cerone and Olzhas Zhangeldinov,
Using Maude to Model Motivation in Human Behaviour
, In: SEFM 2023 Collocated Workshops, Lecture Notes in Computer Science, vol. 14568, Springer (2024), In press.
Presented at
CIFMA 2023