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.
5672 Publications
2011 | Conference Paper | LibreCat-ID: 3187
Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation. In: da Silva Sim{\~{a}}o A, Morgan C, eds. Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o 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
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
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
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 27622
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.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
Keil R, Selke H. Virtual Learning Spaces for Co-Active Learning. In: Proc. of Int. Conf. on Improving University Teaching. ; 2011:191-202.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
Paelke V, Nebe K, Klompmaker F, Jung H. Multi-Touch Interaction for Disaster Management.}. In: ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27625
Keil R. Hypothesis- guided technology design as the basis of contextual computer science. In: Breiter A, Wind M, eds. Lit Verlag, M {\" u} nster; 2011:165-184.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
Klompmaker F, Nebe Karsten, Jung H. Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns. In: ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27627
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.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27628
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.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27629
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.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27630
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 {\" a} t Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27631
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.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27632
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.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27633
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.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27634
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.
LibreCat
2011 | Dissertation | LibreCat-ID: 27635
Erren P. 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 HG, Nebe Karsten, Klompmaker Florian. A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities. Published online 2011:28-37.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27637
Jung H, Nebe K, Klompmaker F, Fischer HG. Authenticated entries on multi-touch tables. In: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen; 2011:305-308.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27638
Nebe Karsten, Klompmaker F, Jung H, Fischer HG. Exploiting New Interaction Techniques for Disaster Control Management using Multitouch-, Tangible- and Pen-based-Interaction. Published online 2011:100-109.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27639
Fischer HG, Bogner C, Geis T, Polkehn K, Zimmermann Dirk. Der Qualit {\ “a} tsstandard f {\” u} r Usability engineering of the German UPA: Current status of the work. In: German UPA; 2011:72-74.
LibreCat