Maria Rita Di Berardini

Maria Rita Di Berardini

Università degli Studi di Camerino - Camerino / Italy
Others
AD Scientific Index ID: 5993755
University of Camerino
person_outline Maria Rita Di Berardini's MOST POPULAR ARTICLES
1-) Modeling and simulation of cardiac tissue using hybrid I/O automataE Bartocci, F Corradini, MR Di Berardini, E Entcheva, SA Smolka, R GrosuTheoretical Computer Science 410 (33-34), 3149-3165, 2009442009
2-) Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.E Bartocci, F Corradini, MR Di Berardini, E Merelli, L TeseiScientific Annals of Computer Science 20, 2010372010
3-) PAFAS at work: comparing the worst-case efficiency of three buffer implementationsF Corradini, MR Di Berardini, W VoglerProceedings Second Asia-Pacific Conference on Quality Software, 231-240, 2001192001
4-) Timed operational semantics and well-formedness of shape calculusE Bartocci, DR Cacciagrano, MR Di Berardini, E Merelli, L TeseiScientific Annals of Computer Science 20, 33, 2010172010
5-) Fairness of actions in system computationsF Corradini, MRD Berardini, W VoglerActa Informatica 43, 73-130, 2006132006