Ruhroth, Thomas, et al. “ReL: A Generic Refactoring Language for Specification and Execution.”10.1109/SEAA.2011.22__37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90, doi:10.1109/SEAA.2011.22.

Derrick, John, et al. “Verifying Linearisability with Potential Linearisation Points.”10.1007/978-3-642-21437-0_25__FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:10.1007/978-3-642-21437-0_25.

Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.”10.1007/978-3-642-25032-3_7__Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim\'7eao and Carroll Morgan, 2011, pp. 92--107, doi:10.1007/978-3-642-25032-3_7.

Schneider, Steve, et al. “A CSP Account of Event-B Refinement.”10.4204/EPTCS.55.9__Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick et al., 2011, pp. 139--154, doi:10.4204/EPTCS.55.9.

Nebe, Karsten, et al. Multi-Touch, Tangible and Pen-Based Interaction in Incident Planning. Oldenbourg Wissenschaftsverlag GmbH, M  "u nchen, 2011, pp. 263–73.

Keil, Reinhard, and Harald Selke. “Virtual Learning Spaces for Co-Active Learning.” Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.

Paelke, Volker, et al. Multi-Touch Interaction for Disaster Management.. 2011.

Keil, Reinhard. Hypothesis- Guided Technology Design as the Basis of Contextual Computer Science. Edited by A Breiter and M Wind, Lit Verlag, M \'22 u nster, 2011, pp. 165–84.

Klompmaker, Florian, et al. Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns. 2011.

Klompmaker, Florian, et al. “User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application.” Proceedings of the International Conference on Health Informatics, 2011.