- CODES+ISSS, page 69-78. ACM, (2011)
- DATE, page 409-415. IEEE Computer Society, (2002)
- CoRR (2007)
- Design Autom. for Emb. Sys. 3(1):75-108 (1998)
- Design Autom. for Emb. Sys. 2(2):165-193 (1997)
- DATE, page 912-913. IEEE Computer Society, (1998)
- Softw., Pract. Exper. 41(12):1437-1458 (2011)
- EMSOFT, page 329-338. ACM, (2011)
- CASES, page 165-174. ACM, (2011)
- CODES+ISSS, page 109-118. ACM, (2011)
- ESTImedia, page 121-130. IEEE, (2010)
- Bildverarbeitung für die Medizin, page 39-43. Springer, (2011)
- ARCS Workshops, page 335-340. VDE Verlag, (2010)
- ISORC, page 115-122. IEEE Computer Society, (2010)
- ISORC, page 107-114. IEEE Computer Society, (2010)
- GI Jahrestagung 1, volume 67 of LNI, page 445. GI, (2005)
- Hanser-Studien-Bücher Hanser, (1993)
- Kluwer, (2001)
- Kluwer, (2004)
- Kluwer, (2003)


author