Antonio Cerone

zbMath Opencerone.antonioDBLP21/815WikidataQ123175865 ScholiaQ123175865MaRDI QIDQ276004

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar	2024-11-26	Paper
Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker	2022-02-21	Paper
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer	2016-08-26	Paper
Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach	2016-04-26	Paper
Translating stochastic CLS into Maude	2015-03-19	Paper
Translating stochastic CLS into MAUDE	2011-06-07	Paper
Model-checking user behaviour using interacting components	2010-01-04	Paper
scientific article; zbMATH DE number 5181778 (Why is no real title available?)	2007-08-22	Paper
scientific article; zbMATH DE number 2087511 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1696881 (Why is no real title available?)	2002-01-28	Paper
Axiomatisation of an interval calculus for theorem proving	2001-05-08	Paper
scientific article; zbMATH DE number 1487636 (Why is no real title available?)	2000-08-10	Paper
Time-based expressivity of time Petri nets for system specification	1999-04-28	Paper

Research outcomes over time

This page was built for person: Antonio Cerone