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
https://portal.mardi4nfdi.de/entity/Q2848134	2013-09-25	Paper
CONCUR 2003 - Concurrency Theory	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maria Rita Di Berardini