Search the dblp DataBase
Marisa Venturini Zilli :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Enrico Tronci , Giuseppe Della Penna , Benedetto Intrigila , Marisa Venturini Zilli A Probabilistic Approach to Automatic Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] APSEC, 2001, pp:317-324 [Conf ] Marisa Venturini Zilli Cofinality in Reduction Graphs. [Citation Graph (0, 0)][DBLP ] CAAP, 1983, pp:405-416 [Conf ] Giuseppe Della Penna , Benedetto Intrigila , Igor Melatti , Enrico Tronci , Marisa Venturini Zilli Integrating RAM and Disk Based Verification within the Mur-phi Verifier. [Citation Graph (0, 0)][DBLP ] CHARME, 2003, pp:277-282 [Conf ] Giuseppe Della Penna , Benedetto Intrigila , Igor Melatti , Enrico Tronci , Marisa Venturini Zilli Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. [Citation Graph (0, 0)][DBLP ] CHARME, 2003, pp:394-409 [Conf ] Enrico Tronci , Giuseppe Della Penna , Benedetto Intrigila , Marisa Venturini Zilli Exploiting Transition Locality in Automatic Verification. [Citation Graph (0, 0)][DBLP ] CHARME, 2001, pp:259-274 [Conf ] Giuseppe Della Penna , Benedetto Intrigila , Igor Melatti , Enrico Tronci , Marisa Venturini Zilli Bounded Probabilistic Model Checking with the Muralpha Verifier. [Citation Graph (0, 0)][DBLP ] FMCAD, 2004, pp:214-229 [Conf ] Giuseppe Della Penna , Benedetto Intrigila , Enrico Tronci , Marisa Venturini Zilli Exploiting Transition Locality in the Disk Based Mur phi Verifier. [Citation Graph (0, 0)][DBLP ] FMCAD, 2002, pp:202-219 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] HSCC, 2003, pp:141-155 [Conf ] Giuseppe Longo , Marisa Venturini Zilli A Theory of Computation with an Identity Discriminator. [Citation Graph (0, 0)][DBLP ] ICALP, 1976, pp:147-167 [Conf ] Marisa Venturini Zilli Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form. [Citation Graph (0, 0)][DBLP ] ICALP, 1978, pp:477-493 [Conf ] Giuseppe Della Penna , Benedetto Intrigila , Igor Melatti , Enrico Tronci , Marisa Venturini Zilli Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. [Citation Graph (0, 0)][DBLP ] ICTCS, 2003, pp:58-71 [Conf ] Marisa Venturini Zilli A model with nondeterministic computation. [Citation Graph (0, 0)][DBLP ] Lambda-Calculus and Computer Science Theory, 1975, pp:287-296 [Conf ] Paola Inverardi , Marisa Venturini Zilli Rational Rewriting. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:433-442 [Conf ] Giuseppe Della Penna , Benedetto Intrigila , Enrico Tronci , Marisa Venturini Zilli Synchronized regular expressions. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2003, v:39, n:1, pp:31-70 [Journal ] Marisa Venturini Zilli Net Algebras on Process Algebras. [Citation Graph (0, 0)][DBLP ] Elektronische Informationsverarbeitung und Kybernetik, 1990, v:26, n:4, pp:201-212 [Journal ] Giuseppe Della Penna , Benedetto Intrigila , Enrico Tronci , Marisa Venturini Zilli Synchronized Regular Expressions. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal ] Benedetto Intrigila , Paola Inverardi , Marisa Venturini Zilli A Comprehensive Setting for Matching and Unification over Iterative Terms. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1999, v:39, n:3, pp:273-304 [Journal ] Alessandro Berarducci , Marisa Venturini Zilli Generalizations of Unification. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1993, v:16, n:5, pp:479-491 [Journal ] Benedetto Intrigila , Marisa Venturini Zilli A Remark on Infinite Matching vs Infinite Unification. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1996, v:21, n:3, pp:289-292 [Journal ] Giuseppe Della Penna , Benedetto Intrigila , Igor Melatti , Enrico Tronci , Marisa Venturini Zilli Exploiting transition locality in automatic verification of finite-state concurrent systems. [Citation Graph (0, 0)][DBLP ] STTT, 2004, v:6, n:4, pp:320-341 [Journal ] Giuseppe Della Penna , Benedetto Intrigila , Igor Melatti , Enrico Tronci , Marisa Venturini Zilli Finite horizon analysis of Markov Chains with the Murphi verifier. [Citation Graph (0, 0)][DBLP ] STTT, 2006, v:8, n:4-5, pp:397-409 [Journal ] Benedetto Intrigila , Marisa Venturini Zilli Orders, Reduction Graphs and Spectra. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1999, v:212, n:1-2, pp:211-231 [Journal ] Gianfranco Mascari , Marisa Venturini Zilli While-Programs with Nondeterministic Assignments and the Logic Alna. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:40, n:, pp:211-235 [Journal ] Marisa Venturini Zilli Reduction Graphs in the Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:29, n:, pp:251-275 [Journal ] Search in 0.002secs, Finished in 0.331secs