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.
5714 Publications
2011 | Conference Paper | LibreCat-ID: 3185
T. Ruhroth, H. Wehrheim, and S. Ziegert, “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, pp. 83--90.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
J. Derrick, G. Schellhorn, and H. Wehrheim, “Verifying Linearisability with Potential Linearisation Points,” in {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
D. Steenken, H. Wehrheim, and D. Wonisch, “Sound and Complete Abstract Graph Transformation,” in 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
2011 | Conference Paper | LibreCat-ID: 27622
K. Nebe, H. G. Fischer, F. Klompmaker, and H. Jung, “Multi-touch, tangible and pen-based interaction in incident planning,” 2011, pp. 263–273.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
R. Keil and H. Selke, “Virtual Learning Spaces for Co-Active Learning,” in Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
V. Paelke, K. Nebe, F. Klompmaker, and H. Jung, “Multi-Touch Interaction for Disaster Management.},” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27625
R. Keil, “Hypothesis- guided technology design as the basis of contextual computer science,” 2011, pp. 165–184.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
F. Klompmaker, Karsten Nebe, and H. Jung, “Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27627
F. Klompmaker, Karsten Nebe, C. Busch, and Detlev Willemsen, “User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27628
C. Laroque and J. Schulte, “KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules,” in Proceedings of the 2011 Spring Simulation Multiconference, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27629
J. Schulte, “WasabiBeans - Web Application Services and Business Integration,” in Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 348–357.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27630
S. Rudolph and D. Niehus, “Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27631
J. Schulte, R. Keil, D. Klaholt, and J. Sauer, “Koi School - Towards the Next Level of Communication, Organization and Integration in Education,” in Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 43–52.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27632
J. Schulte, R. Keil, and A. Oberhoff, “Support {\ "u} support of the co-active research discourse through synergies between e-learning and e-science,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27633
J. Schulte, R. Keil, J. Rybka, and F. Ferber, “Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics,” in Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, 2011, pp. 407–412.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27634
J. Schulte, J. Rybka, F. Ferber, and R. Keil, “KoForum - Cooperative research environment for {\ "u} for cross-organizational scientific Laboratory work,” 2011, pp. 92–101.
LibreCat
2011 | Dissertation | LibreCat-ID: 27635
P. Erren, Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements. Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27636
H. G. Fischer, Karsten Nebe, and Florian Klompmaker, “A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities.” Springer-Verlag, pp. 28–37, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27637
H. Jung, K. Nebe, F. Klompmaker, and H. G. Fischer, “Authenticated entries on multi-touch tables,” 2011, pp. 305–308.
LibreCat