Maria Rita Di Berardini

	2011
20		Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Read Operators and their Expressiveness in Process Algebras EXPRESS 2011: 31-43
19		Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Automated Analysis of MUTEX Algorithms with FASE GandALF 2011: 45-59
18		Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Evaluating the Efficiency of Asynchronous Systems with FASE CoRR abs/1105.1369: (2011)
17		Massimo Callisto De Donato, Maria Rita Di Berardini: A Framework for the Evaluation of Worst-Case System Efficiency CoRR abs/1105.1370: (2011)
	2010
16		Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Shape Calculus: Timed Operational Semantics and Well-formedness CoRR abs/1011.2488: (2010)
15		Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comp. Sci. 20: 1-31 (2010)
14		Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Timed Operational Semantics and Well-Formedness of Shape Calculus. Sci. Ann. Comp. Sci. 20: 32-52 (2010)
	2009
13		Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: A Shape Calculus for Biological Processes. ICTCS 2009: 30-33
12		Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Time and Fairness in a Process Algebra with Non-blocking Reading. SOFSEM 2009: 193-204
11		Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Liveness of a mutex algorithm in a fair process algebra. Acta Inf. 46(3): 209-235 (2009)
10		Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu: Modeling and simulation of cardiac tissue using hybrid I/O automata. Theor. Comput. Sci. 410(33-34): 3149-3165 (2009)
	2008
9		Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. Electr. Notes Theor. Comput. Sci. 194(3): 51-67 (2008)
	2006
8		Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Checking a Mutex Algorithm in a Process Algebra with Fairness. CONCUR 2006: 142-157
7		Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of Actions in System Computations. Acta Inf. 43(2): 73-130 (2006)
6		Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of components in system computations. Theor. Comput. Sci. 356(3): 291-324 (2006)
	2005
5		Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli: Integrating Ontologies in Mobile Agents. WOA 2005: 37-45
4		Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of Components in System Computations. Electr. Notes Theor. Comput. Sci. 128(2): 35-52 (2005)
	2004
3		Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini: Code Mobility for Pervasive Computing. WETICE 2004: 431-432
	2003
2		Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Relating Fairness and Timing in Process Algebras. CONCUR 2003: 438-452
	2001
1		Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. APAQS 2001: 231-240

Coauthor Index

1	Ezio Bartocci	[9] [10] [13] [14] [15] [16]
2	Federico Buti	[18] [19]
3	Diletta Cacciagrano (Diletta Romana Cacciagrano)	[14] [16]
4	Flavio Corradini	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [18] [19] [20]
5	Rosario Culmone	[3] [5]
6	Massimo Callisto De Donato	[17] [18] [19]
7	Emilia Entcheva	[9] [10]
8	Radu Grosu	[9] [10]
9	Emanuela Merelli	[5] [13] [14] [15] [16]
10	Scott A. Smolka	[9] [10]
11	Luca Tesei	[13] [14] [15] [16]
12	Walter Vogler	[1] [2] [4] [6] [7] [8] [11] [12] [18] [19] [20]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page