| |
|
| |
|
| |
In IN F. CRESTANI, & G. PASI (EDS.), SOFT COMPUTING IN INFORMATION RETRIEVAL (PP. 102–121). WURZBURG (WIEN): PHYSICA-VERLAG (2000)
|
| |
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 29, No. 4. (2004), pp. 34-44.
|
| |
Signal Processing Magazine, IEEE, Vol. 23, No. 5. (09 October 2006), pp. 107-111.
|
| |
In AISec '08: Proceedings of the 1st ACM workshop on Workshop on AISec (2008), pp. 53-60.
|
| |
In In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages (1995), pp. 372-385.
|
| |
In In Proceedings of the Applied Semantics Summer School (APPSEM), Caminha, Vol. 2395 (2000), pp. 268-332.
|
| |
|
| |
In In ACM Symposium on Theory of Computing (1997), pp. 654-663.
|
| |
In In Proceedings of the 21st ACM Symposium on Applied Computing - SAC 2006 (2006), pp. 429-433.
|
| |
|
| |
In Proc. 12th Intl. Euro-Par Conference, Euro-Par’06 (2005), pp. 549-558.
|
| |
|
| |
ACM Transactions on Computer Systems, Vol. 16 (1998), pp. 133-169.
|
| |
In 10th International Workshop on Distributed Algorithms (WDAG 96, Vol. 1151 (1996), pp. 1-17.
|
| |
|
| |
|
| |
In In Proceedings of the IEEE Workshop on Hot Topics in System Dependability (HotDep (2007)
|
| |
|
| |
|
| |
Mathematical. Structures in Comp. Sci., Vol. 14, No. 5. (2004), pp. 613-649.
|
| |
In ISSTA '94: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis (1994), 240.
|
| |
|
| |
Proceedings of the IEEE, Vol. 63, No. 9. (28 June 2005), pp. 1278-1308.
|
| |
Distributed Computing, Vol. 19, No. 2. (October 2006), pp. 79-103.
|
| |
In DSN '04: Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN'04) (2004)
|
| |
In HotDep'07: Proceedings of the 3rd workshop on on Hot Topics in System Dependability (2007)
|
| |
In LADIS '08: Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware (2008), pp. 1-6.
|
| |
In PODC '07: Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing (2007), pp. 398-407.
|
| |
In 21st International Conference on Computer Aided Verification (CAV'09), Vol. 5643 (July 2009), pp. 35-49.
|
| |
In 5th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03) (August 2003), pp. 1-3.
|
| |
|
| |
ACM Transactions on Information and System Security, Vol. 6 (2000)
|
| |
In In Proceedings of the 1996 IEEE Symposium on Security and Privacy (1996), pp. 164-173.
|
| |
|
| |
In in Computer Science Today, Vol. 1000 (0), pp. 426-440.
|
| |
ACM Transactions on Computer Systems, Vol. 8 (1990), pp. 18-36.
|
| |
In Proceedings of the 2002 IEEE Symposium on Security and Privacy (May 2002), pp. 114-130.
|
| |
|
| |
In Proceedings of PKC 2003, volume 2567 of LNCS (2003), pp. 31-46.
|
| |
In SIGCOMM '06: Proceedings of the 2006 conference on Applications, technologies, architectures, and protocols for computer communications (2006), pp. 267-278.
|
| |
|
| |
RFC, Vol. 2693 (September 1999)
|
| |
|
| |
System Sciences, 2005. HICSS '05. Proceedings of the 38th Annual Hawaii International Conference on (2005), pp. 186b-186b.
|
| |
J. Comput. Secur., Vol. 9, No. 4. (January 2001), pp. 285-322.
|
| |
In In Proceedings of the 1st Annual PKI Research Workshop (2002), pp. 139-148.
|
| |
IEEE Trans. Softw. Eng., Vol. 22, No. 1. (1996), pp. 6-15.
|
CiteULike
mstone's CiteULike
Search
