by Cervesato, I., Durgin, N.A., Lincoln, P.D., Mitchell, J.C., Scedrov, A.
Published in Proceedings of the 12th IEEE Computer Security Foundations Workshop (1999)

by Cervesato, I., Durgin, N., Mitchell, J., Lincoln, P., Scedrov, A.
Published in Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 (2000)

by Cervesato, Iliano
Year of Publication 2013

by Cervesato, I, I, Fabrici, E, Gadioli, E, Gadioli-Erba, E, Galmarini, M
Published in Physical review. C, Nuclear physics (01.05.1992)

by CERVESATO, I, HODAS, J. S, PFENNING, F
Published in Theoretical computer science (2000)

by Cervesato, Iliano, Jaggard, Aaron D., Scedrov, Andre, Tsay, Joe-Kai, Walstad, Christopher
Published in Advances in Computer Science - ASIAN 2006 (2008)

by Cervesato, I., Pfenning, F.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)

by Cervesato, I., Pfenning, F.
Published in Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science (1997)

by Cervesato, I., Meadows, C., Pavlovic, D.
Published in 18th IEEE Computer Security Foundations Workshop (CSFW'05) (2005)

by Butler, F., Cervesato, I., Jaggard, A.D., Scedrov, A.
Published in Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 (2002)

by Cervesato, I., Montanari, A.
Published in Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 (2000)

by Cervesato, I., Franceschet, M., Montanari, A.
Published in Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) (1998)

by Cervesato, I., Franceschet, M., Montanari, A.
Published in Proceedings of TIME '97: 4th International Workshop on Temporal Representation and Reasoning (1997)