- SIES, page 75-78. IEEE, (2011)
- IEEE Trans. Knowl. Data Eng. 9(6):848-862 (1997)
- J. Comput. Syst. Sci. 78(1):1 (2012)
- ACM Trans. Embedded Comput. Syst. 10(4):46 (2011)
- CoRR (2011)
- CoRR (2009)
- CoRR (2001)
- CoRR (2008)
- CoRR (2001)
- CoRR (2004)
- J. Log. Program. 46(1-2):61-101 (2000)
- J. Log. Program. 23(1):1-61 (1995)
- IEEE T. Instrumentation and Measurement 60(10):3451-3460 (2011)
- ETFA, page 1-8. IEEE, (2009)
- ETFA, page 1-8. IEEE, (2009)
- ETFA, page 1-8. IEEE, (2009)
- IEEE Trans. Knowl. Data Eng. 15(2):271-294 (2003)
- ETFA, page 1-8. IEEE, (2010)
- Fundam. Inform. 21(3):183-203 (1994)
- AI Commun. 19(2):137-154 (2006)


author