- J. Log. Comput. 22(1):113-127 (2012)
- Thomas, Leipzig, (1990)
- ICSE, page 736-745. ACM, (2011)
- IEEE Transactions on Audio, Speech & Language Processing 20(3):922-932 (2012)
- LICS, page 197-206. IEEE Computer Society, (2001)
- Algorithmica 62(3-4):1112-1121 (2012)
- DATE, page 414-420. IEEE Computer Society, (1998)
- AIPR, page 157-163. IEEE Computer Society, (2002)
- Annual Simulation Symposium, page 39-46. IEEE Computer Society, (2003)
- AMCIS, Association for Information Systems, (2011)
- AMCIS, page 112. Association for Information Systems, (2009)
- ICIS, page 132. Association for Information Systems, (2009)
- Int. J. Hum.-Comput. Stud. 70(2):156-168 (2012)
- SODA, page 981-990. ACM/SIAM, (2002)
- Data Compression Conference, page 203-212. IEEE Computer Society, (2001)
- SODA, page 564-572. ACM/SIAM, (1994)
- SODA, page 1-10. ACM/SIAM, (1999)
- CHI, page 210-217. ACM/Addison-Wesley, (1997)
- CHI, page 241-248. ACM, (1998)
- Dortmund, (2010)


author