Derrick, John, et al. “Mechanically Verified Proof Obligations for Linearizability.”10.1145/1889997.1890001__ACM Trans. Program. Lang. Syst., no. 1, 2011, pp. 4:1--4:43, doi:10.1145/1889997.1890001.
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

Ruhroth, Thomas, et al. “ReL: A Generic Refactoring Language for Specification and Execution.”10.1109/SEAA.2011.22__37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90, doi:10.1109/SEAA.2011.22.
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

Derrick, John, et al. “Verifying Linearisability with Potential Linearisation Points.”10.1007/978-3-642-21437-0_25__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, 2011, pp. 323--337, doi:10.1007/978-3-642-21437-0_25.
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.”10.1007/978-3-642-25032-3_7__Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim\'7eao and Carroll Morgan, 2011, pp. 92--107, doi:10.1007/978-3-642-25032-3_7.
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

Schneider, Steve, et al. “A CSP Account of Event-B Refinement.”10.4204/EPTCS.55.9__Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick et al., 2011, pp. 139--154, doi:10.4204/EPTCS.55.9.
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

Nebe, Karsten, et al. Multi-Touch, Tangible and Pen-Based Interaction in Incident Planning. Oldenbourg Wissenschaftsverlag GmbH, M  "u nchen, 2011, pp. 263–73.
LibreCat: /record/27622

Keil, Reinhard, and Harald Selke. “Virtual Learning Spaces for Co-Active Learning.” Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
LibreCat: /record/27623

Paelke, Volker, et al. Multi-Touch Interaction for Disaster Management.. 2011.
LibreCat: /record/27624

Keil, Reinhard. Hypothesis- Guided Technology Design as the Basis of Contextual Computer Science. Edited by A Breiter and M Wind, Lit Verlag, M \'22 u nster, 2011, pp. 165–84.
LibreCat: /record/27625

Klompmaker, Florian, et al. Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns. 2011.
LibreCat: /record/27626

Klompmaker, Florian, et al. “User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application.” Proceedings of the International Conference on Health Informatics, 2011.
LibreCat: /record/27627

Laroque, Christoph, and Jonas Schulte. “KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules.” Proceedings of the 2011 Spring Simulation Multiconference, edited by M.I Chinni and D Weed, 2011.
LibreCat: /record/27628

Schulte, Jonas. “WasabiBeans - Web Application Services and Business Integration.” Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, edited by R Zhang et al., 2011, pp. 348–57.
LibreCat: /record/27629

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 \'22 a t Paderborn, 2011.
LibreCat: /record/27630

Schulte, Jonas, et al. “Koi School - Towards the Next Level of Communication, Organization and Integration in Education.” Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, edited by R Zhang et al., 2011, pp. 43–52.
LibreCat: /record/27631

Schulte, Jonas, et al. 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: /record/27632

Schulte, Jonas, et al. “Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics.” Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, edited by R Zhang et al., 2011, pp. 407–12.
LibreCat: /record/27633

Schulte, Jonas, et al. KoForum - Cooperative Research Environment for  "u for Cross-Organizational Scientific Laboratory Work. Edited by  Th. K  "o hler and J Neumann, Waxmann Verlag, M  "u nster, 2011, pp. 92–101.
LibreCat: /record/27634

Erren, Patrick. Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements. Heinz Nixdorf Institut, Universit\'22at Paderborn, 2011.
LibreCat: /record/27635

Fischer, Holger Gerhard, et al. A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities. Springer-Verlag, 2011, pp. 28–37.
LibreCat: /record/27636

Jung, Helge, et al. Authenticated Entries on Multi-Touch Tables. Oldenbourg Wissenschaftsverlag GmbH, M  "u nchen, 2011, pp. 305–08.
LibreCat: /record/27637

Nebe,  Karsten, et al. Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction. Springer Verlag, 2011, pp. 100–09.
LibreCat: /record/27638

Fischer, Holger Gerhard, et al. Der Qualit  “A Tsstandard f \rdblquote  U r Usability Engineering of the German UPA: Current Status of the Work. German UPA, 2011, pp. 72–74.
LibreCat: /record/27639

Holtmann, Jörg, et al. “Automatic Validation and Correction of Formalized, Textual Requirements.”10.1109/icstw.2011.17__2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011, doi:10.1109/icstw.2011.17.
LibreCat: /record/20958
DOI: 10.1109/icstw.2011.17

Meyer, Jan, and Jörg Holtmann. “Eine Durchgängige Entwicklungsmethode von Der Systemarchitektur Bis Zur Softwarearchitektur Mit AUTOSAR.” Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, fortiss GmbH, 2011, pp. 21–30.
LibreCat: /record/20960

Fockel, Markus, et al. “Interpreting Story Diagrams for the Static Detection of Software Patterns.” Proceedings of the 8th International Fujaba Days, 2011.
LibreCat: /record/20975

Suess, Tim, et al. “Approximative Occlusion Culling Using the Hull Tree.” Proceedings of the Graphics Interface 2011 Conference, May 25-27, St. John’s, Newfoundland, Canada, edited by Stephen Brooks and Pourang Irani, Canadian Human-Computer Communications Society, 2011, pp. 79--86.
LibreCat: /record/17420

Klaas, Alexander, et al. “Simulation Aided, Knowledge Based Routing for AGVs in a Distribution Warehouse.”10.1109/wsc.2011.6147883__Proceedings of the 2011 Winter Simulation Conference (WSC), 2011, doi:10.1109/wsc.2011.6147883.
LibreCat: /record/17421
DOI: 10.1109/wsc.2011.6147883

Suess, Tim, et al. “Ein Paralleles Out-of-Core Renderingsystem Für Standard-Rechnernetze.” Augmented &; Virtual Reality in Der Produktentstehung, vol. 295, Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2011, pp. 185--197.
LibreCat: /record/17450

Suess, Tim. Parallel Real-Time Rendering Using Heterogeneous PC Clusters. 2011.
LibreCat: /record/17454

W. Richa, Andrea, et al. “Competitive and Fair Medium Access Despite Reactive Jamming.”10.1109/ICDCS.2011.8__2011 International Conference on Distributed Computing Systems, ICDCS 2011, Minneapolis, Minnesota, USA, June 20-24, 2011, IEEE Computer Society, 2011, pp. 507--516, doi:10.1109/ICDCS.2011.8.
LibreCat: /record/1891
DOI: 10.1109/ICDCS.2011.8

W. Richa, Andrea, et al. “Towards Jamming-Resistant and Competitive Medium Access in the SINR Model.”10.1145/2030686.2030697__Proceedings of the 3rd ACM Workshop on Wireless of the Students, by the Students, for the Students, @MOBICOM 2011, Las Vegas, NV, USA, September 19 - 23, 2011, ACM, 2011, pp. 33--36, doi:10.1145/2030686.2030697.
LibreCat: /record/1892
DOI: 10.1145/2030686.2030697

W. Richa, Andrea, et al. “Self-Stabilizing Leader Election for Single-Hop Wireless Networks despite Jamming.”10.1145/2107502.2107522__Proceedings of the 12th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2011, Paris, France, May 16-20, 2011, ACM, 2011, p. 15, doi:10.1145/2107502.2107522.
LibreCat: /record/1893
DOI: 10.1145/2107502.2107522

Kniesburges, Sebastian, et al. “Re-Chord: A Self-Stabilizing Chord Overlay Network.”10.1145/1989493.1989527__SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011 (Co-Located with FCRC 2011), 2011, pp. 235--244, doi:10.1145/1989493.1989527.
LibreCat: /record/1895
DOI: 10.1145/1989493.1989527

Frahling, Gereon. Algorithms for Dynamic Geometric Data Streams. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat: /record/18973

Mehler, Jan. Power-Aware Online File Allocation in Dynamic Networks. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat: /record/18974

Gehweiler, Joachim. Peer-to-Peer Based Parallel Web Computing. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat: /record/18976

Kniesburges, Sebastian, and Christian Scheideler. “Hashed Patricia Trie: Efficient Longest Prefix Matching in Peer-to-Peer Systems.”10.1007/978-3-642-19094-0_18__WALCOM: Algorithms and Computation - 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings, vol. 6552, Springer, 2011, pp. 170--181, doi:10.1007/978-3-642-19094-0_18.
LibreCat: /record/1899
DOI: 10.1007/978-3-642-19094-0_18

Scheideler, Christian, and Kalman Graffi. “Programming for Distributed Computing: From Physical to Logical Networks.”10.1007/978-1-4614-1168-0_9__Computer Science, The Hardware, Software and Heart of It, Springer, 2011, pp. 155--168, doi:10.1007/978-1-4614-1168-0_9.
LibreCat: /record/1900
DOI: 10.1007/978-1-4614-1168-0_9

Scheideler, Christian. “Broadcasting - How Can I Quickly Disseminate Information?”10.1007/978-3-642-15328-0_22__Algorithms Unplugged, Springer, 2011, pp. 223--229, doi:10.1007/978-3-642-15328-0_22.
LibreCat: /record/1901
DOI: 10.1007/978-3-642-15328-0_22

Vöcking, Berthold, et al. Algorithms Unplugged. 2011, doi:10.1007/978-3-642-15328-0.
LibreCat: /record/1902
DOI: 10.1007/978-3-642-15328-0

Briest, Patrick, and Christoph Raupach. “The Car Sharing Problem.”10.1145/1989493.1989518__Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’11, 2011, doi:10.1145/1989493.1989518.
LibreCat: /record/19026
DOI: 10.1145/1989493.1989518

Effert, Sascha. Verfahren Zur Redundanten Datenplatzierung in Skalierbaren Speichersystemen. 2011.
LibreCat: /record/19040

Kolman, Petr, and Christian Scheideler. “Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing.”10.4230/LIPIcs.STACS.2011.129__28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany, 2011, pp. 129--140, doi:10.4230/LIPIcs.STACS.2011.129.
LibreCat: /record/1924
DOI: 10.4230/LIPIcs.STACS.2011.129

Briest, Patrick, et al. “Approximation Techniques for Utilitarian Mechanism Design.”10.1137/090772988__SIAM Journal on Computing, 2011, pp. 1587–622, doi:10.1137/090772988.
LibreCat: /record/23739
DOI: 10.1137/090772988

Briest, Patrick, and Piotr Krysta. “Buying Cheap Is Expensive: Approximability of Combinatorial Pricing Problems.”10.1137/090752353__SIAM Journal on Computing, 2011, pp. 1554–86, doi:10.1137/090752353.
LibreCat: /record/23740
DOI: 10.1137/090752353

Cord-Landwehr, Andreas, et al. “Collisionless Gathering of Robots with an Extent.”10.1007/978-3-642-18381-2_15__SOFSEM 2011: Theory and Practice of Computer Science, 2011, doi:10.1007/978-3-642-18381-2_15.
LibreCat: /record/20709
DOI: 10.1007/978-3-642-18381-2_15

Cord-Landwehr, Andreas, et al. “A New Approach for Analyzing Convergence Algorithms for Mobile Robots.”10.1007/978-3-642-22012-8_52__Automata, Languages and Programming, 2011, doi:10.1007/978-3-642-22012-8_52.
LibreCat: /record/20710
DOI: 10.1007/978-3-642-22012-8_52

Meyer, Jan, et al. “Formalisierung von Anforderungen Und Betriebssystemeigenschaften Zur Fruehzeitigen Simulation von Eingebetteten, Automobilen Systemen.” 8. Paderborner Workshop Entwurf Mechatronischer Systeme, vol. 294, Heinz Nixdorf Institut, 2011, pp. 203–15.
LibreCat: /record/20915

Holtmann, Jörg, et al. “A Seamless Model-Based Development Process for Automotive Systems.” Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), vol. P-184, Bonner Koellen Verlag, 2011, pp. 79–88.
LibreCat: /record/20916