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.
5674 Publications
2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth, Thomas, Heike Wehrheim, and Steffen 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, 83--90, 2011. https://doi.org/10.1109/SEAA.2011.22.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
Derrick, John, Gerhard Schellhorn, and Heike 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, edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer Science, 2011. https://doi.org/10.1007/978-3-642-21437-0_25.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken, Dominik, Heike Wehrheim, and Daniel 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, edited by Adenilso da Silva Sim{\~{a}}o and Carroll Morgan, 92--107. Lecture Notes in Computer Science, 2011. https://doi.org/10.1007/978-3-642-25032-3_7.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Account of Event-B Refinement.” In Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick, Eerke A. Boiten, and Steve Reeves, 139--154. {EPTCS}, 2011. https://doi.org/10.4204/EPTCS.55.9.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 27622
Nebe, Karsten, Holger Gerhard Fischer, Florian Klompmaker, and Helge Jung. “Multi-Touch, Tangible and Pen-Based Interaction in Incident Planning,” 263–73. Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
Keil, Reinhard, and Harald Selke. “Virtual Learning Spaces for Co-Active Learning.” In Proc. of Int. Conf. on Improving University Teaching, 191–202, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
Paelke, Volker, Karsten Nebe, Florian Klompmaker, and Helge Jung. “Multi-Touch Interaction for Disaster Management.},” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27625
Keil, Reinhard. “Hypothesis- Guided Technology Design as the Basis of Contextual Computer Science.” edited by A Breiter and M Wind, 165–84. Lit Verlag, M {\" u} nster, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
Klompmaker, Florian, Karsten Nebe, and H Jung. “Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27627
Klompmaker, Florian , Karsten Nebe, Clemens Busch, and Detlev Willemsen. “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.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27628
Laroque, Christoph, and Jonas Schulte. “KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules.” In Proceedings of the 2011 Spring Simulation Multiconference, edited by M.I Chinni and D Weed, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27629
Schulte, Jonas. “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, edited by R Zhang, José Cordeiro, X Li, Z Zhang, and J Zhang, 348–57, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27630
Rudolph, S, and Dominik Niehus. “Computer Scientists, Ergonomists and Chemists Are Shaping the Future. E-Portofolios Support {\ "u} the Flow Rate in Education and Training.” Universit {\" a} t Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27631
Schulte, Jonas, Reinhard 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, edited by R Zhang, José Cordeiro, X Li, Z Zhang, and J Zhang, 43–52, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27632
Schulte, Jonas, Reinhard Keil, and Andreas Oberhoff. “Support {\ "u} Support of the Co-Active Research Discourse through Synergies between e-Learning and e-Science.” edited by Th. K {\ "o} hler and J Neumann. Waxmann Verlag, M { \ "u} nster, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27633
Schulte, Jonas, Reinhard Keil, Johann Rybka, and Ferdinand 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, edited by R Zhang, J Cordeiro, X Li, Z Zhang, and J Zhang, 407–12, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27634
Schulte, Jonas, Johann Rybka, Ferdinand Ferber, and Reinhard Keil. “KoForum - Cooperative Research Environment for {\ "u} for Cross-Organizational Scientific Laboratory Work.” edited by Th. K {\ "o} hler and J Neumann, 92–101. Waxmann Verlag, M {\ "u} nster, 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 27635
Erren, Patrick. Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements. Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27636
Fischer, Holger Gerhard, Karsten Nebe, and Florian Klompmaker. “A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities.” LNCS 6776. Springer-Verlag, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27637
Jung, Helge, Karsten Nebe, Florian Klompmaker, and Holger Gerhard Fischer. “Authenticated Entries on Multi-Touch Tables,” 305–8. Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011.
LibreCat