Marisa Venturini Zilli

2006
25	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Finite horizon analysis of Markov Chains with the Murphi verifier. STTT 8(4-5): 397-409 (2006)
2004
24	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Bounded Probabilistic Model Checking with the Muralpha Verifier. FMCAD 2004: 214-229
23	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Exploiting transition locality in automatic verification of finite-state concurrent systems. STTT 6(4): 320-341 (2004)
2003
22	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Integrating RAM and Disk Based Verification within the Mur-phi Verifier. CHARME 2003: 277-282
21	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. CHARME 2003: 394-409
20	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli: Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. HSCC 2003: 141-155
19	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. ICTCS 2003: 58-71
18	EE	Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized regular expressions. Acta Inf. 39(1): 31-70 (2003)
2002
17	EE	Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD 2002: 202-219
2001
16	EE	Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324
15	EE	Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274
14	EE	Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized Regular Expressions. Electr. Notes Theor. Comput. Sci. 62: (2001)
1999
13		Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli: A Comprehensive Setting for Matching and Unification over Iterative Terms. Fundam. Inform. 39(3): 273-304 (1999)
12	EE	Benedetto Intrigila, Marisa Venturini Zilli: Orders, Reduction Graphs and Spectra. Theor. Comput. Sci. 212(1-2): 211-231 (1999)
1996
11		Benedetto Intrigila, Marisa Venturini Zilli: A Remark on Infinite Matching vs Infinite Unification. J. Symb. Comput. 21(3): 289-292 (1996)
1994
10		Paola Inverardi, Marisa Venturini Zilli: Rational Rewriting. MFCS 1994: 433-442
1993
9		Alessandro Berarducci, Marisa Venturini Zilli: Generalizations of Unification. J. Symb. Comput. 16(5): 479-491 (1993)
1990
8		Marisa Venturini Zilli: Net Algebras on Process Algebras. Elektronische Informationsverarbeitung und Kybernetik 26(4): 201-212 (1990)
1987
7		Marisa Venturini Zilli: Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings Springer 1987
1985
6		Gianfranco Mascari, Marisa Venturini Zilli: While-Programs with Nondeterministic Assignments and the Logic Alna. Theor. Comput. Sci. 40: 211-235 (1985)
1984
5		Marisa Venturini Zilli: Reduction Graphs in the Lambda Calculus. Theor. Comput. Sci. 29: 251-275 (1984)
1983
4		Marisa Venturini Zilli: Cofinality in Reduction Graphs. CAAP 1983: 405-416
1978
3		Marisa Venturini Zilli: Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form. ICALP 1978: 477-493
1976
2		Giuseppe Longo, Marisa Venturini Zilli: A Theory of Computation with an Identity Discriminator. ICALP 1976: 147-167
1975
1		Marisa Venturini Zilli: A model with nondeterministic computation. Lambda-Calculus and Computer Science Theory 1975: 287-296

Coauthor Index

1	Alessandro Berarducci	[9]
2	Ester Ciancamerla	[20]
3	Benedetto Intrigila	[11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]
4	Paola Inverardi	[10] [13]
5	Giuseppe Longo	[2]
6	Gianfranco Mascari	[6]
7	Igor Melatti	[19] [20] [21] [22] [23] [24] [25]
8	Michele Minichino	[20]
9	Andrea Parisse	[20]
10	Giuseppe Della Penna	[14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]
11	Enrico Tronci	[14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]

Colors in the list of coauthors