Antonio Cerone

Available identifiers

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
https://portal.mardi4nfdi.de/entity/Q5754519	2007-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4738312	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q2767163	2002-01-28	Paper
Axiomatisation of an interval calculus for theorem proving	2001-05-08	Paper
https://portal.mardi4nfdi.de/entity/Q4494120	2000-08-10	Paper
Time-based expressivity of time Petri nets for system specification	1999-04-28	Paper

This page was built for person: Antonio Cerone