| |
Electronic Notes in Theoretical Computer Science, Vol. 240 (02 July 2009), pp. 239-257.
|
| |
|
| |
Science of Computer Programming In Special issue on the 11th Static Analysis Symposium - SAS 2004, Vol. 64, No. 1. (01 January 2007), pp. 3-28.
|
| |
|
| |
Information Processing Letters, Vol. 41, No. 1. (21 January 1992), pp. 9-12.
|
| |
Information Processing Letters, Vol. 35, No. 1. (15 June 1990), pp. 19-22.
|
| |
ACM Transactions on Information and System Security, Vol. 12, No. 1. (2008), pp. 1-47.
|
| |
Software and Systems Modeling (2009)
|
| |
In SACMAT '06: Proceedings of the eleventh ACM symposium on Access control models and technologies (2006), pp. 150-159.
|
| |
Formal Aspects in Security and Trust In Formal Aspects in Security and Trust, Vol. 4691 (2007), pp. 235-249.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 3-32.
|
| |
Communications of the ACM, Vol. 30, No. 8. (August 1987), pp. 672-686.
|
| |
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 4591 (2007), pp. 353-372.
|
| |
The Computer Journal, Vol. 41, No. 1. (1 January 1998), pp. 1-15.
|
| |
IEEE Computer Society Symposium on Research in Security and Privacy In IEEE Computer Society Symposium on Research in Security and Privacy (1992), pp. 164-176.
|
| |
TAPSOFT '95: Theory and Practice of Software Development In TAPSOFT '95: Theory and Practice of Software Development, Vol. 915 (1995), pp. 82-96.
|
| |
|
| |
In 7th International Software Quality Week (1994)
|
| |
|
| |
|
| |
|
| |
Third International Conference on Information Technology and Applications (ICITA 2005) In Third International Conference on Information Technology and Applications (ICITA 2005), Vol. 2 (2005), pp. 572-575.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 168 (08 February 2007), pp. 91-107.
|
| |
No. TD-2/00. (March 2000)
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 187 (15 July 2007), pp. 107-123.
|
| |
Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60-61 ( 2004), pp. 17-139.
|
| |
Formal Aspects of Computing
|
| |
|
| |
|
| |
|
| |
Theoretical Computer Science, Vol. 315, No. 1. (May 2004), pp. 209-256.
|
| |
|
| |
Formal Aspects of Computing, Vol. 18, No. 2. (June 2006), pp. 152-180.
|
| |
In Proceedings of the 1988 IEEE Symposium on Security and Privacy (1988), pp. 14-23.
|
| |
|
| |
Journal of Computer Security, Vol. 1, No. 2. (1992), pp. 159-188.
|
| |
Communications of the ACM, Vol. 20, No. 7. (1977), pp. 504-513.
|
CiteULike
michaelbanks's CiteULike
Search
Export
