Antonio Cerone
Orcid: 0000-0003-2691-5279
According to our database1,
Antonio Cerone
authored at least 98 papers
between 1997 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
2025
0
1
2
3
4
5
6
7
8
9
10
1
1
1
1
1
2
2
1
5
3
4
3
2
1
1
2
5
4
8
3
3
4
5
5
8
2
1
1
1
1
3
2
2
1
1
2
1
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Multifaceted formal methods and their interdisciplinary role - From the cathedral of 'components as coalgebras' to the HCI context and the open source software bazaar.
J. Log. Algebraic Methods Program., 2025
2024
Softw. Syst. Model., April, 2024
2023
CoRR, 2023
Proceedings of the Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops, 2023
2022
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-030-38799-0, 2022
Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science.
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022
2021
In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL).
Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021
Proceedings of the Formal Methods for an Informal World, 2021
A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science.
Proceedings of the From Data to Models and Back, 2021
Proceedings of the From Data to Models and Back, 2021
A Demonstration of The Positive Manifold of Cognitive Test Inter-correlations, and how it Relates to General Intelligence, Modularity, and Lexical Knowledge.
Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021
2020
Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation.
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020
Proceedings of the From Data to Models and Back - 9th International Symposium, 2020
Proceedings of the From Data to Models and Back - 9th International Symposium, 2020
Proceedings of the From Data to Models and Back - 9th International Symposium, 2020
2019
J. Intell. Inf. Syst., 2019
Proceedings of the Software Engineering and Formal Methods, 2019
Proceedings of the Software Engineering and Formal Methods, 2019
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning.
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
2017
An empirical verification of a-priori learning models on mailing archives in the context of online learning activities of participants in free\libre open source software (FLOSS) communities.
Educ. Inf. Technol., 2017
2016
Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners' and Students' Perspectives.
Proceedings of the Software Technologies: Applications and Foundations, 2016
Proceedings of the Software Technologies: Applications and Foundations, 2016
A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016
2015
Proceedings of the Software Engineering and Formal Methods, 2015
Proceedings of the Software Engineering and Formal Methods, 2015
Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management.
Proceedings of the Software Engineering and Formal Methods, 2015
Proceedings of the Open and Big Data Management and Innovation, 2015
2014
An empirical study of FOSS developers patterns of contribution: Challenges for data linkage and analysis.
Sci. Comput. Program., 2014
A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer.
Proceedings of the Software Engineering and Formal Methods, 2014
An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities.
Proceedings of the Software Engineering and Formal Methods, 2014
Proceedings of the Software Engineering and Formal Methods, 2014
Proceedings of the Software Engineering and Formal Methods, 2014
Proceedings of the Software Engineering and Formal Methods, 2014
2013
Formal Analysis of Oscillatory Behaviors in Biological Regulatory Networks: An Alternative Approach.
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013
Proceedings of the Collaboration and Technology - 19th International Conference, 2013
2012
Expert Syst. Appl., 2012
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
The Role of Peer Review in Supporting the Sustainability of Technology-Enhanced Learning Environments.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government.
Proceedings of the 6th International Conference on Theory and Practice of Electronic Governance, 2012
2011
Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008.
Softw. Syst. Model., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Analysis of Collaboration Effectiveness and Individuals' Contribution in FLOSS Communities.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Learning and Activity Patterns in OSS Communities and their Impact on Software Quality.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the 9th International Conference on Software Engineering Research, 2011
Proceedings of the Advances in Web-Based Learning - ICWL 2011, 2011
2010
Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Certification of open-source software: A role for formal methods?
Comput. Syst. Sci. Eng., 2010
Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010
2009
Formal Aspects Comput., 2009
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009
2008
Formal analysis of human operator behavioural patterns in interactive surveillance systems.
Softw. Syst. Model., 2008
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008
2007
Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it, 2007
2006
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006
Proceedings of the Business Process Management, 4th International Conference, 2006
2005
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
2003
Proceedings of the Formal Methods and Software Engineering, 2003
Proceedings of the ACSW Frontiers 2003, 2003 ACSW Workshops, 2003
2002
Proceedings of the Fundamental Approaches to Software Engineering, 2002
2001
Proceedings of the Computing: The Australasian Theory Symposium, 2001
2000
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Theor. Comput. Sci., 1999
1998
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998
1997
Proceedings of the Hybrid and Real-Time Systems, 1997
Proceedings of the Algebraic Methodology and Software Technology, 1997
Proceedings of the Algebraic Methodology and Software Technology, 1997