Schneider S, Treharne H, Wehrheim H. Bounded Retransmission in Event-B\'70arallelCSP: a Case Study. Electr Notes Theor Comput Sci. 2011:69--80. doi:10.1016/j.entcs.2011.11.019

Derrick J, Schellhorn G, Wehrheim H. Mechanically verified proof obligations for linearizability. ACM Trans Program Lang Syst. 2011;(1):4:1--4:43. doi:10.1145/1889997.1890001

Ruhroth T, Wehrheim H, Ziegert S. ReL: A Generic Refactoring Language for Specification and Execution. In: 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011. ; 2011:83--90. doi:10.1109/SEAA.2011.22

Derrick J, Schellhorn G, Wehrheim H. Verifying Linearisability with Potential Linearisation Points. In: J. Butler M, Schulte W, eds. FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science. ; 2011:323--337. doi:10.1007/978-3-642-21437-0_25

Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation. In: da Silva Sim\'7eao A, Morgan C, eds. Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science. ; 2011:92--107. doi:10.1007/978-3-642-25032-3_7

Schneider S, Treharne H, Wehrheim H. A CSP Account of Event-B Refinement. In: Derrick J, A. Boiten E, Reeves S, eds. Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS. ; 2011:139--154. doi:10.4204/EPTCS.55.9

Nebe K, Fischer HG, Klompmaker F, Jung H. Multi-touch, tangible and pen-based interaction in incident planning. In: Oldenbourg Wissenschaftsverlag GmbH, M  "u nchen; 2011:263-273.

Keil R, Selke H. Virtual Learning Spaces for Co-Active Learning. In: Proc. of Int. Conf. on Improving University Teaching. ; 2011:191-202.

Paelke V, Nebe K, Klompmaker F, Jung H. Multi-Touch Interaction for Disaster Management.. In: ; 2011.

Keil R. Hypothesis- guided technology design as the basis of contextual computer science. In: Breiter A, Wind M, eds. Lit Verlag, M \'22 u nster; 2011:165-184.

Klompmaker F, Nebe  Karsten, Jung H. Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns. In: ; 2011.

Klompmaker F, Nebe  Karsten,  Busch C, Willemsen  Detlev. User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application. In: Proceedings of the International Conference on Health Informatics. ; 2011.

Laroque C, Schulte J. KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules. In: Chinni MI, Weed D, eds. Proceedings of the 2011 Spring Simulation Multiconference. ; 2011.

Schulte J. WasabiBeans - Web Application Services and Business Integration. In: Zhang R, Cordeiro J,  Li X, Zhang Z, Zhang J, eds. Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China. ; 2011:348-357.

Rudolph S, Niehus D. Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support  "u the flow rate in education and training. In: Universit \'22 a t Paderborn; 2011.

Schulte J, Keil R, Klaholt D, Sauer J. Koi School - Towards the Next Level of Communication, Organization and Integration in Education. In: Zhang R, Cordeiro J, Li X, Zhang Z, Zhang J, eds. Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China. ; 2011:43-52.

Schulte J, Keil R, Oberhoff A. Support  "u support of the co-active research discourse through synergies between e-learning and e-science. In: K  "o hler Th, Neumann J, eds. Waxmann Verlag, M   "u nster; 2011.

Schulte J, Keil R, Rybka J, Ferber F. Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics. In: Zhang R, Cordeiro J, Li X, Zhang Z, Zhang J, eds. Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China. ; 2011:407-412.

Schulte J, Rybka J, Ferber F, Keil R. KoForum - Cooperative research environment for  "u for cross-organizational scientific Laboratory work. In: K  "o hler  Th., Neumann J, eds. Waxmann Verlag, M  "u nster; 2011:92-101.

Erren P. Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements. Heinz Nixdorf Institut, Universit\'22at Paderborn; 2011.