author- Appl. Soft Comput. 12(3):1006-1020 (2012)
- Multiagent and Grid Systems 8(1):19-44 (2012)
- eScience, page 158-165. IEEE Computer Society, (2011)
- Damals 43(11):40-44 (2011)
- NeuroImage 59(3):2430-2437 (2012)
- Electr. J. Comb. (2008)
- Verification of Pipelined Microprocessors by Correspondence Checking in Symbolic Ternary Simulation.ACSD, page 200-212. IEEE Computer Society, (1998)
- IEEE ICCI, page 27-33. IEEE Computer Society, (2002)
- AMCIS, page 594. Association for Information Systems, (2009)
- Universität Trier, Mathematik/Informatik, Forschungsbericht (2002)
- ICIS, page 102. Association for Information Systems, (2006)
- SODA, page 287-296. ACM/SIAM, (2000)
- SODA, page 285-286. ACM/SIAM, (2000)
- SODA, page 147-155. ACM/SIAM, (1999)
- AAAI/IAAI, page 668-673. AAAI Press / The MIT Press, (2002)
- Drug discovery today 15(23-24):1052-1057 (2010)
- Nucl. Acids Res. 37(Web Server issue):W623-W633 (2009)
- Combinatorica 31(5):507-528 (2011)
- Proceedings of the 2001 Monterey Workshop, page 109-119. Monterey, California, (2001)
- ICCE, page 540-544. (2002)
