| 2024 | SEFM | Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction. | Antonio Cerone, Olzhas Zhalgendinov |
| 2023 | SEFM | Using Maude to Model Motivation in Human Behaviour. | Antonio Cerone, Olzhas Zhalgendinov |
| 2022 | SEFM | A BRDL-Based Framework for Motivators and Emotions. | Antonio Cerone |
| 2022 | SEFM | Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science. | Graham Pluck, Antonio Cerone, David Villagomez-Pacheco |
| 2021 | CogSci | A Demonstration of The Positive Manifold of Cognitive Test Inter-correlations, and how it Relates to General Intelligence, Modularity, and Lexical Knowledge. | Graham Pluck, Antonio Cerone |
| 2021 | ICTAC | Modelling and Analysing Cognition and Interaction. | Antonio Cerone |
| 2021 | SEFM | In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL). | Antonio Cerone, Diana Murzagaliyeva, Nuray Nabiyeva, Ben Tyler, Graham Pluck |
| 2020 | CIKM | Handshape Classification in a Reverse Dictionary of Sign Languages for the Deaf. | Alikhan Abutalipov, Aigerim Janaliyeva, Medet Mukushev, Antonio Cerone, Anara Sandygulova |
| 2020 | CIKM | A Formal Model for the Simulation and Analysis of Early Biofilm Formation. | Antonio Cerone, Enrico Marsili |
| 2020 | CIKM | A Formal Model for Emulating the Generation of Human Knowledge in Semantic Memory. | Antonio Cerone, Graham Pluck |
| 2020 | SEFM | Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation. | Antonio Cerone, Diana Murzagaliyeva |
| 2019 | FM | An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning. | Aigerim Aibassova, Antonio Cerone, Mukhtar Tashkenbayev |
| 2019 | FM | Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude. | Antonio Cerone, Peter Csaba lveczky |
| 2019 | FM | A Survey of Learning Methods in Open Source Software. | Aidarbek Suleimenov, Assiya Khuzyakhmetova, Antonio Cerone |
| 2019 | SEFM | Behaviour and Reasoning Description Language (BRDL). | Antonio Cerone |
| 2019 | SEFM | Interdisciplinary Aspects of Cognition. | Antonio Cerone, Siamac Fazli, Kathy L. Malone, Ahti-Veikko Pietarinen |
| 2016 | SEFM | A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems. | Antonio Cerone |
| 2015 | SEFM | Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management. | Antonio Cerone |
| 2015 | SEFM | A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems. | Suryana Setiawan, Antonio Cerone, Paolo Milazzo |
| 2015 | SEFM | On Integrating Social and Sensor Networks for Emergency Management. | Farshad Shams, Antonio Cerone, Rocco De Nicola |
| 2014 | SEFM | Research Challenges in Modelling Ecosystems. | Antonio Cerone, Marco Scotti |
| 2014 | SEFM | OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities. | Patrick Mukala, Antonio Cerone, Franco Turini |
| 2014 | SEFM | Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives. | Patrick Mukala, Antonio Cerone, Franco Turini |
| 2014 | SEFM | An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities. | Patrick Mukala, Antonio Cerone, Franco Turini |
| 2014 | SEFM | A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer. | Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone |
| 2013 | ITiCSE | A pilot project on non-conventional learning. | Sara Fernandes, Antonio Cerone, Lus Soares Barbosa |
| 2013 | SEFM | Analysis of FLOSS Communities as Learning Contexts. | Sara Fernandes, Antonio Cerone, Lus Soares Barbosa |
| 2013 | SEFM | Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality. | Suryana Setiawan, Antonio Cerone |
| 2012 | SEFM | Modelling Population Dynamics Using Grid Systems. | Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, Suryana Setiawan |
| 2012 | SEFM | Modelling and Knowledge Management for Sustainable Development. | Antonio Cerone, Alexeis Garcia-Perez |
| 2012 | SEFM | Innovation and Sustainability in Education. | Antonio Cerone, Donatella Persico |
| 2012 | SEFM | A Preliminary Analysis of Learning Awareness in FLOSS Projects. | Sara Fernandes, Antonio Cerone, Lus Soares Barbosa |
| 2012 | SEFM | FLOSS in Technology-Enhanced Learning. | Sara Fernandes, Antonio Cerone, Lus Soares Barbosa, Pantelis M. Papadopoulos |
| 2012 | SEFM | The Role of Peer Review in Supporting the Sustainability of Technology-Enhanced Learning Environments. | Pantelis M. Papadopoulos, Antonio Cerone |
| 2012 | SEFM | Using Open Source Projects in Higher Education: A Two-Way Certification Framework. | Pantelis M. Papadopoulos, Ioannis Stamelos, Antonio Cerone |
| 2011 | SERA | Towards Automatic Generation of Ontology-Based Antipattern Bayesian Network Models. | Dimitrios Settas, Antonio Cerone, Stefan Fenz |
| 2006 | BPM | Verifying BPEL Workflows Under Authorisation Constraints. | Xiangpeng Zhao, Antonio Cerone, Padmanabhan Krishnan |
| 2005 | SEFM | Formal Analysis of Human-computer Interaction using Model-checking. | Antonio Cerone, Peter A. Lindsay, Simon Connelly |
| 2003 | ICFEM | A Z Based Approach to Verifying Security Protocols. | Benjamin W. Long, Colin J. Fidge, Antonio Cerone |
| 2002 | FASE | Implementing Condition/Event Nets in the Circal Process Algebra. | Antonio Cerone |
| 2000 | FMCAD | A Methodology for the Formal Analysis of Asynchronous Micropipelines. | Antonio Cerone, George J. Milne |