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.
5673 Publications
2011 | Conference Paper | LibreCat-ID: 3186
@inproceedings{Derrick_Schellhorn_Wehrheim_2011, series={Lecture Notes in Computer Science}, title={Verifying Linearisability with Potential Linearisation Points}, DOI={10.1007/978-3-642-21437-0_25}, booktitle={{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={J. Butler, Michael and Schulte, WolframEditors}, year={2011}, pages={323--337}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
@inproceedings{Steenken_Wehrheim_Wonisch_2011, series={Lecture Notes in Computer Science}, title={Sound and Complete Abstract Graph Transformation}, DOI={10.1007/978-3-642-25032-3_7}, booktitle={Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, editor={da Silva Sim{\~{a}}o, Adenilso and Morgan, CarrollEditors}, year={2011}, pages={92--107}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
@inproceedings{Schneider_Treharne_Wehrheim_2011, series={{EPTCS}}, title={A {CSP} Account of Event-B Refinement}, DOI={10.4204/EPTCS.55.9}, booktitle={Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors}, year={2011}, pages={139--154}, collection={{EPTCS}} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 27622
@inproceedings{Nebe_Fischer_Klompmaker_Jung_2011, title={Multi-touch, tangible and pen-based interaction in incident planning}, publisher={Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen}, author={Nebe, Karsten and Fischer, Holger Gerhard and Klompmaker, Florian and Jung, Helge}, year={2011}, pages={263–273} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
@inproceedings{Keil_Selke_2011, title={Virtual Learning Spaces for Co-Active Learning}, booktitle={Proc. of Int. Conf. on Improving University Teaching}, author={Keil, Reinhard and Selke, Harald}, year={2011}, pages={191–202} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
@inproceedings{Paelke_Nebe_Klompmaker_Jung_2011, title={Multi-Touch Interaction for Disaster Management.}}, author={Paelke, Volker and Nebe, Karsten and Klompmaker, Florian and Jung, Helge}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27625
@inproceedings{Keil_2011, title={Hypothesis- guided technology design as the basis of contextual computer science}, publisher={Lit Verlag, M {\" u} nster}, author={Keil, Reinhard}, editor={Breiter, A and Wind, M}, year={2011}, pages={165–184} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
@inproceedings{Klompmaker_Nebe_Jung_2011, title={Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns}, author={Klompmaker, Florian and Nebe, Karsten and Jung, H}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27627
@inproceedings{Klompmaker_Nebe_ Busch_Willemsen_2011, title={User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application}, booktitle={Proceedings of the International Conference on Health Informatics}, author={Klompmaker, Florian and Nebe, Karsten and Busch, Clemens and Willemsen, Detlev}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27628
@inproceedings{Laroque_Schulte_2011, title={KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules}, booktitle={Proceedings of the 2011 Spring Simulation Multiconference}, author={Laroque, Christoph and Schulte, Jonas}, editor={Chinni, M.I and Weed, D}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27629
@inproceedings{Schulte_2011, title={WasabiBeans - Web Application Services and Business Integration}, booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China}, author={Schulte, Jonas}, editor={Zhang, R and Cordeiro, José and Li, X and Zhang, Z and Zhang, J}, year={2011}, pages={348–357} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27630
@inproceedings{Rudolph_Niehus_2011, title={Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training}, publisher={Universit {\" a} t Paderborn}, author={Rudolph, S and Niehus, Dominik}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27631
@inproceedings{Schulte_Keil_Klaholt_Sauer_2011, title={Koi School - Towards the Next Level of Communication, Organization and Integration in Education}, booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China}, author={Schulte, Jonas and Keil, Reinhard and Klaholt, D and Sauer, J}, editor={Zhang, R and Cordeiro, José and Li, X and Zhang, Z and Zhang, J}, year={2011}, pages={43–52} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27632
@inproceedings{Schulte_Keil_Oberhoff_2011, title={Support {\ "u} support of the co-active research discourse through synergies between e-learning and e-science}, publisher={Waxmann Verlag, M { \ "u} nster}, author={Schulte, Jonas and Keil, Reinhard and Oberhoff, Andreas}, editor={K {\ "o} hler, Th. and Neumann, J}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27633
@inproceedings{Schulte_Keil_Rybka_Ferber_2011, title={Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics}, booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China}, author={Schulte, Jonas and Keil, Reinhard and Rybka, Johann and Ferber, Ferdinand}, editor={Zhang, R and Cordeiro, J and Li, X and Zhang, Z and Zhang, J}, year={2011}, pages={407–412} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27634
@inproceedings{Schulte_Rybka_Ferber_Keil_2011, title={KoForum - Cooperative research environment for {\ "u} for cross-organizational scientific Laboratory work}, publisher={Waxmann Verlag, M {\ "u} nster}, author={Schulte, Jonas and Rybka, Johann and Ferber, Ferdinand and Keil, Reinhard}, editor={K {\ "o} hler, Th. and Neumann, J}, year={2011}, pages={92–101} }
LibreCat
2011 | Dissertation | LibreCat-ID: 27635
@book{Erren_2011, title={Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements}, publisher={Heinz Nixdorf Institut, Universit{\"a}t Paderborn}, author={Erren, Patrick}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27636
@article{Fischer_Nebe_Klompmaker_2011, series={LNCS 6776}, title={A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities}, publisher={Springer-Verlag}, author={Fischer, Holger Gerhard and Nebe, Karsten and Klompmaker, Florian}, year={2011}, pages={28–37}, collection={LNCS 6776} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27637
@inproceedings{Jung_Nebe_ Klompmaker_Fischer_2011, title={Authenticated entries on multi-touch tables}, publisher={Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen}, author={Jung, Helge and Nebe, Karsten and Klompmaker, Florian and Fischer, Holger Gerhard}, year={2011}, pages={305–308} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27638
@article{Nebe_Klompmaker_Jung_Fischer_2011, series={LNCS 6762}, title={Exploiting New Interaction Techniques for Disaster Control Management using Multitouch-, Tangible- and Pen-based-Interaction}, publisher={Springer Verlag}, author={Nebe, Karsten and Klompmaker, Florian and Jung, Helge and Fischer, Holger Gerhard}, year={2011}, pages={100–109}, collection={LNCS 6762} }
LibreCat