- ICECS, page 535-538. IEEE, (2010)
- Fundam. Inform. 51(3):297-310 (2002)
- Fundam. Inform. 38(3):281-324 (1999)
- Logic Journal of the IGPL 8(1):33-54 (2000)
- ECSQARU, volume 6717 of Lecture Notes in Computer Science, page 374-385. Springer, (2011)
- ICANN, volume 2130 of Lecture Notes in Computer Science, page 554-560. Springer, (2001)
- ICANN, volume 2130 of Lecture Notes in Computer Science, page 561-567. Springer, (2001)
- IWANN 2, volume 2085 of Lecture Notes in Computer Science, page 794-801. Springer, (2001)
- Studia Logica 67(3):403-418 (2001)
- IBM Systems Journal 47(1):87-100 (2008)
- IEEE Transactions on Reliability 60(1):315-322 (2011)
- ICANN 2, volume 4132 of Lecture Notes in Computer Science, page 568-577. Springer, (2006)
- EUROSPEECH, ISCA, (1999)
- INTERSPEECH, page 1009-1012. ISCA, (2001)
- INTERSPEECH, page 997-1000. ISCA, (2001)
- JELIA, volume 6341 of Lecture Notes in Computer Science, page 221-233. Springer, (2010)
- DATE, page 1357-1360. IEEE, (2010)
- Journal of Applied Non-Classical Logics 15(4):367-388 (2005)
- Fundam. Inform. 96(1-2):111-125 (2009)
- IJCCBS 1(1/2/3):59-85 (2010)


author