Complexity of theorem-proving procedures : some general properties. - Giuseppe Longo; Marisa Venturini Zilli (RAIRO Theor. Informatics Appl., 1974)

A model with nondeterministic computation. - Marisa Venturini Zilli (Lambda-Calculus and Computer Science Theory, 1975)

A Theory of Computation with an Identity Discriminator. - Giuseppe Longo; Marisa Venturini Zilli (ICALP, 1976)

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

Aλδ-calculus with an algorithmicδ. - Giuseppe Longo; Marisa Venturini Zilli (Arch. Math. Log., 1980)

Cofinality in Reduction Graphs. - Marisa Venturini Zilli (CAAP, 1983)

Transition graphs semantics and languages. - Marisa Venturini Zilli (Symposium on Computation Theory, 1984)

Reduction Graphs in the Lambda Calculus. - Marisa Venturini Zilli (Theor. Comput. Sci., 1984)

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

Net Algebras on Process Algebras. - Marisa Venturini Zilli (J. Inf. Process. Cybern., 1990)

Generalizations of Unification. - Alessandro Berarducci; Marisa Venturini Zilli (J. Symb. Comput., 1993)

Rational Rewriting. - Paola Inverardi; Marisa Venturini Zilli (MFCS, 1994)

A Remark on Infinite Matching vs Infinite Unification. - Benedetto Intrigila; Marisa Venturini Zilli (J. Symb. Comput., 1996)

A Comprehensive Setting for Matching and Unification over Iterative Terms. - Benedetto Intrigila; Paola Inverardi; Marisa Venturini Zilli (Fundam. Informaticae, 1999)

Orders, Reduction Graphs and Spectra. - Benedetto Intrigila; Marisa Venturini Zilli (Theor. Comput. Sci., 1999)

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

Exploiting Transition Locality in Automatic Verification. - Enrico Tronci; Giuseppe Della Penna; Benedetto Intrigila; Marisa Venturini Zilli (CHARME, 2001)

Synchronized Regular Expressions. - Giuseppe Della Penna; Benedetto Intrigila; Enrico Tronci; Marisa Venturini Zilli (TOSCA, 2001)

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

Integrating RAM and Disk Based Verification within the Mur-phi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (CHARME, 2003)

Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (CHARME, 2003)

Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Michele Minichino; Ester Ciancamerla; Andrea Parisse; Enrico Tronci; Marisa Venturini Zilli (HSCC, 2003)

Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (ICTCS, 2003)

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

Exploiting transition locality in automatic verification of finite-state concurrent systems. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (Int. J. Softw. Tools Technol. Transf., 2004)

Finite horizon analysis of Markov Chains with the Murphi verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (Int. J. Softw. Tools Technol. Transf., 2006)