- Design Autom. for Emb. Sys. 5(3-4):237-250 (2000)
- INAP/WLP, volume 3392 of Lecture Notes in Computer Science, page 16-31. Springer, (2004)
- it+ti --- Informationstechnik und Technische Informatik, 436, (2001)
- it+ti --- Informationstechnik und Technische Informatik, 2, (2000)
- Design Automation for Embedded Systems, 53, (2000)
- Proceedings of the 1998 Open Project Workshop on System Design Automation SDA 98, (1998)
- Proceedings of the 12th International Parallel Processing Symposium, IEEE, (1998)
- it+ti - Informationstechnik und Technische Informatik 43(6):291-298 (2001)
- it+ti - Informationstechnik und Technische Informatik 42(2):45-53 (2000)
- Physical Review Letters 102(18):187204 (2009)
- INAP/WLP'04: Applications of Declarative Programming and Knowledge Management selected papers, LNAI 3392, page 16-31. (2005)
- WLP'05: Proceedings of the 19th Workshop on Constraint Logic Programming, (2005)
- Atmos. Chem. Phys. Discuss. 8(2):4499-4559 (2008)ACPD .
- Proc. 17th Workshop on Logic Programming WLP (2002)
- IEEE International Workshop on Rapid System Prototyping, page 100-107. (1999)
- ISBI, page 102-105. IEEE, (2002)
- 15th International Conference of Declarative Programming and Knowledge Management INAP-2004, page 140-151. (2004)
- WCLP, volume 2005-01 of Ulmer Informatik-Berichte, page 17-28. Universität Ulm, Germany, (2005)
- WLPE, volume CW371 of Report, page 31-45. Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee Belgium, (2003)
- IPPS/SPDP, page 250-254. (1998)


author