| |
|
| |
|
| |
|
| |
No. RR-06-02. (July 2006)
|
| |
In Proceedings of the International Symposium on Category Theory In Computer Science, Vol. 1290 (1997), pp. 147-158.
|
| |
Electronic Notes in Theoretical Computer Science (January 2004), pp. 1-18.
|
| |
|
| |
In Category Theory and Computer Science '91, Vol. 530 (1991), pp. 173-197.
|
| |
In Category Theory, Proceedings, Como 1990, Vol. 1488 (1991), pp. 306-326.
|
| |
Arch. Math. Logic, Vol. 31 (1992), pp. 397-406.
|
| |
In Category Theory 1991, Proceedings of an International Summer Category Theory Meeting, Vol. 13 (1992), pp. 361-367.
|
| |
Annals Pure Appl. Logic, Vol. 74 (1995), pp. 121-152.
|
| |
J.~Pure Appl. Algebra, Vol. 99 (1995), pp. 9-34.
|
| |
J.~Pure Appl. Algebra, Vol. 102 (1995), pp. 75-88.
|
| |
In Category Theory and Computer Science '95, Vol. 953 (1995), pp. 3-24.
|
| |
In Theory and Formal Methods of Computing 94 (1995), pp. 105-141.
|
| |
J. of the IGPL, Vol. 4, No. 2. (1996), pp. 1-36.
|
| |
In Theory and Formal Methods of Computing 96 (1996), pp. 156-167.
|
| |
Math. Structures in Comp. Sci., Vol. 7, No. 2. (1997), pp. 49-73.
|
| |
Math. Structures in Comp. Sci., Vol. 7 (1997), pp. 619-637.
|
| |
In Category Theory and Computer Science '97, Vol. 1290 (1997), pp. 147-158.
|
| |
In Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (1998), pp. 408-417.
|
| |
E. Notes in Theor. Comp. Sci., Vol. 11 (1998), pp. 143-160.
|
| |
|
| |
E. Notes in Theor. Comp. Sci., Vol. 19 (1999), pp. 133-148.
|
| |
Theor. Comp. Sci., Vol. 280, No. 1--2. (2002), pp. 105-122.
|
| |
In Formal Methods '99, Vol. 1708 (1999), pp. 155-172.
|
| |
In Proceedings of the Workshop on Self-Adaptive Software, Vol. 1936 (2001), pp. 50-64.
|
| |
In Proceedings of CSFW 2001 (2001), pp. 241-255.
|
| |
No. KES.U.00.9. (December 2000)
|
| |
In Proceedings of FoSSaCS 2001, Vol. 2030 (2001), pp. 303-317.
|
| |
In Automated Software Engineering 2001. The Sixteenth International Conference on Automated Software Engineering (2001)
|
| |
No. KES.U.02.03. (July 2002)
|
| |
No. KES.U.02.02. (March 2002)
|
| |
In Proceedings of AMAST 2002, Vol. 2422 (2002), pp. 411-425.
|
| |
In Proceedings of IDPT 2002 (2002)
|
| |
In Proceedings of CSFW 2003 (2003), pp. 109-125.
|
| |
In Proceedings of FMCS 2003 (2003), pp. 11-23.
|
| |
E. Notes in Theor. Comp. Sci. (2003), pp. 87-114.
|
| |
In Formal Methods at the Crossroads, Vol. 2757 (2003)
|
| |
In Verification --- Theory and Practice. Essays Dedicated to Zohar Mana on the Occasion of His 64th Birthday, Vol. 2772 (2003), pp. 568-597.
|
| |
J. of Comp. Security, Vol. 11, No. 4. (2004), pp. 677-721.
|
| |
In Proceedings of FoSSaCS 2004, Vol. 2987 (2004), pp. 393-407.
|
| |
In Proceedings of ESORICS 2004, Vol. 3193 (2004), pp. 53-72.
|
| |
In Proceedings of CSFW 2004 (2004), pp. 30-47.
|
| |
J. of Comp. Security, Vol. 13 (2005), pp. 423-482.
|
| |
In Proceedings of CSFW 2005 (2005), pp. 48-61.
|
| |
In Proceedings of IEEE Interrnational Conference on Communications (2006)
|
| |
In Proceedings of AMAST 2006, Vol. 4019 (2006), pp. 308-322.
|
| |
In Proceedings of FCS-ARSPA 2006 (2006)
|
