- CoRR (2011)
- CoRR (2003)
- CoRR (2011)
- CoRR (2011)
- ACM Trans. Design Autom. Electr. Syst. 16(3):33 (2011)
- Comput. Lang. 20(2):69-87 (1994)
- JMLC, volume 2789 of Lecture Notes in Computer Science, page 150-162. Springer, (2003)
- International computer science series Addison-Wesley, (1988)
- Advances in computer science series Prentice Hall, (1988)
- SEDE, page 301-306. ISCA, (2010)
- Learning, Media and Technology 35(2):99 - 110 (2010)
- Learning, Media and Technology 35(2):227 - 242 (2010)
- CDC, page 3793-3798. IEEE, (2009)
- SIGPLAN Notices 31(1):28-31 (1996)
- Programming Languages and System Architectures, volume 782 of Lecture Notes in Computer Science, page 137-150. Springer, (1994)
- Nucleic Acids Research 37(Database-Issue):211-215 (2009)
- Aust. Comput. Sci. Commun. 23(4):55--61 (2001)
- CDC, page 4552-4557. IEEE, (2008)
- ACM Trans. Design Autom. Electr. Syst. (2009)
- ACSC, volume 74 of CRPIT, page 37-46. Australian Computer Society, (2008)


author