Marisa Venturini Zilli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1976–2004
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | FMCAD | Bounded Probabilistic Model Checking with the Mur | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli |
| 2002 | FMCAD | Exploiting Transition Locality in the Disk Based Mur phi Verifier. | Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli |
| 2001 | APSEC | A Probabilistic Approach to Automatic Verification of Concurrent Systems. | Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli |
| 1994 | MFCS | Rational Rewriting. | Paola Inverardi, Marisa Venturini Zilli |
| 1978 | ICALP | Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form. | Marisa Venturini Zilli |
| 1976 | ICALP | A Theory of Computation with an Identity Discriminator. | Giuseppe Longo, Marisa Venturini Zilli |