- JETC 7(4):16 (2011)
- IET Computers & Digital Techniques 5(6):427-439 (2011)
- DATE, page 1089. IEEE Computer Society, (2002)
- ASYNC, page 127-136. IEEE Computer Society, (2002)
- ASYNC, page 190-197. IEEE Computer Society, (2002)
- Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings.ACSD, page 152-163. IEEE Computer Society, (1998)
- FTCS, page 288-295. IEEE Computer Society, (1992)
- ICECS, page 355-358. IEEE, (2009)
- CoRR (2011)
- CoRR (2010)
- IEEE Trans. on Circuits and Systems 55-I(2):535-545 (2008)
- VLSI-SoC, page 180-183. IEEE, (2011)
- DATE, page 1376-1381. IEEE, (2011)
- DATE, page 1340-1345. IEEE, (2011)
- Neural Computation 9(5):1071-1092 (1997)
- Journal of Public Economics 94(9-10):730-748 (2010)
- IEEE Trans. VLSI Syst. 19(11):2135-2139 (2011)
- IT Professional 9(6):43-45 (2007)
- ICSAMOS, page 33-40. IEEE, (2011)
- ICSAMOS, page 318-325. IEEE, (2011)


author