Личный профиль
Внешние позиции
Fingerprint
Узнайте самые подробные результаты анализа активности Antonio Cerone. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
- 1 Аналогичные профили
Коллаборации и основные области исследования за последние пять лет
Недавнее внешнее сотрудничество на уровне страны/территории. Просмотрите подробные сведения, нажав на точки или
Проекты
- 2 Завершено
-
K-RSL4P: Kazakh-Russian Sign Language Processing: Data, Tools and Interaction
Sandygulova, A. (PI), Cerone, A. (Co-PI), Kimmelman, V. (Other Faculty/Researcher), Mukushev, M. (Other Faculty/Researcher) & Imashev, A. (Other Faculty/Researcher)
1/1/22 → 12/31/24
Проект
-
Analysis of cognitive properties of interactive systems using model checking
Cerone, A. (PI) & Tyler, B. (Co-PI)
1/1/20 → 12/31/22
Проект
-
Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction
Cerone, A. & Zhalgendinov, O., 2026, Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Revised Selected Papers. Proença, J., Fervari, R., Martins, M. A., Kahle, R. & Pluck, G. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 165-181 17 стр. (Lecture Notes in Computer Science; том 15551 LNCS).Результат исследований
-
Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive Psychology
Cerone, A. & Pluck, G., 2025, From Data to Models and Back - 11th International Symposium, DataMod 2023, Revised Selected Papers. Broccia, G. & Cerone, A. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 3-23 21 стр. (Lecture Notes in Computer Science; том 14618 LNCS).Результат исследований
-
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., янв. 2025, В: Journal of Logical and Algebraic Methods in Programming. 142, 101006.Результат исследований › рецензирование
-
Preface
Broccia, G. & Cerone, A., 2025, В: Lecture Notes in Computer Science. 14618 LNCS, стр. v-viРезультат исследований › рецензирование
-
Guest editorial for the special section on SEFM 2020 and 2021
de Boer, F. S. & Cerone, A., апр. 2024, В: Software and Systems Modeling. 23, 2, стр. 285-287 3 стр.Результат исследований › рецензирование
Открытый доступФайл