Marisa Venturini Zilli

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)

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)

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Bounded Probabilistic Model Checking with the Muralpha Verifier. FMCAD 2004: 214-229

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized regular expressions. Acta Inf. 39(1): 31-70 (2003)

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

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

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

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

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD 2002: 202-219

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized Regular Expressions. Electr. Notes Theor. Comput. Sci. 62: 195-210 (2001)

Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324

Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274

Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli: A Comprehensive Setting for Matching and Unification over Iterative Terms. Fundam. Inform. 39(3): 273-304 (1999)

Benedetto Intrigila, Marisa Venturini Zilli: Orders, Reduction Graphs and Spectra. Theor. Comput. Sci. 212(1-2): 211-231 (1999)

Benedetto Intrigila, Marisa Venturini Zilli: A Remark on Infinite Matching vs Infinite Unification. J. Symb. Comput. 21(3): 289-292 (1996)

Paola Inverardi, Marisa Venturini Zilli: Rational Rewriting. MFCS 1994: 433-442

Alessandro Berarducci, Marisa Venturini Zilli: Generalizations of Unification. J. Symb. Comput. 16(5): 479-491 (1993)

Marisa Venturini Zilli: Net Algebras on Process Algebras. Elektronische Informationsverarbeitung und Kybernetik 26(4): 201-212 (1990)

Marisa Venturini Zilli (Ed.): Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings. Lecture Notes in Computer Science 280, Springer 1987, isbn 3-540-18419-8

Gianfranco Mascari, Marisa Venturini Zilli: While-Programs with Nondeterministic Assignments and the Logic Alna. Theor. Comput. Sci. 40: 211-235 (1985)

Marisa Venturini Zilli: Reduction Graphs in the Lambda Calculus. Theor. Comput. Sci. 29: 251-275 (1984)

Marisa Venturini Zilli: Transition graphs semantics and languages. Symposium on Computation Theory 1984: 375-384

Marisa Venturini Zilli: Cofinality in Reduction Graphs. CAAP 1983: 405-416

Marisa Venturini Zilli: Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form. ICALP 1978: 477-493

Giuseppe Longo, Marisa Venturini Zilli: A Theory of Computation with an Identity Discriminator. ICALP 1976: 147-167

Marisa Venturini Zilli: A model with nondeterministic computation. Lambda-Calculus and Computer Science Theory 1975: 287-296