Projects per year
Personal profile
External positions
Fingerprint
Dive into the research topics where Antonio Cerone is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
K-RSL4P: Kazakh-Russian Sign Language Processing: Data, Tools and Interaction
Sandygulova, A., Cerone, A., Kimmelman, V., Mukushev, M. & Imashev, A.
1/1/22 → 12/31/24
Project: FDCRGP
-
Analysis of cognitive properties of interactive systems using model checking
1/1/20 → 12/31/22
Project: FDCRGP
-
Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar
Cerone, A., Jan 2025, In: Journal of Logical and Algebraic Methods in Programming. 142, 101006.Research output: Contribution to journal › Article › peer-review
-
Guest editorial for the special section on SEFM 2020 and 2021
de Boer, F. S. & Cerone, A., Apr 2024, In: Software and Systems Modeling. 23, 2, p. 285-287 3 p.Research output: Contribution to journal › Editorial › peer-review
Open Access -
Using Maude to Model Motivation in Human Behaviour
Cerone, A. & Zhalgendinov, O., 2024, Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Revised Selected Papers. Aldini, A. (ed.). Springer Science and Business Media Deutschland GmbH, p. 72-89 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14568 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A BRDL-Based Framework for Motivators and Emotions
Cerone, A., 2023, Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Revised Selected Papers. Masci, P., Bernardeschi, C., Palmieri, M., Graziani, P. & Koddenbrock, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 351-365 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13765 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Citations (Scopus) -
Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science
Pluck, G., Cerone, A. & Villagomez-Pacheco, D., 2023, Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Revised Selected Papers. Masci, P., Bernardeschi, C., Palmieri, M., Graziani, P. & Koddenbrock, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 324-350 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13765 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus)