| |
Advances in Applied Mathematics, Vol. 32, No. 1. (January 2004), pp. 5-9.
|
| |
In STOC '02: Proceedings of the thiry-fourth annual ACM symposium on Theory of computing (2002), pp. 494-503.
|
| |
Lecture Notes in Computer Science : Advances in Cryptology - CRYPTO 2003 (2003), pp. 565-582.
|
| |
Journal of Cryptology, Vol. 19, No. 2. (6 April 2006), pp. 135-167.
|
| |
|
| |
|
| |
|
| |
|
| |
In Visual Languages (1997), pp. 230-237.
|
| |
|
| |
|
| |
|
| |
|
| |
In {Model Driven Architecture - Foundations and Applications: Second European Conference}, Vol. 4066 (2006), pp. 361-375.
|
| |
6th Symposium on Trends in Functional Programming (2005), pp. 340-354.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 5-16.
|
| |
|
| |
In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 134-143.
|
| |
In Proceedings of UML 2002, the 5th International Conference on the Unified Modeling Language (September 2002), pp. 2-17.
|
| |
|
| |
In ReIMICS '01: Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science (2002), pp. 1-14.
|
| |
Journal of Functional Programming, Vol. 11, No. 5. (2001), pp. 467-492.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Vol. 148, No. 1. (1 February 2006), pp. 187-198.
|
| |
Electronic Communications of the EASST, Vol. 4 (2006)
|
| |
In ICGT (2006), pp. 77-91.
|
| |
|
| |
In TAGT (1998), pp. 281-295.
|
| |
Machine Learning, Vol. 37, No. 2. (1 November 1999), pp. 115-130.
|
| |
|
| |
Discrete Mathematics, Vol. 56, No. 2-3. (October 1985), pp. 101-109.
|
| |
|
| |
: Fast Software Encryption (2006), pp. 359-374.
|
| |
: Advances in Cryptology - CRYPTO 2006 (2006), pp. 345-356.
|
| |
: Advanced Encryption Standard â AES (2005), pp. 170-188.
|
| |
: Fast Software Encryption (2006), pp. 78-88.
|
| |
|
| |
: Advances in Cryptology - ASIACRYPT 2004 (2004), pp. 338-353.
|
| |
|
| |
In EUROCAL '83: Proceedings of the European Computer Algebra Conference on Computer Algebra (1983), pp. 146-156.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Lecture Notes in Computer Science : Advances in Cryptology - ASIACRYPT 2005 (2005), pp. 333-352.
|