Publications by Iliano Cervesato

2001 • Electronic Notes in Theoretical Computer Science • 40:8-51
Cervesato I

2000 • Proceedings of the International Workshop on Temporal Representation and Reasoning • 47-58
Cervesato I, Montanari A

2000 • Computational Intelligence • 16(2):307-347
Cervesato I, Franceschet M, Montanari A

2000 • Theoretical Computer Science • 232(1-2):133-163
Cervesato I, Hodas JS, Pfenning F

2000 • Proceedings of the Computer Security Foundations Workshop • 35-51
Cervesato I, Durgin N, Mitchell J, Lincoln P, Scedrov A

1999 • Journal of Logic Programming • 38(2):111-164
Cervesato I, Montanari A

1999 • Proceedings of the Computer Security Foundations Workshop • 55-69
Cervesato I, Durgin NA, Lincoln PD, Mitchell JC, Scedrov A

1999
Cervesato I

1998 • Proceedings of the International Workshop on Temporal Representation and Reasoning • 81-88
Cervesato I, Franceschet M, Montanari A

1997 • Proceedings - Symposium on Logic in Computer Science • 422-433
Cervesato I, Pfenning F

1997 • Proceedings of the International Workshop on Temporal Representation and Reasoning • 38-45
Cervesato I, Franceschet M, Montanari A

1996 • Proceedings - Symposium on Logic in Computer Science • 264-275
Cervesato I, Pfenning F

1996 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1050:67-81
Cervesato I, Hodas JS, Pfenning F

1992 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 649:148-161
Cervesato I, Rossi GF

1978
Deng Y, Simmons RJ, Cervesato I

• Journal of Computer Security • 12(6):893-931
Meadows C, Syverson P, Cervesato I

• Electronic Proceedings in Theoretical Computer Science • 197:
Cervesato I, Schürmann C

• Electronic Proceedings in Theoretical Computer Science • 238:
Cervesato I, Fernández M

• Electronic Proceedings in Theoretical Computer Science • 176:
Alves S, Cervesato I

• Journal of Computer Security • 13(1):3-47
Bistarelli S, Cervesato I, Lenzini G, Martinelli F