- Programming and Computer Software 38(1):1-12 (2012)
- (2012)cite arxiv:1201.3374Comment: 12 pages, 3 figures. Accepted for publication in MNRAS .
- (2012)cite arxiv:1201.3375Comment: 12 pages, 4 figures. Accepted for publication in MNRAS .
- IACR Cryptology ePrint Archive (2009)
- (2010)
- JSEA 1(1):1-7 (2008)
- Intelligent Information Management 2(6):343-353 (2010)
- EUROMICRO-SEAA, page 342-349. IEEE, (2010)
- IEEE Trans. Software Eng. 35(1):83-93 (2009)
- EUROMICRO-SEAA, page 443-450. IEEE, (2011)
- System Specification & Design Languages, Springer US, (2004)
- ISSCC, page 114-115. IEEE, (2009)
- OSS, volume 365 of IFIP Publications, page 348-367. Springer, (2011)
- ISCAS 1, page 529-532. (2002)
- ISSCC, page 366-368. IEEE, (2011)
- EuroSPI, volume 99 of Communications in Computer and Information Science, page 189-200. Springer, (2010)
- JASIST 62(9):1727-1740 (2011)
- PROFES, volume 6759 of Lecture Notes in Business Information Processing, page 156-170. Springer, (2011)
- PFE, volume 2290 of Lecture Notes in Computer Science, page 143-154. Springer, (2001)
- CAiSE, volume 2068 of Lecture Notes in Computer Science, page 469-472. Springer, (2001)


author