Maria Rita Di Berardini

Available identifiers

zbMath Open di-berardini.maria-ritaMaRDI QIDQ1015392

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4965857	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4964718	2021-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4621138	2019-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4621139	2019-02-08	Paper
Towards Abstraction-Based Verification of Shape Calculus	2014-03-21	Paper
Spatial networks of hybrid I/O automata for modeling excitable tissue	2014-01-17	Paper
Fairness of components in system computations	2013-09-25	Paper
Relating fairness and timing in process algebras.	2010-03-30	Paper
Modeling and simulation of cardiac tissue using hybrid I/O automata	2009-08-07	Paper
Liveness of a mutex algorithm in a fair process algebra	2009-05-08	Paper
Time and Fairness in a Process Algebra with Non-blocking Reading	2009-02-03	Paper
Checking a Mutex Algorithm in a Process Algebra with Fairness	2007-09-04	Paper
Fairness of actions in system computations	2006-09-12	Paper
Fairness of components in system computations	2006-05-29	Paper

Research outcomes over time

This page was built for person: Maria Rita Di Berardini