Matteo Cimini

	2011
6		Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani: Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca FOCLASA 2011: 1-19
5		Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Distributivity. LATA 2011: 80-91
4		Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: SOS rule formats for zero and unit elements. Theor. Comput. Sci. 412(28): 3045-3071 (2011)
	2010
3		Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi: Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus. TGC 2010: 73-86
2		Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: On Rule Formats for Zero and Unit Elements. Electr. Notes Theor. Comput. Sci. 265: 145-160 (2010)
	2009
1		Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir: A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages SOS 2009: 1-16

Coauthor Index

1	Luca Aceto	[1] [2] [4] [5] [6]
2	Claudio Sacerdoti Coen	[3]
3	Anna Ingólfsdóttir	[1] [2] [4] [5] [6]
4	Mohammad Reza Mousavi	[2] [4] [5]
5	Michel A. Reniers	[2] [4] [5]
6	Arni Hermann Reynisson	[6]
7	Davide Sangiorgi	[3]
8	Steinar Hugi Sigurdarson	[6]
9	Marjan Sirjani	[6]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page