Marisa Venturini Zilli

Available identifiers

zbMath Open venturini-zilli.marisaMaRDI QIDQ792993

List of research outcomes

Publication	Date of Publication	Type
Rational rewriting	2022-08-18	Paper
Synchronized regular expressions	2013-07-24	Paper
Finite horizon analysis of stochastic systems with the Mur\(\varphi \) verifier.	2010-02-23	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Finite horizon analysis of Markov chains with the Mur\(\varphi \) verifier	2010-02-05	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4427905	2003-09-14	Paper
Synchronized regular expressions	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4417987	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4787235	2003-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4934252	2000-01-17	Paper
Orders, reduction graphs and spectra	1999-01-12	Paper
A remark on infinite matching vs infinite unification	1996-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4029613	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q3477943	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3691635	1985-01-01	Paper
While-programs with nondeterministic assignments and the logic ALNA	1985-01-01	Paper
Reduction graphs in the lambda calculus	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3711662	1983-01-01	Paper
Aλδ-calculus with an algorithmicδ	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3869319	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4175529	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4167586	1976-01-01	Paper
On different kinds of indefinite	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4057637	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3863099	1974-01-01	Paper

Research outcomes over time

This page was built for person: Marisa Venturini Zilli