Marisa Venturini Zilli
According to our database1,
Marisa Venturini Zilli
authored at least 26 papers
between 1974 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
1975
1980
1985
1990
1995
2000
2005
0
1
2
3
4
5
1
1
2
1
1
1
1
1
1
1
1
4
1
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
Int. J. Softw. Tools Technol. Transf., 2006
2004
Exploiting transition locality in automatic verification of finite-state concurrent systems.
Int. J. Softw. Tools Technol. Transf., 2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
2003
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
Proceedings of the Hybrid Systems: Computation and Control, 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
2002
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002
2001
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001
Proceedings of the Correct Hardware Design and Verification Methods, 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
1999
Fundam. Informaticae, 1999
1996
1994
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994
1993
1990
Net Algebras on Process Algebras.
J. Inf. Process. Cybern., 1990
1985
Theor. Comput. Sci., 1985
1984
Proceedings of the Computation Theory, 1984
1983
1980
1978
Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form.
Proceedings of the Automata, 1978
1976
A Theory of Computation with an Identity Discriminator.
Proceedings of the Third International Colloquium on Automata, 1976
1975
Proceedings of the Lambda-Calculus and Computer Science Theory, 1975
1974
RAIRO Theor. Informatics Appl., 1974