Maria Rita Di Berardini

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
scientific article; zbMATH DE number 7319030 (Why is no real title available?)	2021-03-10	Paper
scientific article; zbMATH DE number 7319030 (Why is no real title available?) (available as arXiv preprint)	2021-03-10	Paper
scientific article; zbMATH DE number 7317251 (Why is no real title available?)	2021-03-03	Paper
scientific article; zbMATH DE number 7317251 (Why is no real title available?) (available as arXiv preprint)	2021-03-03	Paper
scientific article; zbMATH DE number 7020138 (Why is no real title available?)	2019-02-08	Paper
scientific article; zbMATH DE number 7020139 (Why is no real title available?)	2019-02-08	Paper
Towards Abstraction-Based Verification of Shape Calculus Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
Spatial networks of hybrid I/O automata for modeling excitable tissue Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Fairness of components in system computations	2013-09-25	Paper
Relating fairness and timing in process algebras. Lecture Notes in Computer Science	2010-03-30	Paper
Modeling and simulation of cardiac tissue using hybrid I/O automata Theoretical Computer Science	2009-08-07	Paper
Liveness of a mutex algorithm in a fair process algebra Acta Informatica	2009-05-08	Paper
Time and Fairness in a Process Algebra with Non-blocking Reading Lecture Notes in Computer Science	2009-02-03	Paper
Checking a Mutex Algorithm in a Process Algebra with Fairness CONCUR 2006 – Concurrency Theory	2007-09-04	Paper
Fairness of actions in system computations Acta Informatica	2006-09-12	Paper
Fairness of components in system computations Theoretical Computer Science	2006-05-29	Paper

Research outcomes over time

This page was built for person: Maria Rita Di Berardini