Nora Koch, Piero Fraternali, and Martin Wirsing, editors. Journal of Web Engineering - Special Issue: Best Paper Award ICWE 2004, volume 4 (1). Rinton Press, March 2005.
Diego Latella, Mieke Massink, Hubert Baumeister, and Martin Wirsing. Mobile UML statecharts with localities. In Corrado Priami and Paola Quaglia, editors, Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004. Revised Selected Papers, volume 3267 of LNCS, pages 34–58, 2005.
Dirk Pattinson and Martin Wirsing. A coordination approach to mobile components. Theor. Comput. Sci., 331(2-3):457–483, 2005.
Iman Poernomo, John Crossley, and Martin Wirsing. Adapting Proofs-as-Programs: The Curry–Howard Protocol. Springer Monographs in Computer Science. Springer, 2005.
P. Meier and M. Wirsing. Towards a formal specification for the agentcomponent. In Objects, Agents, And Features, volume 2975, pages 175–188, 2004.
Hubert Baumeister, Alexander Knapp, and Martin Wirsing. Property-Driven Development. In Jorge R. Cuellar and Zhimming Liu, editors, Proc. 2nd IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'04), pages 96–102. IEEE Computer Society Press, 2004. Extended abstract.
Nora Koch, Piero Fraternali, and Martin Wirsing. Web Engineering: Proceedings of the 4th International Conference on Web Engineering (ICWE 2004), Munich, Germany. LNCS 3140. Springer Verlag, July 2004. (doi:10.1007/b99180)
Alexander Knapp, Nora Koch, and Gefei Zhang. Modeling the Structure of Web Applications with ArgoUWE. In Nora Koch, Piero Fraternali, and Martin Wirsing, editors, Proc. 4th Int. Conf. Web Engineering (ICWE'04), LNCS 3140, pages 615–616. Springer Verlag, Berlin, 2004.
Alexander Knapp, Stephan Merz, and Martin Wirsing. Refining Mobile UML State Machines. In Savi Maharaj, Charles Rattray, and Carron Shankland, editors, Proc. 10th Int. Conf. Algebraic Methodology and Software Technology (AMAST'04), volume 3116 of Lect. Notes Comp. Sci., pages 274–288. ©Springer, Berlin, 2004.
Axel Rauschmayer, Alexander Knapp, and Martin Wirsing. Consistency Checking in an Infrastructure for Large-Scale Generative Programming. In Proc. 19th IEEE Int. Conf. Automated Software Engineering (ASE'04), pages 238–247. IEEE Computer Society Press, September 2004.