- Fundamental Approaches to Software Engineering, volume 6603 of Lecture Notes in Computer Science, page 202--216. Springer, (2011)
- White Paper, Institute for Applied Informatics and Formal Description Methods AIFB, Universität Karlsruhe TH, 76128 Karlsruhe, Germany, (2003)
- Proceedings of the K-CAP 2005 Workshop on Integrating Ontologies, volume 156 of CEUR Workshop Proceedings, page 25--32. CEUR-WS.org, (October 2005)
- CoRR (2008)
- Int. J. Software and Informatics 5(1-2):207-229 (2011)
- ECIS, page 1509-1518. (2005)
- ECEASST (2011)
- SWAT FOCS, page 167-180. IEEE Computer Society, (1973)
- ECEASST (2011)
- ECEASST (2011)
- STOC, page 281-293. ACM, (1980)
- MoDELS, volume 6981 of Lecture Notes in Computer Science, page 668-682. Springer, (2011)
- MoDELS, volume 6981 of Lecture Notes in Computer Science, page 304-318. Springer, (2011)
- Proceedings of the Third International Conference on E-Commerce and Web Technologies EC-Web 2002, volume 2455 of Lecture Notes in Computer Science, page 304-313. Springer, (2002)
- ECEASST (2006)
- MoDELS, volume 4199 of Lecture Notes in Computer Science, page 425-439. Springer, (2006)
- AGTIVE, volume 5088 of Lecture Notes in Computer Science, page 566-567. Springer, (2007)
- Fundam. Inform. 74(1):135-166 (2006)
- Fundam. Inform. 74(1):1-29 (2006)
- Fundam. Inform. 65(3):211-247 (2005)


author