Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5786 Publications
2011 | Journal Article | LibreCat-ID: 3183
Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study
S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80.
2011 | Journal Article | LibreCat-ID: 3184
Mechanically verified proof obligations for linearizability
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
2011 | Conference Paper | LibreCat-ID: 3185
ReL: {A} Generic Refactoring Language for Specification and Execution
T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
2011 | Conference Paper | LibreCat-ID: 3186
Verifying Linearisability with Potential Linearisation Points
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
2011 | Conference Paper | LibreCat-ID: 3187
Sound and Complete Abstract Graph Transformation
D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\~{a}}o, C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
LibreCat
| DOI
D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\~{a}}o, C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
2011 | Conference Paper | LibreCat-ID: 3188
A {CSP} Account of Event-B Refinement
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
2011 | Conference Paper | LibreCat-ID: 27622
Multi-touch, tangible and pen-based interaction in incident planning
K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 263–273.
LibreCat
K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 263–273.
2011 | Conference Paper | LibreCat-ID: 27623
Virtual Learning Spaces for Co-Active Learning
R. Keil, H. Selke, in: Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
LibreCat
R. Keil, H. Selke, in: Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
2011 | Conference Paper | LibreCat-ID: 27624
Multi-Touch Interaction for Disaster Management.}
V. Paelke, K. Nebe, F. Klompmaker, H. Jung, in: 2011.
LibreCat
V. Paelke, K. Nebe, F. Klompmaker, H. Jung, in: 2011.
2011 | Conference Paper | LibreCat-ID: 27625
Hypothesis- guided technology design as the basis of contextual computer science
R. Keil, in: A. Breiter, M. Wind (Eds.), Lit Verlag, M {\" u} nster, 2011, pp. 165–184.
LibreCat
R. Keil, in: A. Breiter, M. Wind (Eds.), Lit Verlag, M {\" u} nster, 2011, pp. 165–184.
2011 | Conference Paper | LibreCat-ID: 27626
Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns
F. Klompmaker, Karsten Nebe, H. Jung, in: 2011.
LibreCat
F. Klompmaker, Karsten Nebe, H. Jung, in: 2011.
2011 | Conference Paper | LibreCat-ID: 27627
User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application
F. Klompmaker, Karsten Nebe, C. Busch, Detlev Willemsen, in: Proceedings of the International Conference on Health Informatics, 2011.
LibreCat
F. Klompmaker, Karsten Nebe, C. Busch, Detlev Willemsen, in: Proceedings of the International Conference on Health Informatics, 2011.
2011 | Conference Paper | LibreCat-ID: 27628
KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules
C. Laroque, J. Schulte, in: M.I. Chinni, D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference, 2011.
LibreCat
C. Laroque, J. Schulte, in: M.I. Chinni, D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference, 2011.
2011 | Conference Paper | LibreCat-ID: 27629
WasabiBeans - Web Application Services and Business Integration
J. Schulte, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 348–357.
LibreCat
J. Schulte, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 348–357.
2011 | Conference Paper | LibreCat-ID: 27630
Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training
S. Rudolph, D. Niehus, in: Universit {\" a} t Paderborn, 2011.
LibreCat
S. Rudolph, D. Niehus, in: Universit {\" a} t Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 27631
Koi School - Towards the Next Level of Communication, Organization and Integration in Education
J. Schulte, R. Keil, D. Klaholt, J. Sauer, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 43–52.
LibreCat
J. Schulte, R. Keil, D. Klaholt, J. Sauer, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 43–52.
2011 | Conference Paper | LibreCat-ID: 27632
Support {\ "u} support of the co-active research discourse through synergies between e-learning and e-science
J. Schulte, R. Keil, A. Oberhoff, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M { \ "u} nster, 2011.
LibreCat
J. Schulte, R. Keil, A. Oberhoff, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M { \ "u} nster, 2011.
2011 | Conference Paper | LibreCat-ID: 27633
Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics
J. Schulte, R. Keil, J. Rybka, F. Ferber, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, 2011, pp. 407–412.
LibreCat
J. Schulte, R. Keil, J. Rybka, F. Ferber, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, 2011, pp. 407–412.
2011 | Conference Paper | LibreCat-ID: 27634
KoForum - Cooperative research environment for {\ "u} for cross-organizational scientific Laboratory work
J. Schulte, J. Rybka, F. Ferber, R. Keil, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M {\ "u} nster, 2011, pp. 92–101.
LibreCat
J. Schulte, J. Rybka, F. Ferber, R. Keil, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M {\ "u} nster, 2011, pp. 92–101.
2011 | Dissertation | LibreCat-ID: 27635
Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements
P. Erren, Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements, Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2011.
LibreCat
P. Erren, Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements, Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2011.