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.
5685 Publications
2011 | Conference Paper | LibreCat-ID: 3811
Wachsmuth, Henning, and Kathrin Bujna. “Back to the Roots of Genres: Text Classification by Language Function.” Proceedings of 5th International Joint Conference on Natural Language Processing, edited by Bettina Berendt et al., 2011, pp. 632–40.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 3875
Wachsmuth, Henning, et al. “Constructing Efficient Information Extraction Pipelines.” 20th ACM International Conference on Information and Knowledge Management, edited by Bettina Berendt et al., 2011, pp. 2237–40.
LibreCat
| Download (ext.)
2011 | Mastersthesis | LibreCat-ID: 2902
Märtens, Marcus. The Monotone Complexity of Computing K-Clique on Random Graphs. 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 2910
Naewe, Stefanie. Algorithms for Lattice Problems with Respect to General Norms. Universität Paderborn, 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 2985
Ackermann, Marcel R., et al. Hardness and Non-Approximability of Bregman Clustering Problems. 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2986
Blömer, Johannes. “How to Share a Secret.” Algorithms Unplugged, Springer Berlin Heidelberg, 2011, pp. 159–68, doi:10.1007/978-3-642-15328-0_17.
LibreCat
| DOI
2011 | Preprint | LibreCat-ID: 2987
Blömer, Johannes, and Stefanie Naewe. “Solving the Closest Vector Problem with Respect to Lp Norms.” ArXiv:1104.3720, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 3137
Hofheinz, Dennis, et al. “Short Signatures from Weaker Assumptions.” Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings, 2011, pp. 647--666, doi:10.1007/978-3-642-25385-0_35.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3138
Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.” Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422, doi:10.1145/2046707.2046756.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3183
Schneider, Steve, et al. “Bounded Retransmission in Event-B{\(\parallel\)}CSP: A Case Study.” Electr. Notes Theor. Comput. Sci., 2011, pp. 69--80, doi:10.1016/j.entcs.2011.11.019.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3184
Derrick, John, et al. “Mechanically Verified Proof Obligations for Linearizability.” {ACM} Trans. Program. Lang. Syst., no. 1, 2011, pp. 4:1--4:43, doi:10.1145/1889997.1890001.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth, Thomas, et al. “ReL: {A} Generic Refactoring Language for Specification and Execution.” 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
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
Derrick, John, et al. “Verifying Linearisability with Potential Linearisation Points.” {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
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.” 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, 2011, pp. 92--107, doi:10.1007/978-3-642-25032-3_7.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
Schneider, Steve, et al. “A {CSP} Account of Event-B Refinement.” 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
| DOI
2011 | Conference Paper | LibreCat-ID: 27622
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
2011 | Conference Paper | LibreCat-ID: 27623
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
2011 | Conference Paper | LibreCat-ID: 27624
Paelke, Volker, et al. 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, Lit Verlag, M {\" u} nster, 2011, pp. 165–84.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
Klompmaker, Florian, et al. Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27627
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
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.” 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.” 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
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, 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
2011 | Conference Paper | LibreCat-ID: 27632
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
2011 | Conference Paper | LibreCat-ID: 27633
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
2011 | Conference Paper | LibreCat-ID: 27634
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
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, et al. A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities. Springer-Verlag, 2011, pp. 28–37.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27637
Jung, Helge, et al. Authenticated Entries on Multi-Touch Tables. Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 305–08.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27638
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
2011 | Conference Paper | LibreCat-ID: 27639
Fischer, Holger Gerhard, et al. Der Qualit {\ “A} Tsstandard f {\” U} r Usability Engineering of the German UPA: Current Status of the Work. German UPA, 2011, pp. 72–74.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann, Jörg, et al. “Automatic Validation and Correction of Formalized, Textual Requirements.” 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011, doi:10.1109/icstw.2011.17.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20960
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
2011 | Conference Paper | LibreCat-ID: 20975
Fockel, Markus, et al. “Interpreting Story Diagrams for the Static Detection of Software Patterns.” Proceedings of the 8th International Fujaba Days, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 17420
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
2011 | Conference Paper | LibreCat-ID: 17421
Klaas, Alexander, et al. “Simulation Aided, Knowledge Based Routing for AGVs in a Distribution Warehouse.” Proceedings of the 2011 Winter Simulation Conference (WSC), 2011, doi:10.1109/wsc.2011.6147883.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 17450
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
2011 | Dissertation | LibreCat-ID: 17454
Suess, Tim. Parallel Real-Time Rendering Using Heterogeneous PC Clusters. 2011.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 1891
W. Richa, Andrea, et al. “Competitive and Fair Medium Access Despite Reactive Jamming.” 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
| DOI
2011 | Conference Paper | LibreCat-ID: 1892
W. Richa, Andrea, et al. “Towards Jamming-Resistant and Competitive Medium Access in the SINR Model.” Proceedings of the 3rd ACM Workshop on Wireless of the Students, by the Students, for the Students, S3@MOBICOM 2011, Las Vegas, NV, USA, September 19 - 23, 2011, ACM, 2011, pp. 33--36, doi:10.1145/2030686.2030697.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1893
W. Richa, Andrea, et al. “Self-Stabilizing Leader Election for Single-Hop Wireless Networks despite Jamming.” 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
| DOI
2011 | Conference Paper | LibreCat-ID: 1895
Kniesburges, Sebastian, et al. “Re-Chord: A Self-Stabilizing Chord Overlay Network.” 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
| DOI
2011 | Dissertation | LibreCat-ID: 18973
Frahling, Gereon. Algorithms for Dynamic Geometric Data Streams. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
| Files available
2011 | Dissertation | LibreCat-ID: 18974
Mehler, Jan. Power-Aware Online File Allocation in Dynamic Networks. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
| Files available
2011 | Dissertation | LibreCat-ID: 18976
Gehweiler, Joachim. Peer-to-Peer Based Parallel Web Computing. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 1899
Kniesburges, Sebastian, and Christian Scheideler. “Hashed Patricia Trie: Efficient Longest Prefix Matching in Peer-to-Peer Systems.” 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
| DOI
2011 | Book Chapter | LibreCat-ID: 1900
Scheideler, Christian, and Kalman Graffi. “Programming for Distributed Computing: From Physical to Logical Networks.” Computer Science, The Hardware, Software and Heart of It, Springer, 2011, pp. 155--168, doi:10.1007/978-1-4614-1168-0_9.
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 1901
Scheideler, Christian. “Broadcasting - How Can I Quickly Disseminate Information?” Algorithms Unplugged, Springer, 2011, pp. 223--229, doi:10.1007/978-3-642-15328-0_22.
LibreCat
| DOI