WHAT'S NEW:
WHAT'S NEW:
2025 - A logical perspective on intending to keep a true secret,
(with Alessandro Aldini, Davide Fazio, Raffaele Mascella, Mirko Tagliaferri)
Journal of Logic and Computation, Volume 35, Issue 5, July 2025, exaf028, DOI: <https://doi.org/10.1093/logcom/exaf028>
2025 - Towards a Readability Criterion for Humans and Machines
(with Pedro Quaresma)
In: Proença, J., Fervari, R., Martins, M.A., Kahle, R., Pluck, G. (eds)
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops. SEFM 2024. Lecture Notes in Computer Science, vol 15551, pp. 254-270, Springer, Cham.
DOI: <https://doi.org/10.1007/978-3-031-94748-3_19>