- (2009)
- iConference, page 112-119. ACM, (2012)
- ITC, page 9-18. IEEE Computer Society, (1989)
- ITC, page 1002. IEEE Computer Society, (1988)
- IEEE Trans. Systems Science and Cybernetics 5(1):2-8 (1969)
- J. Symb. Log. 77(1):329-336 (2012)
- ITC, page 7. IEEE, (2005)
- ITC, page 1-9. IEEE, (2006)
- (2012)cite arxiv:1202.0552Comment: Accepted for publication in ApJ .
- IEEE Trans. Software Eng. 38(1):5-18 (2012)
- INCoS, page 141-148. IEEE, (2011)
- IEEE Transactions on Signal Processing 44(8):2108-2110 (1996)
- IEEE Transactions on Signal Processing 49(6):1208-1215 (2001)
- Journal of Musicological Research 16(1):17-39 (1996)
- UCC, page 427-432. IEEE Computer Society, (2011)
- IEEE Pervasive Computing (July 2009)
- Proceedings of the Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, page 283-288. IEEE Computer Society, (2006)
- IEEE Trans. Automat. Contr. 56(7):1666-1671 (2011)
- IEEE Trans. Automat. Contr. 56(3):660-665 (2011)
- IEEE Trans. Automat. Contr. 56(4):935-941 (2011)


author